Commits · d9883cf3229687f0eeac24480143b37ab0303906 · paradise / mirror / DIVINE · GitLab

Oct 13, 2019
- 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
- bricks: Always return a valid pointer from string_builder::buffer(). · 6478c199
  Petr Rockai authored Oct 12, 2019
  
  6478c199
Sep 07, 2019
- bricks: Fix compilation of brick-ptr with gcc/libstdc++. · 6f7d5417
  Petr Rockai authored Sep 07, 2019
  
  6f7d5417
Sep 06, 2019
- bricks: Use brq::error in brick-fs. · ecd736ed
  Petr Rockai authored Sep 06, 2019
  
  ecd736ed
Sep 29, 2019
- bricks: Generalize raise() to exception types with more than one argument. · 83de985a
  Petr Rockai authored Sep 29, 2019
  
  83de985a
- bricks: Make cons::map() call the mapping function from left to right. · cfd797cc
  Petr Rockai authored Sep 29, 2019
  
  cfd797cc
Sep 28, 2019
- bricks: Mark a bunch of brq::cons methods as const. · cef185c7
  Petr Rockai authored Sep 28, 2019
  
  cef185c7
- bricks: Add a const variant of 'each()' to brq::cons. · 851d4e13
  Petr Rockai authored Sep 28, 2019
  
  851d4e13
Sep 27, 2019
- bricks: Add 'finally' (a generic RAII class) to brick-except. · 990146fb
  Petr Rockai authored Sep 27, 2019
  
  990146fb
Sep 23, 2019
- bricks: Specialize brq::raise() for std::system_error. · fe0b101e
  Petr Rockai authored Sep 23, 2019
  
  fe0b101e