Commits · e5b86b4edc829a5075fc95759015e92a34e507d7 · paradise / mirror / DIVINE · GitLab

Oct 13, 2019
- test: Add a missing /* ERROR */ annotation to an svcomp/array testcase. · e5b86b4e
  Petr Rockai authored Oct 13, 2019
  
  e5b86b4e
- tools: Fix compilation of runtime-cc. · 55766929
  Petr Rockai authored Oct 13, 2019
  
  55766929
- UI: Add common code for handling signals and std::terminate(). · 1f9b3fd6
  Petr Rockai authored Oct 13, 2019
  
  1f9b3fd6
- libc: Fix a null pointer dereference when a global constructor calls exit(). · 4f8dcfd9
  Petr Rockai authored Oct 13, 2019
  
  4f8dcfd9
- dios: Add stubs for tempfile functions (mk*temp). · 63031b34
  Petr Rockai authored Oct 13, 2019
  
  63031b34
- tools: Use common death handlers in divine & divcheck. · 204bd852
  Petr Rockai authored Oct 13, 2019
  
  204bd852
- test: Refactor the way brick unit tests are collected and executed. · c3f9de8f
  Petr Rockai authored Oct 13, 2019
  
  c3f9de8f
- bricks: Switch to brq::string_builder in sha2::to_hex(). · 01b16181
  Petr Rockai authored Oct 13, 2019
  
  01b16181
- bricks: Resolve conflicts in brick-sha2. · b2f6247c
  Petr Rockai authored Oct 13, 2019
  
  b2f6247c
- mem: Prevent past-the-end reads when hashing shadow memory. · a29e0f29
  Petr Rockai authored Oct 13, 2019
  
  a29e0f29
- bricks: Deal with allocation failures in the demangler. · ff2f070a
  Petr Rockai authored Oct 13, 2019
  
  ff2f070a
- bricks: Reduce the size of a few unit tests when building for divine. · 06f1463a
  Petr Rockai authored Oct 13, 2019
  
  06f1463a
- bricks: Add a no-reads-past-the-end variant of hash_state::update_aligned(). · b14ff21a
  Petr Rockai authored Oct 13, 2019
  
  b14ff21a
- bricks: Remove remaining explicit BRICK_UNITTEST_REG guards. · 30d6d700
  Petr Rockai authored Oct 13, 2019
  
  30d6d700
- bricks: Replace std::stringstream with string_builder in brick-smt. · 61e1be8f
  Petr Rockai authored Oct 13, 2019
  
  61e1be8f
- bricks: Fix brick-unittest now that assert_failed is not an std::exception. · 9d33593d
  Petr Rockai authored Oct 13, 2019
  
  9d33593d
- bricks: Allow unit tests to be also matched using the file name. · 9bae01da
  Petr Rockai authored Oct 13, 2019
  
  9bae01da
- bricks: Add an option to emit (but not register) unit tests. · 673025dd
  Petr Rockai authored Oct 13, 2019
  
  673025dd
- bricks: Prevent traces and asserts from being truncated in divine due to OOM. · 3fa436ea
  Petr Rockai authored Oct 13, 2019
  
  3fa436ea
- bricks: Add a pad() method to string_builder. · cb2233a1
  Petr Rockai authored Oct 13, 2019
  
  cb2233a1
- bricks: Add hex() and dec() helper methods to string_builder. · f15dc7cc
  Petr Rockai authored Oct 13, 2019
  
  f15dc7cc
- dios: Make (f)pathconf return long, as it should. · 5c035bba
  Petr Rockai authored Oct 13, 2019
  
  5c035bba
- bricks: Replace non-standard u_int* used in brick-sha2 with uint*. · d9883cf3
  Petr Rockai authored Oct 13, 2019
  
  d9883cf3
Oct 12, 2019
- bricks: Do not throw on assertion failures when built for divine. · f81a3cec
  Petr Rockai authored Oct 12, 2019
  
  f81a3cec
- bricks: Do not derive assert_failed from std::exception. · a7901b25
  Petr Rockai authored Oct 12, 2019
  
  a7901b25
- rst: Fix a bunch of typos and minor style issues in constant.hpp. · 2536248e
  Petr Rockai authored Oct 12, 2019
  
  2536248e
Oct 10, 2019
- rst: Implement casting operations for constant wrapper. · 618618b3
  Henrich Lauko authored Oct 10, 2019
  
  618618b3
- rst: Implement signed operations in the constant wrapper domain. · 9b2c9e58
  Henrich Lauko authored Oct 10, 2019
  
  9b2c9e58
- test: Add tests on constant wrapper abstract domain. · e6a63551
  Henrich Lauko authored Oct 10, 2019
  
  e6a63551
Oct 07, 2019
- rst: Fix creation of wrapped constant. · dbbdad3f
  Henrich Lauko authored Oct 07, 2019
  
  dbbdad3f
- rst: Implement shift operations in the constant wrapper domain. · d01cd352
  Henrich Lauko authored Oct 07, 2019
  
  d01cd352
- rst: Implement trace function in the constant wrapper domain. · 04543b8b
  Henrich Lauko authored Oct 07, 2019
  
  04543b8b
- rst: Let constant wrapper keep track of its value bitwidth. · 125d720d
  Henrich Lauko authored Oct 07, 2019
  
  125d720d
- rst: Implement function objects for standard shift operations. · f524597b
  Henrich Lauko authored Oct 07, 2019
  
  f524597b
Sep 17, 2019
- bricks: Use std::array to store SHA-2 digests instead of std::string. · 94b58ea8
  Petr Rockai authored Sep 17, 2019
  
  94b58ea8
Oct 13, 2019
- cmake: Remove a legacy (and unused) hack from STP build instructions. · 113bbd8a
  Petr Rockai authored Oct 12, 2019
  
  113bbd8a
- tools: Deal with brq::assert_failed now that it is no longer an std::exception. · 41eaecb4
  Petr Rockai authored Oct 12, 2019
  
  41eaecb4
- cmake: Do not forget to install libdivine-sim. · cfecb405
  Petr Rockai authored Oct 12, 2019
  
  cfecb405
- cmake: Skip building the lld driver since it fails and we do not use it. · 4dbfdaf3
  Petr Rockai authored Oct 12, 2019
  
  4dbfdaf3
- releng: Update install-rpath.cmake (patch by Lukáš Zaoral). · 3133498a
  Petr Rockai authored Oct 12, 2019
  
  3133498a