Commits · fe8b4d28661ceba6fb4d400ac5b988bef194ebf0 · paradise / mirror / DIVINE

May 03, 2017
- test: Add tests for -l option of DIVINE's compiler. · fe8b4d28
  Vladimír Štill authored May 03, 2017
  
  fe8b4d28
Mar 30, 2017
- lart: Add size to instrumented __vm_interrupt_mem calls. · 59bfde7f
  Vladimír Štill authored Mar 30, 2017
  
  59bfde7f
May 02, 2017
- bricks: Add IntervalSet into brick-data. · 45b0a008
  Vladimír Štill authored May 02, 2017
  
  45b0a008
May 01, 2017
- bricks: Fixes in brick-data: uninitialized vector, reserved names. · 16774edb
  Vladimír Štill authored May 01, 2017
  
  16774edb
- DiOS: Fix AllocatorBase::construct. · 627ac0aa
  Jan Mrázek authored May 01, 2017
  
  627ac0aa
Mar 30, 2017
- bricks: Get rid of trait compatibility wrappers for old GCCs in brick-data. · 04dfc57b
  Vladimír Štill authored Mar 30, 2017
  
  04dfc57b
Apr 18, 2017
- libc: Actually, C++11 and C++14 should be based upon C99, not C11. · c4b33027
  Vladimír Štill authored Apr 18, 2017
  
  c4b33027
- CC: Fix order of includes, libc++ 4 requires to be before libc. · 03be1d7b
  Vladimír Štill authored Apr 18, 2017
  
  03be1d7b
- bricks: Fix compilation of brick-{llvm,smt} with libc++ 4. · afed028c
  Vladimír Štill authored Apr 18, 2017
  
  afed028c
- libc: Define LC_MESSAGES for the sake of libc++. · 4e3c8b19
  Vladimír Štill authored Apr 18, 2017
  
  4e3c8b19
- CC: Provide better error message for invalid file input in Compile::runCC. · c908866d
  Vladimír Štill authored Apr 18, 2017
  
  c908866d
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

Admin message