Commits · b74d5f19d9fe101bafa6ad44fa79bf0f4a229713 · paradise / mirror / DIVINE · GitLab

Jan 26, 2020
- 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
- lava: Add the zfit op to 'constant'. · aaa434c3
  Petr Rockai authored Jan 25, 2020
  
  aaa434c3
- lava: Add missing comparison operators to 'constant'. · 70e992f2
  Petr Rockai authored Jan 25, 2020
  
  70e992f2
- lava: Remove a bunch of redundant 'noexcept' specifiers from mstring. · 865a2c8c
  Petr Rockai authored Jan 25, 2020
  
  865a2c8c
- lava: Fix a bunch of style issues in mstring.hpp. · d4f9ab34
  Petr Rockai authored Jan 25, 2020
  
  d4f9ab34
- lava: Add more operator overloads to the 'scalar' wrapper. · 058a2214
  Petr Rockai authored Jan 25, 2020
  
  058a2214
- lava: Clean up construction and conversion of the 'scalar' wrapper. · 8d7c46a8
  Petr Rockai authored Jan 25, 2020
  
  8d7c46a8
- lava: Update the header and includes in scalar.hpp. · 624dbcf2
  Petr Rockai authored Jan 25, 2020
  
  624dbcf2
- lava: Make boolean conversion operators of 'scalar' and 'tristate' explicit. · 4d3fc7ec
  Petr Rockai authored Jan 25, 2020
  
  4d3fc7ec
- lava: Fix scalar::to_tristate(). · c6b5ccd0
  Petr Rockai authored Jan 25, 2020
  
  c6b5ccd0
- test: Fix a few more buggy uses of __lamp_lift_str(). · d8402d84
  Petr Rockai authored Jan 25, 2020
  
  d8402d84
- test: First pass at updating mstring testcases to new interfaces. · b586ced6
  Petr Rockai authored Jan 25, 2020
  
  b586ced6
- test: Update abstrub testcases. · f48a3a8d
  Petr Rockai authored Jan 25, 2020
  
  f48a3a8d
- lart: Fix generation of call lifters (for abstractable functions). · 041744bf
  Petr Rockai authored Jan 25, 2020
  
  041744bf
- lart: Mark calls of abstractable functions as faultable. · f0c232dc
  Petr Rockai authored Jan 25, 2020
  
  f0c232dc
- lart: Fix lookup of abstractable functions. · 272a7a90
  Petr Rockai authored Jan 25, 2020
  
  272a7a90
- VM: Fix propagation of taints from offsets passed to gep instructions. · 933702dc
  Petr Rockai authored Jan 25, 2020
  
  933702dc
- VM: Disable the 'icmp result depends on objid' fault temporarily. · fa33347e
  Petr Rockai authored Jan 25, 2020
  
  fa33347e
- smt: Update unit tests. · 8b0d6b7e
  Petr Rockai authored Jan 25, 2020
  
  8b0d6b7e
Jan 12, 2020
- VM: Raise a fault when an 'icmp' is possibly unsound due to objid's. · a2df23e7
  Petr Rockai authored Jan 12, 2020
  
  a2df23e7