Commits · b4759eab9b18cb138234757bbda60ac28ff85707 · paradise / mirror / DIVINE · GitLab

Oct 01, 2017
- releng: Update for 4.0.16 · b4759eab
  Release Bot authored Oct 01, 2017
  
  4.0.16
  
  b4759eab
Sep 27, 2017
- VM: Rename _DivineStat to __vmutil_stat and move it to vmutil.h. · f2c10787
  Petr Rockai authored Sep 27, 2017
  
  f2c10787
- UI: Allow sim's 'up' to jump from the end of syscall stack to userspace. · 796f78fa
  Vladimír Štill authored Sep 27, 2017
```
And use this feature to implement more robust up from fault.
```
  796f78fa
- cmake: Fix stringification for lart.h & vmutil.h. · 68fad8f3
  Petr Rockai authored Sep 27, 2017
  
  68fad8f3
- runtime: Allow including <sys/lart.h> in DIVINE sources. · 6a5abd62
  Vladimír Štill authored Sep 27, 2017
  
  6a5abd62
- VM: Move register & flag name helpers from ui/sim.cpp to vmutil.h. · cccffacb
  Petr Rockai authored Sep 27, 2017
  
  cccffacb
Sep 26, 2017
- VM: Move sys/lart.h and sys/vmutil.h into divine/vm. · af5afe99
  Petr Rockai authored Sep 26, 2017
  
  af5afe99
Sep 22, 2017
- UI: Print registers in more meaningful way. · d1b6a21b
  Vladimír Štill authored Sep 22, 2017
  
  d1b6a21b
Sep 23, 2017
- test: Add test for sim's register command. · ca23328e
  Vladimír Štill authored Sep 23, 2017
  
  ca23328e
Sep 26, 2017
- DiOS: Add missing #include <iterator> to array.hpp. · 0cf4a28d
  Petr Rockai authored Sep 26, 2017
  
  0cf4a28d
Aug 30, 2017
- test: Re-enable peterson weakmem tests. · 6a47355c
  Vladimír Štill authored Aug 30, 2017
  
  6a47355c
Sep 23, 2017
- abstract: Unify abstract annotation macros to single header. · 4623303d
  Henrich Lauko authored Sep 23, 2017
  
  4623303d
Sep 13, 2017
- test: Add test on symbolic value insertion into binary tree. · 9d672e58
  Henrich Lauko authored Sep 13, 2017
  
  9d672e58
Sep 26, 2017
- lart: Consider function arguments as abstraction roots. · 78c019b8
  Henrich Lauko authored Sep 26, 2017
  
  78c019b8
- lart: Fix creation of cast intrinsics. · a063a978
  Henrich Lauko authored Sep 26, 2017
  
  a063a978
- test: Add a test for dup() with a forked process. · 6a6232a2
  Zuzana Baranová authored Sep 26, 2017
  
  6a6232a2
- UI: Slightly refactor breakpoint handling in 'sim'. · ddfe80d9
  Petr Rockai authored Sep 26, 2017
  
  ddfe80d9
Sep 22, 2017
- make: Don't build compiler-rt, it is not needed and does not build on new arch. · a520fc61
  Vladimír Štill authored Sep 22, 2017
  
  a520fc61
Sep 26, 2017
- DiOS: Move __dios::Array to separate header. · 8d0b8dad
  Jan Mrázek authored Sep 26, 2017
  
  8d0b8dad
Sep 25, 2017
- VM: Allow traces in run. · ff882cbc
  Jan Mrázek authored Sep 25, 2017
  
  ff882cbc
Sep 20, 2017
- DiOS: Trace threads sorted by PID:TID. · 9c04ff2c
  Jan Mrázek authored Sep 20, 2017
  
  9c04ff2c
Sep 21, 2017
- UI: Implement a 'call' command in sim. · 887ef644
  Petr Rockai authored Sep 21, 2017
  
  887ef644
- test: Add a test for the 'call' command in sim. · 2b6367c8
  Petr Rockai authored Sep 21, 2017
  
  2b6367c8
Sep 14, 2017
- test: Add a test for sim's up/down commands with relation to fault handler. · 82061bab
  Vladimír Štill authored Sep 14, 2017
  
  82061bab
Sep 21, 2017
- UI: Update the fault handler regex in the 'up' command. · 87b1dd87
  Petr Rockai authored Sep 21, 2017
  
  87b1dd87
Sep 19, 2017
- DiOS: Remove kernel syscall. · 01d8d50a
  Jan Mrázek authored Sep 19, 2017
  
  01d8d50a
- doc: Resurrect the manpage & the commandline summary in the manual. · beb40d97
  Petr Rockai authored Sep 19, 2017
  
  beb40d97
Sep 14, 2017
- bricks: Fix splitting of annotations in brick-llvm. · 3cd0041e
  Vladimír Štill authored Sep 14, 2017
  
  3cd0041e
Sep 17, 2017

runtime: Fix compilation of libc++ on systems with glibc 2.26+. · ea00a5fd

Vladimír Štill authored Sep 17, 2017


see also:
https://sourceware.org/glibc/wiki/Release/2.26#Removal_of_.27xlocale.h.27

the same change was done upstream:
https://github.com/llvm-mirror/libcxx/commit/6e02e89f65ca1ca1d6ce30fbc557563164dd327e

ea00a5fd

Sep 01, 2017
- cmake: Fix UNSET_RPATH in RPATH modification script. · 6ed30ed9
  Vladimír Štill authored Sep 01, 2017
  
  6ed30ed9
- tools: Fix variant-related compilation error in divcc. · e2bc9923
  Vladimír Štill authored Sep 01, 2017
  
  e2bc9923
Sep 09, 2017
- bricks: Prefix-match commands in brick-cmd if the prefix is unambiguous. · 8d19db53
  Zuzana Baranová authored Sep 09, 2017
  
  8d19db53
Sep 14, 2017
- lart: Use '__vmutil_interrupt' instead of '__vm_interrupt_cfl'. · 942dd7a3
  Henrich Lauko authored Sep 14, 2017
  
  942dd7a3
Aug 29, 2017
- lart: Insert cfl interupt to abstract calls to prevent infinite recursion. · 959c1293
  Henrich Lauko authored Aug 29, 2017
  
  959c1293
Sep 12, 2017
- lart: Simplify abstract roots detection. · 9871aaa7
  Henrich Lauko authored Sep 12, 2017
  
  9871aaa7
Sep 19, 2017
- lart: Update 'zero' domain. · c3978419
  Henrich Lauko authored Sep 19, 2017
  
  c3978419
Sep 15, 2017
- abstract: Rename 'lift' and 'lower' macros in 'zero' domain. · a40ffb76
  Henrich Lauko authored Sep 15, 2017
  
  a40ffb76
Sep 14, 2017
- test: Make intent of '2.sym-struct-64-a' clearer. · d13a5082
  Henrich Lauko authored Sep 14, 2017
  
  d13a5082
Sep 13, 2017
- test: Fix '2.sym-recursion-c' test. · 088005a0
  Henrich Lauko authored Sep 13, 2017
  
  088005a0
- lart: Fix abstraction of call without abstract return value. · 4d87bbc2
  Henrich Lauko authored Sep 13, 2017
  
  4d87bbc2