summaryrefslogtreecommitdiff
path: root/examples/sets-translate/sets_translate.cpp
AgeCommit message (Expand)Author
2019-04-30Fix use of APPLY kind in examplesfixExamplesAndres Noetzli
2019-03-26Update copyright headers.Aina Niemetz
2018-10-03Fix mem leak in sets_translate example. (#2589)Aina Niemetz
2018-08-08Plug solver API object into parser. (#2240)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-06-30fix sets-translateKshitij Bansal
2014-08-24fix type in sets_translateKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-06-25rename subseteq to subset in smtlib, all kinds and smt operator names are now...Kshitij Bansal
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij Bansal
2014-06-19basic fixes for sets translator, separate binariesKshitij Bansal
2014-06-08sets translate: a different translation using axiomsKshitij Bansal
2014-06-06sets translator: fix for dagsKshitij Bansal
2014-06-06Sets translate, and other short fixesKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback