Commits · d7dc1738e5eaaec9437b141119b76aebf03e929e · paradise / mirror / DIVINE · GitLab

Oct 15, 2019
- test: Mark two brick testcases as big since they don't finish in 10 minutes. · d7dc1738
  Petr Rockai authored Oct 15, 2019
  
  d7dc1738
Oct 14, 2019
- test: Do not trace command execution in test/lib/verify. · e7f756aa
  Petr Rockai authored Oct 13, 2019
  
  e7f756aa
- tools: Allow multiple 'expect' declarations in divcheck. · ee43c8e2
  Adam Matoušek authored Oct 13, 2019
  
  ee43c8e2
Oct 13, 2019
- test: Abolish divcheck-wrap. · 14a4b054
  Adam Matoušek authored Oct 13, 2019
  
  14a4b054
Oct 04, 2019
- test: Silence grep complaints about nonexistent verify.out. · 7fb82141
  Adam Matoušek authored Oct 04, 2019
  
  7fb82141
Oct 10, 2019
- test: Suit divcheck-wrap to divbench's needs. · 29924c16
  Adam Matoušek authored Oct 10, 2019
  
  29924c16
Oct 13, 2019
- tools: Fix symbol matching in divcheck. · c86bc757
  Adam Matoušek authored Oct 13, 2019
  
  c86bc757
- 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