All pull requests

Pull requests

• duplicate SpecialInputs fix, added tunable input threshold

  #871·liamsemeria opened Jun 15, 2023·

  ·
  1

• Add instructions for use with Rust/Cargo

  #855·saethlin opened Apr 14, 2022·

  ·
  2

• readme formatting

  #852·jakevossen5 opened Mar 1, 2022·

  ·
  1

• In-process Z3 interface

  #849·manasij7479 opened Sep 8, 2021Contributor·

  ·

• Symbolize multiple LHS consts

  #807·manasij7479 opened Dec 2, 2020Contributor·

  ·
  6

• Generalize constants

  #806·manasij7479 opened Dec 2, 2020Contributor·

  ·

• Generalization tool

  #805·manasij7479 opened Dec 1, 2020Contributor·

  ·
  8

• handle freeze in alive double-check

  #752·zhengyang92 opened Apr 21, 2020Contributor·

  ·

• Do not generate inputs when PC has PHI

  #712·manasij7479 opened Feb 12, 2020Contributor·

  ·
  3

• emit phi

  #687·zhengyang92 opened Jan 15, 2020Contributor·

  ·

• Restrict input bits for analysis implementations in the presence of PC

  #659·manasij7479 opened Nov 16, 2019Contributor·

  ·
  16

• Introduce pruning in the constant synthesis loop

  #460·manasij7479 opened Feb 20, 2019Contributor·

  ·
  1

• WIP: Initial version of the z3 expression builder

  #441·rsas opened Feb 11, 2019Contributor·

  ·
  2

• Support redis versioning

  #424·pranavk opened Jan 26, 2019Contributor·

  ·
  30

• Makefile version of build_deps.sh

  #417·manasij7479 opened Jan 18, 2019Contributor·

  ·
  24

• Floating point cost values with some heuristics for ExhaustiveSynthesis

  #399·manasij7479 opened Dec 31, 2018Contributor·

  ·
  17

• Multiple RHS Support

  #367·zhengyang92 opened Oct 10, 2018Contributor·

  ·
  16

• Towards Handling Big LHS

  #361·zhengyang92 opened Oct 3, 2018Contributor·

  ·
  14

• Crash with report when call getValue() on operands returns null

  #355·zhengyang92 opened Sep 28, 2018Contributor·

  ·
  5

• WIP: Use LHS components as synthesis components

  #327·rsas opened May 11, 2018Contributor·

  ·
  5