Commits · 4.2.7 · paradise / mirror / DIVINE · GitLab

May 01, 2019
- releng: Update for 4.2.7 · 0526fbf2
  Release Bot authored May 01, 2019
  
  4.2.7
  
  0526fbf2
Apr 28, 2019
- bricks: Fix the default constructor of refcount_ptr. · 4dc44761
  Petr Rockai authored Apr 28, 2019
  
  4dc44761
- bricks: Check that refcount_ptr calls the destructor when it should. · ca4fa474
  Petr Rockai authored Apr 28, 2019
  
  ca4fa474
- rst: Fix a memory leak in mstring by using brq::refcount_ptr. · 94ad1b3b
  Petr Rockai authored Apr 28, 2019
  
  94ad1b3b
- bricks: Add a simple intrusive reference counting smart pointer (refcount_ptr). · 2538e377
  Petr Rockai authored Apr 28, 2019
  
  2538e377
Apr 09, 2019
- make: Respect LDFLAGS and CXXFLAGS (either from the system or from local.make). · 60275f12
  Petr Rockai authored Apr 09, 2019
  
  60275f12
Apr 22, 2019
- test: Drop 'min' from mstring-strcmp-c.cpp so it doesn't run with smtlib. · ff368713
  Petr Rockai authored Apr 22, 2019
  
  ff368713
- test: Check that linking dios does not pull in undesirable symbols. · 056fae90
  Petr Rockai authored Apr 22, 2019
  
  056fae90
- dios: Fix computation of _PDCLIB_wcinfo_size. · 11e8b246
  Petr Rockai authored Apr 22, 2019
  
  11e8b246
- rst: Get rid of std::shared_ptr. · 4f01e23a
  Petr Rockai authored Apr 21, 2019
  
  4f01e23a
Apr 21, 2019
- bricks: Only run expansion scripts once (brick-shelltest). · 781fa05b
  Petr Rockai authored Apr 21, 2019
  
  781fa05b
- MC: Fix a crash in `divine draw`. · 9e2fefa6
  Petr Rockai authored Apr 21, 2019
  
  9e2fefa6
Apr 04, 2019
- test: Add very basic tests for draw. · d00d352f
  Vladimír Štill authored Apr 04, 2019
  
  d00d352f
Apr 21, 2019
- dios: Hide internal global arrays/structures from 'sim' behind pointer types. · c375eb0b
  Petr Rockai authored Apr 21, 2019
  
  c375eb0b
Apr 09, 2019
- clang: Current OpenBSD versions use compiler_rt, not libgcc. · ae2feebf
  Petr Rockai authored Apr 09, 2019
  
  ae2feebf
Apr 21, 2019
- dbg: Fix code for reading memory content in print::raw(). · b49f84a4
  Petr Rockai authored Apr 21, 2019
  
  b49f84a4
- dbg: Port Node::globalvars() to LLVM 6 and re-enable it. · c5344554
  Petr Rockai authored Apr 21, 2019
  
  c5344554
- 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