Commits · 30d6d700f6280f2c10ed6fd57b6614f5c198208d · paradise / mirror / DIVINE · GitLab

SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to apply security updates. The reboot will occur on Monday, 2024-05-06, between 03:45 and 4:00 AM.

Oct 13, 2019
- 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
Oct 12, 2019
- make: Fix references to the source directory under gnumake + sudo. · 06ffd2f6
  Petr Rockai authored Oct 12, 2019
  
  06ffd2f6
- releng: Fix FindZ3.cmake on Fedora (patch by Lukáš Zaoral). · daf807e3
  Petr Rockai authored Oct 12, 2019
  
  daf807e3
- cmake: Disable version control checks in LLVM's build instructions. · d1da3c39
  Petr Rockai authored Oct 12, 2019
  
  d1da3c39
- test: Extend misc/help.sh with a few more cases. · 59974491
  Petr Rockai authored Oct 12, 2019
  
  59974491
- MC: Fix build broken by brick-except changes. · 75b2b2b0
  Petr Rockai authored Oct 12, 2019
  
  75b2b2b0
- UI: Use the implementation of 'help' provided by brick-cmd. · 6b3bca88
  Petr Rockai authored Oct 12, 2019
  
  6b3bca88
- bricks: Make brick-llvm-link and brick-proc build with updated brick-except. · c35cf421
  Petr Rockai authored Oct 12, 2019
  
  c35cf421
- dbg: Adapt to changes in brick-except. · 0e41f738
  Petr Rockai authored Oct 12, 2019
  
  0e41f738
- tools: Update with regard to changes in brick-except. · 3cb11c9d
  Petr Rockai authored Oct 12, 2019
  
  3cb11c9d
- VM: Adapt to changes in brick-except. · f3a5dc67
  Petr Rockai authored Oct 12, 2019
  
  f3a5dc67
- sim: Adapt to changes in brick-except. · 9a232e59
  Petr Rockai authored Oct 12, 2019
  
  9a232e59
- UI: Update with regard to changes in brick-except. · ea0892d4
  Petr Rockai authored Oct 12, 2019
  
  ea0892d4
- CC: Update with regard to changes in brick-except. · 03ba09f4
  Petr Rockai authored Oct 12, 2019
  
  03ba09f4