Commits · cb9f03d9a9d7fee2f09d95237019c83add83ab7c · 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 04, 2017
- DiOS: Allow syscalls to override default scheduling mode. · cb9f03d9
  Jan Mrázek authored May 04, 2017
  
  cb9f03d9
Apr 28, 2017
- libcxx: Add cat_files.py needed for install target. · 523f9446
  Vladimír Štill authored Apr 28, 2017
  
  523f9446
Apr 18, 2017
- runtime: Switch to V2 libc++ ABI. · 00b6e439
  Vladimír Štill authored Apr 18, 2017
  
  00b6e439
- libunwind: Update to 4.0.0. · 1bdabb27
  Vladimír Štill authored Apr 18, 2017
  
  1bdabb27
- make: Fix library paths of libc++ and libc++abi 4. · d230894d
  Vladimír Štill authored Apr 18, 2017
  
  d230894d
- cmake: Libc++ 4 related fixes. · 302cbae7
  Vladimír Štill authored Apr 18, 2017
  
  302cbae7
- divine: Avoid std::experimental::string_view, std::string_view is now available. · 976b337d
  Vladimír Štill authored Apr 18, 2017
  
  976b337d
- libcxx: Port libc++ 4 to work with DIVINE. · 100ccff0
  Vladimír Štill authored Apr 18, 2017
  
  100ccff0
- libcxx: Resolve conflicts after update to 4.0.0. · 80c91bec
  Vladimír Štill authored Apr 18, 2017
  
  80c91bec
- libcxx: Update to 4.0.0. · 32051662
  Vladimír Štill authored Apr 18, 2017
  
  32051662
May 05, 2017
- libcxxabi: Resolve conflicts after update to 4.0.0. · d63263f2
  Vladimír Štill authored May 05, 2017
  
  d63263f2
May 04, 2017
- libcxxabi: Update to 4.0.0. · f9150b5b
  Vladimír Štill authored May 04, 2017
  
  f9150b5b
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