Commits · 624dbcf264a0756f0142b7b9c65c06da74f7590f · paradise / mirror / DIVINE · GitLab

Jan 25, 2020
- 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
- lamp: Add a single-domain configuration for the unit domain. · 8bb25802
  Petr Rockai authored Jan 24, 2020
  
  8bb25802
- lamp: Add a 'symbolic' configuration (with 'term' as its only domain). · e770ee2b
  Petr Rockai authored Jan 24, 2020
  
  e770ee2b
- lamp: Add a wrapper for zfit. · f8e32980
  Petr Rockai authored Jan 24, 2020
  
  f8e32980
- bricks: Add a missing #include of brick-assert to brick-cons. · 193248ae
  Petr Rockai authored Jan 24, 2020
  
  193248ae
- bricks: Do not run a redundant sort after erasing an element from an array_set. · e190834f
  Petr Rockai authored Jan 24, 2020
  
  e190834f
- bricks: Make singleton() noexcept when possible (along with its destructor). · a547dd9a
  Petr Rockai authored Jan 24, 2020
  
  a547dd9a
- bricks: Add an index_of< T > variable template to cons lists. · 3466a5d0
  Petr Rockai authored Jan 24, 2020
  
  3466a5d0