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

2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw
2013-06-25	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw
2013-06-19	Morgan Deters	Merge branch '1.2.x'	blob \| commitdiff \| raw
2013-06-06	Dejan Jovanović	IDL example theory (to be used with --use-theory=idl).	blob \| commitdiff \| raw
2012-05-08	Liana Hadarean	Merging in bvprop branch, with proper bit-vector propag...	blob \| commitdiff \| raw \| diff to current
2012-03-22	Dejan Jovanović	some improvements to the sharing mechanism/interface	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
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-03-30	Christopher L. Conway	Merging from branches/antlr3 (r246:354)	blob \| commitdiff \| raw \| diff to current
2010-03-10	Christopher L. Conway	Adding preliminary let/flet support to SMT parser ...	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

RSS Atom