Commits · 5ebaf2a2f190948f18022d99b3c3540bcd94d3c0 · 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.

May 05, 2017
- doc: Make some text corrections and improvements in the manual. · 5ebaf2a2
  Zuzana Baranová authored May 05, 2017
  
  5ebaf2a2
May 04, 2017
- doc: Update AUTHORS. · 2acbe411
  Zuzana Baranová authored May 04, 2017
  
  2acbe411
Apr 25, 2017
- doc: Rewrite section about using DIVINE to be up-to-date and more complete. · ed804802
  Vladimír Štill authored Apr 25, 2017
  
  ed804802
May 04, 2017
- VM: Track loaded pointers for tau reduction precisely, not just object ids. · c498dab0
  Vladimír Štill authored May 04, 2017
  
  c498dab0
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