summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/instantiate.cpp
AgeCommit message (Expand)Author
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-11Remove instantiation model true option (#4861)Andrew Reynolds
2020-07-13Debug instantiations output (#4739)Andrew Reynolds
2020-07-13Fix whitespace issue in instantiations output. (#4737)Andrew Reynolds
2020-07-13Statistics on instantiations per quantified formula. (#4719)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-04-14Fix relevant domain computation for nested quantifiers coming from CEGQI (#4235)Andrew Reynolds
2020-03-10Logic exception instead of assertion failure for instantiate (#4006)Andrew Reynolds
2020-03-09Remove instantiation propagator infrastructure (#3975)Andrew Reynolds
2020-02-26Initial work towards -Wshadow (#3817)Andrew Reynolds
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-01-22Fix subtyping for instantiations where internal representatives are chosen (#...Andrew Reynolds
2019-09-12Update to standard implementation of contains term (#3270)Andrew Reynolds
2019-09-11Infrastructure for instantiation rewriter (#3262)Andrew Reynolds
2019-08-05Remove forward declarations in quantifiers engine (#3156)Andrew Reynolds
2019-08-02Throw option exception when track inst lemmas is not used (#3145)Andrew Reynolds
2019-05-09Fixes for relational triggers (#2967)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2018-09-17Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)Andrew Reynolds
2018-09-10Squash implementation of counterexample-guided instantiation (#2423)Andrew Reynolds
2018-09-07 Make isClosedEnumerable a member of TypeNode (#2434)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-23Remove unused code (#1700)Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
2017-11-24(Refactor) Instantiate utility (#1387)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback