Commits · 272a7a9092ee782f4de789fbce7656fc6a91acd0 · paradise / mirror / DIVINE · GitLab

Jan 25, 2020
- 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
- bricks: Turn brq::primary into a constexpr value. · b2919841
  Petr Rockai authored Jan 24, 2020
  
  b2919841
- bricks: Add 'noexcept' to brick-trace functions (where applicable). · fb8a6dd3
  Petr Rockai authored Jan 24, 2020
  
  fb8a6dd3
- bricks: Make split(), starts_with() and ends_with() noexcept. · c2052ab2
  Petr Rockai authored Jan 24, 2020
  
  c2052ab2
- bricks: Add 'bitcast_mem( char *, T )' to brick-bitlevel. · c9e1fb31
  Petr Rockai authored Jan 24, 2020
  
  c9e1fb31
- lart: Disable the UndefLifting pass since it's currently broken. · ff462ee6
  Petr Rockai authored Jan 24, 2020
  
  ff462ee6
- lart: Temporarily disable lowering of memcpy intrinsics before DFA. · d23dceca
  Petr Rockai authored Jan 24, 2020
  
  d23dceca
- lart: Add an assertion to guard a possible out-of-bounds memory access. · 2cbfe058
  Petr Rockai authored Jan 24, 2020
  
  2cbfe058
- lart: Drop an unused function from synthesize.cpp. · 30d46cfe
  Petr Rockai authored Jan 24, 2020
  
  30d46cfe