summaryrefslogtreecommitdiff
path: root/src/preprocessing/passes/sygus_inference.cpp
AgeCommit message (Expand)Author
2020-09-02(proof-new) Support proofs of quantifier instantiation (#5001)Andrew Reynolds
2020-08-18Split SygusSolver from SmtEngine (#4891)Andrew Reynolds
2020-07-15Use Nodes for SmtEngine assertions (#4752)Andres Noetzli
2020-07-13Minor refactoring of subsolver initialization (#4731)Andrew Reynolds
2020-07-07Transfer ownership of internal Options from NodeManager to SmtEngine (#4682)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-03-20Fix variable shadowing issue in sygus-inference (#4121)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2019-12-02Fix case of higher-order + sygus inference (#3509)Andrew Reynolds
2019-11-27Fix sygus inference for choice functions introduced at preprocess (#3500)Andrew Reynolds
2019-10-08Limit cases of sygus inference based on type (#3370)Andrew Reynolds
2019-08-20Fixes for sygus inference on quantifier free problems (#3202)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2018-10-02Make registration of preprocessing passes explicit (#2564)Andres Noetzli
2018-10-01Refactor preprocessing pass registration (#2468)Andres Noetzli
2018-08-20 Make sygus inference a preprocessing pass (#2334)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback