Commits · b3fc537bb94cb3f794e2df3dc944e19aa0c34b9b · paradise / mirror / DIVINE · GitLab

Jan 25, 2020
- 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
Jan 25, 2020
- lava: Allow tristate to be constructed from a raw uint8_t. · 929b3cc9
  Petr Rockai authored Jan 24, 2020
  
  929b3cc9
- lava: Pass the operands to domain_mixin::op_* via const references. · 37eb7f04
  Petr Rockai authored Jan 24, 2020
  
  37eb7f04
- lamp: Pass arguments to semilattice::op_* as const references. · e951961d
  Petr Rockai authored Jan 24, 2020
  
  e951961d
- lava: Remove the now-useless noinline default constructor of unit. · 519a09f3
  Petr Rockai authored Jan 24, 2020
  
  519a09f3
- lava: Fix the prototypes of unit::op_gep() and unit::any(). · 17145ce4
  Petr Rockai authored Jan 24, 2020
  
  17145ce4
- lava: Add a fallback for op_zfit. · 8b369037
  Petr Rockai authored Jan 24, 2020
  
  8b369037
Jan 24, 2020
- lava: Set the initial domain id of abstract values to -1. · 530d0e4d
  Petr Rockai authored Jan 24, 2020
  
  530d0e4d
- lava: Add placeholders for basic array operations (gep, load, store). · 93973667
  Petr Rockai authored Jan 24, 2020
  
  93973667
- lamp: Allow values to be returned from semilattice::in_domain(). · 701837ad
  Petr Rockai authored Jan 24, 2020
  
  701837ad
- lamp: Add an implementation of semilattice::any(). · 2f967cc6
  Petr Rockai authored Jan 24, 2020
  
  2f967cc6
- lamp: Add a bunch of comparison and shift operators to semilattice. · e2d674ef
  Petr Rockai authored Jan 24, 2020
  
  e2d674ef
- lamp: Add semilattice wrappers for constraint ops (assume, to_tristate). · efca206b
  Petr Rockai authored Jan 24, 2020
  
  efca206b
- lamp: Add semilattice::op_* wrappers for resizing conversions (zext &c.). · d76756b0
  Petr Rockai authored Jan 24, 2020
  
  d76756b0
- lamp: Update existing (second-stage) semilattice::op_* wrappers. · 77c28d10
  Petr Rockai authored Jan 24, 2020
  
  77c28d10
- lamp: Add first-stage wrappers for basic bitvector ops to semilattice. · 2a1bb615
  Petr Rockai authored Jan 24, 2020
  
  2a1bb615
- lamp: Add more flexible helper functions for building semilattice ops. · ff1940b4
  Petr Rockai authored Jan 24, 2020
  
  ff1940b4
- lamp: Allow return values to propagate out of semilattice::cast(). · a78bb016
  Petr Rockai authored Jan 24, 2020
  
  a78bb016
- lamp: Do not try to lift integers (bitwidths &c.) in semilattice::in_domain(). · 08d46dbe
  Petr Rockai authored Jan 24, 2020
  
  08d46dbe
- lamp: Assert (statically) that joins in semilattice::in_domain() are correct. · cd97fc00
  Petr Rockai authored Jan 24, 2020
  
  cd97fc00
- lamp: Specify the domains to use for lift() and any() in the trivial config. · 82726f92
  Petr Rockai authored Jan 24, 2020
  
  82726f92