Commits · f83345ef2ac026fb5a595b93d3f4d72782974ab9 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Apr 16, 2017
- cmake: Disable building of libc++ benchmarks (which are not present in DIVINE). · f83345ef
  Vladimír Štill authored Apr 16, 2017
  
  f83345ef
Apr 18, 2017
- UI: Detect type of input file instead of trying to parse it as bitcode first. · af1ff1cb
  Vladimír Štill authored Apr 18, 2017
  
  af1ff1cb
May 01, 2017
- releng: Update for 4.0.7 · 27b1e56e
  Release Bot authored May 01, 2017
  
  4.0.7
  
  27b1e56e
Apr 30, 2017
- VM: Implement a new hypercall, __vm_obj_clone. · 3a37fdef
  Zuzana Baranová authored Apr 30, 2017
  
  3a37fdef
Apr 24, 2017
- lart: Refactor a computation of accesses to the allocas. · 3dc23a3d
  Henrich Lauko authored Apr 24, 2017
  
  3dc23a3d
Apr 19, 2017
- lart: Fix substitution of arguments in recursive functions. · 37416816
  Henrich Lauko authored Apr 19, 2017
  
  37416816
Apr 18, 2017
- lart: Simplify call postorder computation. · 7c24494a
  Henrich Lauko authored Apr 18, 2017
  
  7c24494a
- lart: Fix computation of postorder roots. · dfd47d1d
  Henrich Lauko authored Apr 18, 2017
  
  dfd47d1d
- lart: Fix abstraction of arguments in recursive calls. · fb3cfe5c
  Henrich Lauko authored Apr 18, 2017
  
  fb3cfe5c
- test: Add 'sym-recursion-d' test. · 916119db
  Henrich Lauko authored Apr 18, 2017
  
  916119db
Apr 12, 2017
- lart: Fix annotating of abstract allocas. · 3d561deb
  Henrich Lauko authored Apr 12, 2017
  
  3d561deb
Apr 11, 2017
- test: Remove 'todo' mark from the sym-recursion tests. · aa8e8ba8
  Henrich Lauko authored Apr 11, 2017
  
  aa8e8ba8
- lart: Generalize postorder implementation. · 608977cb
  Henrich Lauko authored Apr 11, 2017
  
  608977cb
- lart: Skip composed types when creating abstract alternatives. · ddd40549
  Henrich Lauko authored Apr 11, 2017
  
  ddd40549
Apr 09, 2017
- lart: Optimize recursion handling in the abstraction. · c3fdd69b
  Henrich Lauko authored Apr 09, 2017
  
  c3fdd69b
- lart: Move cloning of functions to abstraction builder. · f005785d
  Henrich Lauko authored Apr 09, 2017
  
  f005785d
- lart: Allow BCP to assume about arguments. · dda7030d
  Henrich Lauko authored Apr 09, 2017
  
  dda7030d
Apr 03, 2017
- lart: Avoid propagating through calls not returning abstract value. · 8c41dda4
  Henrich Lauko authored Apr 03, 2017
  
  8c41dda4
- lart: Avoid abstraction of a bitcast to same value. · bcfab976
  Henrich Lauko authored Apr 03, 2017
  
  bcfab976
- lart: Fix memory leaking of LowerSwitchPass. · 4392ef8f
  Henrich Lauko authored Apr 03, 2017
  
  4392ef8f
Apr 01, 2017
- test: Mark '2.sym-cast-f' and '2.sym-cast-d' tests as todo. · 200328d6
  Henrich Lauko authored Apr 01, 2017
  
  200328d6
Mar 29, 2017
- lart: Refactore abstraction walker. · 1c263941
  Henrich Lauko authored Mar 29, 2017
  
  1c263941
- test: Mark '2.sym-cast-f' test as todo. · 34a2bc5a
  Henrich Lauko authored Mar 29, 2017
  
  34a2bc5a
- lart: Fix computation of function node successors. · bf475414
  Henrich Lauko authored Mar 29, 2017
  
  bf475414
- lart: Fix lifting of a function argument. · 57823c28
  Henrich Lauko authored Mar 29, 2017
  
  57823c28
- lart: Let abstraction preserve original functions and remove duplicates. · f179c977
  Henrich Lauko authored Mar 29, 2017
  
  f179c977
- lart: Add unittests for abstraction of calls. · 0a956a29
  Henrich Lauko authored Mar 29, 2017
  
  0a956a29
Mar 20, 2017

lart: Rework walking of llvm in abstraction pass. · ceb34012

Henrich Lauko authored Mar 20, 2017


Order of all llvm instrunctions that are to be abstracted is now
precomputed before the abstraction.

ceb34012

Feb 26, 2017
- test: Add tests on abstraction of recursion and global variables. · e9c8815d
  Henrich Lauko authored Feb 26, 2017
  
  e9c8815d
Feb 10, 2017
- lart: Make lifting and lowering of types idempotent. · e020a23e
  Henrich Lauko authored Feb 10, 2017
  
  e020a23e
- lart: Implement lifting and lowering of void type. · f9d42ef0
  Henrich Lauko authored Feb 10, 2017
  
  f9d42ef0
Feb 08, 2017
- test: Enable 2.sym-cast-d test. · 5a862ffe
  Henrich Lauko authored Feb 08, 2017
  
  5a862ffe
- lart: Enable annotation of abstract pointers. · 81eb5c9e
  Henrich Lauko authored Feb 08, 2017
  
  81eb5c9e
Apr 25, 2017
- UI: When walking the stack in 'sim', compare DNs using their address(). · 9c276b04
  Petr Rockai authored Apr 25, 2017
  
  9c276b04
Apr 21, 2017
- doc: Rework installation manual a bit. · 3c1da8c3
  Vladimír Štill authored Apr 21, 2017
  
  3c1da8c3
- VM: Report invalid debug node type in source/bitcode as exception, not assert. · 9baf1928
  Vladimír Štill authored Apr 21, 2017
  
  9baf1928
Apr 19, 2017
- UI: Add dot command to sim as generalization of draw. · 30c742b1
  Vladimír Štill authored Apr 19, 2017
  
  30c742b1
Apr 18, 2017
- UI: Implement walking up and down the stack in sim. · 31e76dbf
  Vladimír Štill authored Apr 18, 2017
  
  31e76dbf
Apr 17, 2017
- test: Also check that source works in DiOS. · 59419087
  Vladimír Štill authored Apr 17, 2017
  
  59419087
- tools: Fix runtime path rewriting in runtime-cc. · 5c76dc0f
  Vladimír Štill authored Apr 17, 2017
  
  5c76dc0f