Commits · a01aabf30ab0f2130d73366f3cdaede88f564243 · paradise / mirror / DIVINE · GitLab

Jan 26, 2020
- lava: Add placeholders for string.h functions to domain_mixin. · a01aabf3
  Petr Rockai authored Jan 26, 2020
  
  a01aabf3
- lava: Add domain_mixin::op_{not,neg} placeholders. · 8be5ca8c
  Petr Rockai authored Jan 26, 2020
  
  8be5ca8c
- lava: By default, make each domain its own scalar and index domain. · ed9fc59a
  Petr Rockai authored Jan 26, 2020
  
  ed9fc59a
- lava: Fix domain_mixin::op_{gep,store}. · f4225a27
  Petr Rockai authored Jan 26, 2020
  
  f4225a27
- bricks: Replace forwarding with 'using' of base ctors in smt_expr. · a85174bb
  Petr Rockai authored Jan 26, 2020
  
  a85174bb
- lava: Properly call constructors & destructors in tagged_storage. · d74ef1c8
  Petr Rockai authored Jan 26, 2020
  
  d74ef1c8
- lava: Add a rudimentary term::op_gep() implementation. · 9e507657
  Petr Rockai authored Jan 26, 2020
  
  9e507657
- lava: Add logical operators (and, or, not) to 'scalar'. · 0d8f0963
  Petr Rockai authored Jan 26, 2020
  
  0d8f0963
- lava: Fix two minor issues in 'scalar'. · 924d884a
  Petr Rockai authored Jan 26, 2020
  
  924d884a
- lava: Take arguments of 'scalar' operators as const references. · a01a1b88
  Petr Rockai authored Jan 26, 2020
  
  a01a1b88
- lava: Drop redundant 'noexcept' qualifiers on 'scalar' operators. · a61debe2
  Petr Rockai authored Jan 26, 2020
  
  a61debe2
- lava: Add op_not() and op_neg() to 'term' and 'constant'. · 9223becc
  Petr Rockai authored Jan 26, 2020
  
  9223becc
- lava: Tighten the constructors of term. · 5fdeaa49
  Petr Rockai authored Jan 26, 2020
  
  5fdeaa49
- lava: Add missing unit::op_zfit(). · c90c5a28
  Petr Rockai authored Jan 26, 2020
  
  c90c5a28
- lava: Accept arbitrary scalars & indices in unit::op_{gep,store}. · fef038bd
  Petr Rockai authored Jan 26, 2020
  
  fef038bd
- lamp: Add mstring-based configs -- constant (for testing) and symbolic. · afab0f78
  Petr Rockai authored Jan 26, 2020
  
  afab0f78
- lamp: Fix semilattice::to_tristate(). · 1e858d38
  Petr Rockai authored Jan 26, 2020
  
  1e858d38
- lamp: Specify the lift/any domains for scalars and arrays separately. · 0baf6ab5
  Petr Rockai authored Jan 26, 2020
  
  0baf6ab5
- lamp: Add semilattice wrappers for string.h functions (strcat, strchr, ...). · c6c2a9db
  Petr Rockai authored Jan 26, 2020
  
  c6c2a9db
- lamp: Add semilattice wrappers for array ops (gep/load/store). · b74d5f19
  Petr Rockai authored Jan 26, 2020
  
  b74d5f19
- lamp: Clean up the semilattice::op() wrapper a bit. · feb35d84
  Petr Rockai authored Jan 26, 2020
  
  feb35d84
- test: Add a todo tag to tests based on __mstring_from_segments. · 22d632c7
  Petr Rockai authored Jan 26, 2020
  
  22d632c7
- dios: Allow Array instances to share data regardless of their pointer types. · ba87f6a7
  Petr Rockai authored Jan 26, 2020
  
  ba87f6a7
- lava: Fix prototypes for 'construct_shared' constructor variants. · 8d2e2843
  Petr Rockai authored Jan 26, 2020
  
  8d2e2843
- lamp: Allow marked and regular domains to coexist within a single semilattice. · 16135d02
  Petr Rockai authored Jan 26, 2020
  
  16135d02
- lamp: Add semilattice scaffolding for multi-domain (array) operations. · 0ca3a5c2
  Petr Rockai authored Jan 26, 2020
  
  0ca3a5c2
- lamp: Simplify semilattice::in_domain() by giving up on a generic return type. · 9bb8c59f
  Petr Rockai authored Jan 26, 2020
  
  9bb8c59f
- lamp: Tighten the constructors of semilattice. · 61fa0c94
  Petr Rockai authored Jan 26, 2020
  
  61fa0c94
- lamp: Change the 'gep' and 'store' wrappers to work with function templates. · cebe4c71
  Petr Rockai authored Jan 26, 2020
  
  cebe4c71
- lamp: Add wrappers for the string.h family of functions (strcat &c.). · fe130d6e
  Petr Rockai authored Jan 26, 2020
  
  fe130d6e
- rst: Do not free constant-only constraints since the VM doesn't make a copy. · a5152816
  Petr Rockai authored Jan 26, 2020
  
  a5152816
- lava: Sprinkle a few 'const' qualifiers around mstring. · 098c0b97
  Petr Rockai authored Jan 26, 2020
  
  098c0b97
- lart: Flip arguments to op_store() to make it easier to implement in lamp. · b8dfe945
  Petr Rockai authored Jan 26, 2020
  
  b8dfe945
- lava: Fix undefined behaviour in mstring::op_store(). · 7c6709b5
  Petr Rockai authored Jan 26, 2020
  
  7c6709b5
- test: Use C instead of C++ for a bunch of mstring testcases. · 4d8f4be6
  Petr Rockai authored Jan 26, 2020
  
  4d8f4be6
Jan 25, 2020
- lava: Fix the fallback (domain_mixin) implementation of op_ne(). · 8c78cead
  Petr Rockai authored Jan 25, 2020
  
  8c78cead
- lava: Make tagged_storage::get() work on const instances. · d393b8f1
  Petr Rockai authored Jan 25, 2020
  
  d393b8f1
- lart: Fix coding style in a few places. · 1186d194
  Petr Rockai authored Jan 25, 2020
  
  1186d194
- lamp: Add __lamp_lift_{arr,str} to the API. · f4ba0028
  Petr Rockai authored Jan 25, 2020
  
  f4ba0028
- lava: Sketch out the interface for lifting arrays. · b3fc537b
  Petr Rockai authored Jan 25, 2020
  
  b3fc537b