git.libre-soc.org Git - cvc5.git/history - src/theory/logic

[cvc5.git] / src / theory / logic_info.cpp

2020-09-22	mudathirmahgoub	Add skeleton for theory of bags (multisets) (#5100)	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-02	Andres Noetzli	[API] Fix Python Examples (#4943)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-08-13	Andrew Reynolds	Properly implement logic info for separation logic...	blob \| commitdiff \| raw \| diff to current
2019-07-29	Andrew Reynolds	Support get-abduct smt2 command (#3122)	blob \| commitdiff \| raw \| diff to current
2019-06-04	Andres Noetzli	Enable proof checking for QF_LRA benchmarks (#2928)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-06-05	Andres Noetzli	Only enable transcendentals if logic is N[I]RAT (#2052)	blob \| commitdiff \| raw \| diff to current
2018-05-14	Martin	Floating point theory solver based on SymFPU (#1895)	blob \| commitdiff \| raw \| diff to current
2018-05-03	Andrew Reynolds	Support HORN logic string (#1849)	blob \| commitdiff \| raw \| diff to current
2018-03-07	Mathias Preiner	Make statistics output consistent. (#1647)	blob \| commitdiff \| raw \| diff to current
2018-01-16	Tim King	Removing more miscellaneous throw specifiers. (#1509)	blob \| commitdiff \| raw \| diff to current
2017-11-05	Andrew Reynolds	Make higher-order a flag in logic info. (#1318)	blob \| commitdiff \| raw \| diff to current
2017-11-04	Andrew Reynolds	Suppport SAT logic (#1310)	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-07-05	ajreynol	Fix for logic info, update regressions. Update casc...	blob \| commitdiff \| raw \| diff to current
2017-07-05	ajreynol	Non-linear supported in ALL logics. Minor fixes for...	blob \| commitdiff \| raw \| diff to current
2016-11-18	Clark Barrett	Merge pull request #110 from 4tXJ7f/fix_makefiles	blob \| commitdiff \| raw \| diff to current
2016-11-18	Clark Barrett	Add support for set-logic ALL, fix compiler error in...	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-06-20	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-06-18	ajreynol	Fix unit test.	blob \| commitdiff \| raw \| diff to current
2016-06-17	ajreynol	Cleanup from last commit, treat sep.nil as variable...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2015-12-24	Tim King	Miscellaneous fixes	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current
2015-05-12	barrettcw	Merge pull request #74 from finnhaedicke/namespace_minisat	blob \| commitdiff \| raw \| diff to current
2015-04-23	Clark Barrett	Merge branch 'master' into google	blob \| commitdiff \| raw \| diff to current
2015-04-23	Liana Hadarean	Added option for --check-unsat-cores and various core...	blob \| commitdiff \| raw \| diff to current
2014-12-04	Martin Brain	Floating point infrastructure.	blob \| commitdiff \| raw \| diff to current
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #44 from mdeters/prio-queue-updates	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #45 from mdeters/turn-off-strings-exp	blob \| commitdiff \| raw \| diff to current
2014-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-30	Kshitij Bansal	Use FS as the set-logic string for theory of sets	blob \| commitdiff \| raw \| diff to current
2014-04-28	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-04-10	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-04-10	Andrew Reynolds	Add support for cardinality constraints logic UFC....	blob \| commitdiff \| raw \| diff to current
2014-04-06	Tim King	Merge pull request #21 from pcc/ite-fix	blob \| commitdiff \| raw \| diff to current
2014-04-01	Tim King	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-27	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-26	Morgan Deters	Fix an off-the-end string pointer bug (showed up only...	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-03-11	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	Merge pull request #10 from kbansal/sets-for-merge	blob \| commitdiff \| raw \| diff to current
2014-02-21	Kshitij Bansal	add new theory (sets)	blob \| commitdiff \| raw \| diff to current
2014-01-08	Morgan Deters	Fix LogicInfo parsing for string logics	blob \| commitdiff \| raw \| diff to current
2014-01-08	Morgan Deters	Fix LogicInfo parsing for string logics	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-13	Kshitij Bansal	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-09-11	Tianyi Liang	Theory of strings.	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-07-22	Morgan Deters	Allow BV and DT in either order in the logic string	blob \| commitdiff \| raw \| diff to current
2013-05-22	Andrew Reynolds	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-05-20	Morgan Deters	Better error on invalid logic strings.	blob \| commitdiff \| raw \| diff to current
2013-05-17	Morgan Deters	Better error on invalid logic strings.	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update 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 Deters	Updates to Clark's commit r4540:	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-08-03	Morgan Deters	Comparisons for LogicInfos, and associated tests	blob \| commitdiff \| raw \| diff to current
2012-06-07	Morgan Deters	LogicInfo locking implemented, and some initialization...	blob \| commitdiff \| raw \| diff to current
2012-04-28	Morgan Deters	New LogicInfo functionality.	blob \| commitdiff \| raw \| diff to current

RSS Atom