Commits · 06ffd2f667a728d49cf59b818c6a9b84d57c85cd · paradise / mirror / DIVINE · GitLab

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
Sep 09, 2019
- bricks: Add a std::string_view accessor to string_builder. · 2d8227bc
  Petr Rockai authored Sep 09, 2019
  
  2d8227bc
Sep 06, 2019
- bricks: Use brq::error as the default type to be thrown in brq::raise(). · fb5b79bd
  Petr Rockai authored Sep 06, 2019
  
  fb5b79bd
Sep 01, 2019
- bricks: Add a brq::raise() helper for constructing exceptions more easily. · b4c1d2c8
  Petr Rockai authored Sep 01, 2019
  
  b4c1d2c8
- bricks: Rename brick:except::Error to brq::error. · cbe1e631
  Petr Rockai authored Sep 01, 2019
  
  cbe1e631
Sep 21, 2019
- bricks: Add an implementation of a universal 'help' command to brick-cmd. · 9e5b4b45
  Petr Rockai authored Sep 21, 2019
  
  9e5b4b45
Sep 19, 2019
- bricks: Make parameter pack deduction work with cons_list_t. · d8ac589a
  Petr Rockai authored Sep 19, 2019
  
  d8ac589a
Sep 11, 2019
- bricks: Add a missing #include <sstream> to brick-sha2. · 5900daa6
  Petr Rockai authored Sep 10, 2019
  
  5900daa6
Sep 08, 2019
- bricks: Add value-level map() to cons lists & rename the type-level version. · b1c71fdc
  Petr Rockai authored Sep 08, 2019
  
  b1c71fdc
Sep 06, 2019
- bricks: Add more constness to argv in cmd::from_argv(). · 83cd3229
  Petr Rockai authored Sep 06, 2019
  
  83cd3229
- bricks: Update brick-cmd to work with the changes in brick-except. · c9ae51af
  Petr Rockai authored Sep 06, 2019
  
  c9ae51af
Sep 04, 2019
- bricks: Add a cat() method for cons lists. · 783edaf5
  Petr Rockai authored Sep 03, 2019
  
  783edaf5
Sep 03, 2019
- bricks: Add a constexpr filter() method to cons lists. · 7287a60d
  Petr Rockai authored Sep 03, 2019
  
  7287a60d
- bricks: Add a reverse() method to the cons list. · af64624e
  Petr Rockai authored Sep 03, 2019
  
  af64624e
Sep 01, 2019
- bricks: Allow direct construction of cons lists from argument packs. · c2f4e791
  Petr Rockai authored Sep 01, 2019
  
  c2f4e791
- bricks: Add a convenience cons_list_t typedef template. · b8b451ec
  Petr Rockai authored Sep 01, 2019
  
  b8b451ec
Oct 12, 2019
- test: Check that various invalid calls to pthread_create() are flagged. · 900a5af9
  Petr Rockai authored Oct 12, 2019
  
  900a5af9
- test: Fix annotations and ignore a control error in an svcomp test. · c465f251
  Petr Rockai authored Oct 12, 2019
  
  c465f251
- test: Get rid of an extraneous /* ERROR */ comment in an svcomp test. · 1971a002
  Petr Rockai authored Oct 12, 2019
  
  1971a002