projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add support for set-logic ALL, fix compiler error in GCC 6.1
[cvc5.git] / src / theory / logic_info.cpp
2016-11-18 Clark BarrettAdd support for set-logic ALL, fix compiler error in... blob | commitdiff | raw
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-06-18 ajreynolFix unit test. blob | commitdiff | raw | diff to current
2016-06-17 ajreynolCleanup from last commit, treat sep.nil as variable... blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2016-01-28 Tim KingAdding listeners to Options. blob | commitdiff | raw | diff to current
2015-12-24 Tim KingMiscellaneous fixes blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat blob | commitdiff | raw | diff to current
2015-04-23 Clark BarrettMerge branch 'master' into google blob | commitdiff | raw | diff to current
2015-04-23 Liana HadareanAdded option for --check-unsat-cores and various core... blob | commitdiff | raw | diff to current
2014-12-04 Martin BrainFloating point infrastructure. blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets blob | commitdiff | raw | diff to current
2014-06-30 Kshitij BansalUse FS as the set-logic string for theory of sets blob | commitdiff | raw | diff to current
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... blob | commitdiff | raw | diff to current
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-04-10 Andrew ReynoldsAdd support for cardinality constraints logic UFC.... blob | commitdiff | raw | diff to current
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersFix an off-the-end string pointer bug (showed up only... blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge blob | commitdiff | raw | diff to current
2014-02-21 Kshitij Bansaladd new theory (sets) blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersFix LogicInfo parsing for string logics blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersFix LogicInfo parsing for string logics blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-09-13 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-09-11 Tianyi LiangTheory of strings. blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-22 Morgan DetersAllow BV and DT in either order in the logic string blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersBetter error on invalid logic strings. blob | commitdiff | raw | diff to current
2013-05-17 Morgan DetersBetter error on invalid logic strings. blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-11-26 Dejan Jovanovićfixup for incremental solving blob | commitdiff | raw | diff to current
2012-11-17 Morgan Deters* Fix for bug 445 agreed to in meeting 11/13/2012:... blob | commitdiff | raw | diff to current
2012-11-10 Morgan DetersUpdates to Clark's commit r4540: blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-28 Morgan Detersrename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-08-03 Morgan DetersComparisons for LogicInfos, and associated tests blob | commitdiff | raw | diff to current
2012-06-07 Morgan DetersLogicInfo locking implemented, and some initialization... blob | commitdiff | raw | diff to current
2012-04-28 Morgan DetersNew LogicInfo functionality. blob | commitdiff | raw | diff to current