Commits · 530d0e4d956046dc71cb57b16a073129870ae1b1 · paradise / mirror / DIVINE · GitLab

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
- lart: Do not treat GEP operations as 'faultable'. · 7b707c49
  Petr Rockai authored Jan 24, 2020
  
  7b707c49
- lart: Construct a very simple load lifter around __lamp_load(). · c240ce49
  Petr Rockai authored Jan 24, 2020
  
  c240ce49
- lart: Re-use the generic binary lifter for stores as well. · 5897fd31
  Petr Rockai authored Jan 24, 2020
  
  5897fd31
- lart: Build the GEP lifter out of the generic binary template. · 98921e61
  Petr Rockai authored Jan 24, 2020
  
  98921e61
- lart: Rename Lifter::get_function_from_domain() to get_lamp_op(). · 28bc09cd
  Petr Rockai authored Jan 24, 2020
  
  28bc09cd
- lart: Use operation::impl metadata in Lifter::get_function_from_domain(). · 44b7d04b
  Petr Rockai authored Jan 24, 2020
  
  44b7d04b
- lart: Update a few synthetic calls to use the new __lamp_* functions. · 1484b7bf
  Petr Rockai authored Jan 24, 2020
  
  1484b7bf
- lart: Rename call_lifter() to call_lamp_op() to improve readability. · ce6eb03c
  Petr Rockai authored Jan 24, 2020
  
  ce6eb03c
- lamp: Add wrappers for basic operations on abstract arrays. · b339003e
  Petr Rockai authored Jan 24, 2020
  
  b339003e
- libc: Add a __flatten macro to sys/cdefs.h. · d65072cd
  Petr Rockai authored Jan 24, 2020
  
  d65072cd
- website: Make test timeouts stand out more on the status page. · af394ce8
  Petr Rockai authored Jan 24, 2020
  
  af394ce8