summaryrefslogtreecommitdiff
path: root/src/smt/process_assertions.cpp
AgeCommit message (Expand)Author
2020-10-19(proof-new) Update preprocessing pass context for proofs (#5298)Andrew Reynolds
2020-10-06bv-to-int: change order of passes (#5208)yoni206
2020-10-01(proof-new) Preprocessing passes use proper interfaces to assertions pipeline...Andrew Reynolds
2020-09-24 Function definition fmf preprocessing pass (#5064)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-16Dump commands in internal code using command printing functions. (#5040)Abdalrhman Mohamed
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-21Remove BV equality slicer (#4928)Andrew Reynolds
2020-08-13Split SmtSolver from SmtEngine (#4880)Andrew Reynolds
2020-08-11Split SmtEngineState from SmtEngine (#4855)Andrew Reynolds
2020-08-05Split Assertions from SmtEngine (#4788)Andrew Reynolds
2020-07-11Changing bv_to_int options (#4721)yoni206
2020-07-10(proof-new) Update Theory interface for proof-new (#4648)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-04-08Split ProcessAssertions module from SmtEngine (#4210)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback