projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Models as (#5581)
[cvc5.git] / src / printer / smt2 /
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) tree | commitdiff
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) tree | commitdiff
2018-05-04 Andrew ReynoldsDo not print tuples. (#1874) tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
2018-03-09 Aina NiemetzAdd support for SMT-LIB v2.5 command get-unsat-assumpti... tree | commitdiff
2018-03-05 Aina NiemetzAdd support for check-sat-assuming. (#1637) tree | commitdiff
2018-02-07 Andrew ReynoldsAdd remaining transcendental functions (#1551) tree | commitdiff
2018-02-05 Tim KingCleaning up the printing of theory model representative... tree | commitdiff
2017-12-28 Arjun ViswanathanRel smt parser (#1446) tree | commitdiff
2017-12-07 Andrew ReynoldsAdd command for define-fun-rec and add to API (#1412) tree | commitdiff
2017-11-28 Tim KingRemoving throw specifiers from internal Printer hierarc... tree | commitdiff
2017-11-23 Haniel BarbosaConverting defined functions and let expressions from... tree | commitdiff
2017-11-22 Andrew ReynoldsSygus Lambda Grammars (#1390) tree | commitdiff
2017-11-15 Andrew ReynoldsSygus print callbacks (#1348) tree | commitdiff
2017-11-10 Andrew ReynoldsPrinting for higher-order (#1347) tree | commitdiff
2017-11-09 Andrew ReynoldsHigher-order prep (#1338) tree | commitdiff
2017-10-27 Andrew ReynoldsRefactor theory model (#1236) tree | commitdiff
2017-10-18 Andrew ReynoldsStrings API escape sequences (#1245) tree | commitdiff
2017-10-11 Andrew ReynoldsMove unsat core names to smt engine (#1192) tree | commitdiff
2017-10-10 Andrew ReynoldsSplit term database (#1206) tree | commitdiff
2017-10-03 MartinAdd 5 FP kinds for partial to total fn conversion ... tree | commitdiff
2017-09-19 Andres NoetzliFix issue #1074, improve non-fatal error handling ... tree | commitdiff
2017-09-19 MartinFloating point symfpu support (#1103) tree | commitdiff
2017-09-05 Andrew ReynoldsRemove support for conversions between uint32/uint16... tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-12 ajreynolMake type rules more strict for operators whose type... tree | commitdiff
2017-07-10 ajreynolMerge ntExt branch. Adds support for transcendental... tree | commitdiff
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-21 ajreynolProperly handle subtypes in smt2 printer. tree | commitdiff
2017-05-30 guykatzzprint only labeled assertions as part of the unsat... tree | commitdiff
2017-05-28 Clark BarrettMerge pull request #164 from CVC4/fix_comp tree | commitdiff
2017-05-25 ajreynolQuote unsat core names if applicable, fixes bug 816. tree | commitdiff
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master tree | commitdiff
2017-04-20 ajreynolMinor fixes. tree | commitdiff
2017-04-14 ajreynolFix nullary operator printers, minor. tree | commitdiff
2017-04-04 Clark BarrettMerge pull request #141 from 4tXJ7f/remove_def tree | commitdiff
2017-04-03 Andrew ReynoldsMerge pull request #142 from timothy-king/nlAlgMerge tree | commitdiff
2017-04-03 Tim KingAdding a model based axiom instantiation scheme for... tree | commitdiff
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... tree | commitdiff
2017-03-07 ajreynolMore fixes for printing/parsing sets, fix kind name. tree | commitdiff
2017-03-06 ajreynolSupport for set compliment and universe set. Simplify... tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2017-01-04 ajreynolFix for tff type declarations inTPTP parser, fixes... tree | commitdiff
2016-11-28 Clark BarrettMerge pull request #112 from 4tXJ7f/fix_mult_distrib tree | commitdiff
2016-11-22 ajreynolFix smt2 and cvc printers for testers when output and... tree | commitdiff
2016-11-01 ajreynolWorking memory leak free version, changes interface... tree | commitdiff
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-07-20 ajreynolInfrastructure for storing and printing heap models... tree | commitdiff
2016-07-06 ajreynolAdd comment field for model, resolves hack for printing... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-17 ajreynolCleanup from last commit, treat sep.nil as variable... tree | commitdiff
2016-06-17 ajreynolSupport for separation logic. Enable cbqi by default... tree | commitdiff
2016-05-06 ajreynolMinor clean up, fixes related to sygus. tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-15 PaulMengchange transitive closure operator name to TCLOUSRE tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-09 Kshitij Bansalcardinality operation for finite sets (based on my... tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-03-23 guykatzzMerge pull request #82 from CVC4/master_for_merge tree | commitdiff
2016-03-23 Guysquash-merge from proof branch tree | commitdiff
2016-02-15 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-02-15 PaulMengextended smt parser for the finite relations tree | commitdiff
2016-02-15 ajreynolEliminate most of the internal representation infrastru... tree | commitdiff
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage. tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-11-26 ajreynolFront-end support for get-value of sort cardinality... tree | commitdiff
2015-10-15 ajreynolChange semantics of str.substr to allow endpoint out... tree | commitdiff
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-07-20 ajreynolSquashed merge of SygusComp 2015 branch. tree | commitdiff
2015-06-30 Kshitij Bansalfix smt2 parameterized sort printing tree | commitdiff
2015-06-12 ajreynolMake sygus an output language. Parse declare-fun in... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-28 ajreynolFix smt2 printing of fun-def. Simplification of mbqi... tree | commitdiff
2015-04-02 Kshitij BansalMerge pull request #71 from kbansal/const-are-triggers tree | commitdiff
2015-03-28 Tianyi Liangprinter change for string smtlib2 tree | commitdiff
2015-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2015-01-19 Tim KingAdding tests for get-value output for arithmetic. tree | commitdiff
2015-01-11 Tianyi Liangadjusted to both v2.0 and v2.5 string literals tree | commitdiff
2015-01-09 Tianyi Liangblocked unprintable characters in string literals; tree | commitdiff
2015-01-08 Tianyi Liangswitch ascii encoding to unsigned char tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-06 Tianyi LiangAdded C++/Java api examples; tree | commitdiff
2014-12-04 Martin BrainFloating point infrastructure. tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-17 Liana HadareanResource-limiting work. tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5... tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
next