Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-05-25 | Reenable repair const (#1983) | Andrew Reynolds | |
2018-05-22 | Repair constants using symbolic constructors (#1960) | Andrew Reynolds | |
2018-05-18 | changing default (#1944) | Haniel Barbosa | |
2018-05-17 | Option to force return values of Bool functions to be constant in CegisUnif ↵ | Haniel Barbosa | |
(#1930) | |||
2018-05-17 | Cegis-specific infrastructure (#1933) | Andrew Reynolds | |
2018-05-14 | Add regressions, change defaults. (#1911) | Andrew Reynolds | |
2018-05-10 | Sygus repair constants (#1812) | Andrew Reynolds | |
2018-05-09 | Better option names for PBE (#1891) | Andrew Reynolds | |
2018-04-27 | New module for synthesizing functions in a data-driven SyGuS approach (#1819) | Haniel Barbosa | |
2018-04-20 | Reenable filtering based on ordering in sygus sampler (#1784) | Andrew Reynolds | |
2018-04-03 | Option to turn arbitrary input into sygus (#1704) | Andrew Reynolds | |
Preprocessing pass that turns an arbitrary (e.g. smt2) input into a sygus conjecture, which is helpful for Horn clause solving. This includes improvements to the robustness of the sygus solver. | |||
2018-04-02 | Improvements to extended rewriter for Booleans and ITE (#1705) | Andrew Reynolds | |
2018-03-27 | Fix for --sygus-rr-synth (#1723) | Andrew Reynolds | |
2018-03-26 | Synth-check and accelerate options for sygus-rr (#1691) | Andrew Reynolds | |
2018-03-26 | Abort when sygus-verify finds unsoundness. (#1717) | Andrew Reynolds | |
2018-03-23 | Remove unused code (#1700) | Andrew Reynolds | |
2018-03-23 | Enable post-condition strenghtening by default for non-syntax restricted ↵ | Andrew Reynolds | |
invariant synthesis (#1703) | |||
2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner | |
This commit refactors code generation for options. It uses a new configuration format for defining options (*.toml) and a new Python script mkoptions.py to generate the source code and option documentation. The option behavior did not change for most of the options, except that for bool --enable-/--disable- long options enable/disable was removed. E.g. --enable-miplib-trick and --disable-miplib-trick got changed to --miplib-trick and --no-miplib-trick. This commit fixes also an issues with set-option/get-option via the SMT2 interface. Before long options were only accessible if the name included the =ARG part. |