Commits · 3cb11c9ddf0e4572caf8fdfd62c2c895221b5e87 · paradise / mirror / DIVINE · GitLab

Oct 12, 2019
- 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
Oct 09, 2019
- rst: Fix typo in comments. · 208ae1f9
  Henrich Lauko authored Oct 09, 2019
  
  208ae1f9
Oct 07, 2019
- rst: Allow creation of tainted pointer. · 09bcd749
  Henrich Lauko authored Oct 07, 2019
  
  09bcd749
- rst: Add interface for tracing of frozen abstract values. · baebf0d4
  Henrich Lauko authored Oct 07, 2019
  
  baebf0d4
Sep 26, 2019
- rst: Introduce constant wrapper domain. · 24aed9e0
  Henrich Lauko authored Sep 26, 2019
  
  24aed9e0
Oct 12, 2019
- dios: Fail hard if pthread_create() is called with invalid arguments. · ee522216
  Petr Rockai authored Oct 12, 2019
  
  ee522216
- dios: Reflect the name change on lart-synthesized, fused ctors & dtors. · 902b6744
  Petr Rockai authored Oct 12, 2019
  
  902b6744
- dios: Unify the definitions of sigset_t. · 9fe84672
  Petr Rockai authored Oct 12, 2019
  
  9fe84672
- lart: Use a '__dios' prefix on the functions generated by fusectors. · dcf4e634
  Petr Rockai authored Oct 12, 2019
  
  dcf4e634