Commits · cfd797cc77377c0e23f7e1d3b8d459d8e4cc12a0 · paradise / mirror / DIVINE · GitLab

SCHEDULED DOWNTIME: GitLab's virtual host must be rebooted to increase system resources. The reboot will occur on Wednesday, 2024-05-15, between 6:00 and 7:00 PM.

Sep 29, 2019
- 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
- dios: Use a host-compatible layout for struct sigaction. · cf5862fa
  Petr Rockai authored Oct 12, 2019
  
  cf5862fa
- dios: Use anonymous unions to simplify the struct layout logic in hostabi.pl. · 438d4825
  Petr Rockai authored Oct 12, 2019
  
  438d4825
- VM: Promote the size check on slots from an assert to an exception. · e7b0fd12
  Petr Rockai authored Oct 12, 2019
  
  e7b0fd12
- VM: Increase the size limit on a single slot to 16MiB. · 645c4545
  Petr Rockai authored Oct 12, 2019
  
  645c4545
- UI: Error out if we try to capture a file that is too big. · a3d2faa9
  Petr Rockai authored Oct 12, 2019
  
  a3d2faa9
Oct 11, 2019
- cmake: Make the 'functional' target depend on divcheck. · 555982bb
  Petr Rockai authored Oct 11, 2019
  
  555982bb
Oct 10, 2019
- lart: Resolve merge-conflicts. · 0cc3fda5
  Adam Matoušek authored Oct 10, 2019
  
  0cc3fda5
Sep 24, 2019
- lart: Make abstract stubbing pass configurable. · 271eed50
  Adam Matoušek authored Sep 24, 2019
  
  271eed50
Aug 19, 2019
- lart: Accustom the abstract stubbing pass to changes in LART. · c1a32763
  Adam Matoušek authored Aug 19, 2019
  
  c1a32763