Commits · 9f60c693f7c204c61275800229df65c6c3f36863 · paradise / mirror / DIVINE · GitLab

Apr 21, 2019
- VM: Treat globals stored in the llvm.metadata section as constants. · 9f60c693
  Petr Rockai authored Apr 21, 2019
  
  9f60c693
- dbg: Keep an instance of llvm::DebugInfoFinder in Info. · ad3ec63b
  Petr Rockai authored Apr 21, 2019
  
  ad3ec63b
- dbg: Add string-based global variable lookup, as Info::global(). · 99bd5b60
  Petr Rockai authored Apr 21, 2019
  
  99bd5b60
Apr 09, 2019
- VM: Get rid of unnecessary #undef alloca in program.hpp. · 289f1919
  Petr Rockai authored Apr 09, 2019
  
  289f1919
- clang: Don't break alloca in a public header. · cc20c7e5
  Petr Rockai authored Apr 09, 2019
  
  cc20c7e5
- VM: Fix compile error on platforms where int64_t != long. · f07d8745
  Petr Rockai authored Apr 09, 2019
  
  f07d8745
- minisat: Fix a compile error on "unsupported" systems. · 0318470b
  Petr Rockai authored Apr 09, 2019
  
  0318470b
- cmake: Drop the (outdated) private copy of compiler-rt from the build. · 706dba25
  Petr Rockai authored Apr 09, 2019
  
  706dba25
- dios: Fix hostabi.pl on OpenBSD. · b7b05c67
  Petr Rockai authored Apr 09, 2019
  
  b7b05c67
Apr 10, 2019
- mem: Add unit tests for copying in IntervalMetadataMap. · 77fc8d9b
  Adam Matoušek authored Apr 09, 2019
  
  77fc8d9b
- mem: Copy parts of intervals correctly in IntervalMetadataMap. · 5dd34c43
  Adam Matoušek authored Apr 09, 2019
  
  5dd34c43
Apr 09, 2019
- mem: Fix endocopies in SnapshottedMap. · 05c5321b
  Adam Matoušek authored Apr 09, 2019
  
  05c5321b
- mem: Do not insert zero-length intervals to IntervalMetadataMap. · 0de0e2da
  Adam Matoušek authored Apr 09, 2019
  
  0de0e2da
Apr 03, 2019
- test: Make weakmem fifo test more configurable & add another lock-free queue. · 08bf4ee9
  Vladimír Štill authored Apr 03, 2019
  
  08bf4ee9
- test: Add implementation of the hashset used in weakmem hashset test. · 77e4c4d4
  Vladimír Štill authored Apr 03, 2019
  
  77e4c4d4
- rst: Weakmem cleanup. · a89a6ac1
  Vladimír Štill authored Apr 03, 2019
  
  a89a6ac1
- rst: Rework weakmem initialization. · 20aa3503
  Vladimír Štill authored Apr 03, 2019
  
  20aa3503
- test: Move existing tests of lock-free data structures to weakmem/lockfree. · dd1ce2ba
  Vladimír Štill authored Apr 03, 2019
  
  dd1ce2ba
- lart: Rework weakmem initialization. · 8100eee0
  Vladimír Štill authored Apr 03, 2019
  
  8100eee0
- dios: Fix missing SYSINC directory when building with make. · 5ebcf467
  Vladimír Štill authored Apr 03, 2019
  
  5ebcf467
Apr 01, 2019
- test: Add test of read-modify-write in weakmem. · 74573d35
  Vladimír Štill authored Apr 01, 2019
  
  74573d35
- rst: Fix handling of atomic compound operations in weakmem. · e2f1ef67
  Vladimír Štill authored Apr 01, 2019
  
  e2f1ef67
- lart: Fix handling of compound atomic operations. · 71a6fcc2
  Vladimír Štill authored Apr 01, 2019
  
  71a6fcc2
Apr 10, 2019
- lart: Perform sext of a gep argument instead of zext. · adce6106
  Henrich Lauko authored Apr 10, 2019
  
  adce6106
- lart: Introduce 'union' operation to merge concrete and abstract data. · e9ee2924
  Henrich Lauko authored Apr 10, 2019
  
  e9ee2924
- lart: Consider PHINode instruction in the content propagation. · 9439f6dc
  Henrich Lauko authored Apr 10, 2019
  
  9439f6dc
- rst: Taint returned pointers from content domain. · 1b0f7f5b
  Henrich Lauko authored Apr 10, 2019
  
  1b0f7f5b
- lart: Fix decast pass pointer invalidation. · be898091
  Henrich Lauko authored Apr 10, 2019
  
  be898091
Apr 02, 2019
- test: Fix bounds in the mstring constructor. · 491fba3e
  Henrich Lauko authored Apr 02, 2019
  
  491fba3e
- rst: Create mstring automatically with a zero bound. · ce316470
  Henrich Lauko authored Apr 02, 2019
  
  ce316470
Apr 01, 2019
- rst: Drop empty segments of symbolic segmentation. · ab5748aa
  Henrich Lauko authored Apr 01, 2019
  
  ab5748aa
- test: Introduce sym-split-memcpy test. · ecbd68f1
  Henrich Lauko authored Apr 01, 2019
  
  ecbd68f1
- test: Add symbolic mstring strcmp test. · 386615b5
  Henrich Lauko authored Apr 01, 2019
  
  386615b5
- test: Check mstring variadic constructor. · e1d39c4b
  Henrich Lauko authored Apr 01, 2019
  
  e1d39c4b
- rst: Fix strcmp of symbolic segmentation. · 4f8488a4
  Henrich Lauko authored Apr 01, 2019
  
  4f8488a4
- rst: Introduce variadic mstring constructor. · 54eb2b9a
  Henrich Lauko authored Apr 01, 2019
  
  54eb2b9a
- test: Remove todo from passing mstring tests. · 6db358e4
  Henrich Lauko authored Apr 01, 2019
  
  6db358e4
- rst: Fix creation of mstring with offset. · de60afb9
  Henrich Lauko authored Apr 01, 2019
  
  de60afb9
Mar 31, 2019
- rst: Fix += and -= operators of symbolic abstraction. · 561c8c97
  Henrich Lauko authored Mar 31, 2019
  
  561c8c97
- lart: Replace return values of abstracted loads. · 52666b9f
  Henrich Lauko authored Mar 31, 2019
  
  52666b9f