git.libre-soc.org Git - cvc5.git/history

2012-03-26	Dejan Jovanović	Global registry of SAT solvers, where they are register...	blob \| commitdiff \| raw
2012-03-26	Dejan Jovanović	more datail from the build failure	blob \| commitdiff \| raw \| diff to current
2012-03-08	Dejan Jovanović	Removing QUICK_CHECK, and other unused ones, from the...	blob \| commitdiff \| raw \| diff to current
2012-03-02	Dejan Jovanović	CDMap -> CDHashMap	blob \| commitdiff \| raw \| diff to current
2011-07-09	Dejan Jovanović	surprize surprize	blob \| commitdiff \| raw \| diff to current
2010-05-13	Christopher L. Conway	Minor refactorings to PropEngine, SatSolver	blob \| commitdiff \| raw \| diff to current
2010-04-29	Christopher L. Conway	First draft implementation of SMT v2 parser	blob \| commitdiff \| raw \| diff to current
2010-04-15	Christopher L. Conway	Removing horrible, system-locking option from Eclipse...	blob \| commitdiff \| raw \| diff to current
2010-04-14	Dejan Jovanović	Marging from types 404:415, changes: Massive	blob \| commitdiff \| raw \| diff to current
2010-02-10	Dejan Jovanović	fixing annoying eclipse build settings, no more broken...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Christopher L. Conway	CvcParserBlack and supporting Makefile changes	blob \| commitdiff \| raw \| diff to current
2009-12-07	Dejan Jovanović	antlr parser for the cvc4 language (boolean only)	blob \| commitdiff \| raw \| diff to current
2009-12-06	Dejan Jovanović	Big chunk of changes:	blob \| commitdiff \| raw \| diff to current
2009-12-03	Dejan Jovanović	Eclipse CVC4 settings (with code style)	blob \| commitdiff \| raw \| diff to current
2009-11-26	Dejan Jovanović	Commands and the eclipse C++ project settings.	blob \| commitdiff \| raw \| diff to current

RSS Atom