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

2010-04-01	Christopher L. Conway	Parser tweaks to address review	blob \| commitdiff \| raw
2010-04-01	Morgan Deters	PARSER STUFF:	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-02-27	Christopher L. Conway	Adding --mmap option to use memory-mapped file input...	blob \| commitdiff \| raw \| diff to current
2010-02-06	Christopher L. Conway	Preliminary support for types in parser	blob \| commitdiff \| raw \| diff to current
2010-02-03	Morgan Deters	Addressed many of the concerns of bug 10 (build system...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	more build system fix-ups	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-16	Morgan Deters	Fixes to the build system:	blob \| commitdiff \| raw \| diff to current
2009-12-09	Morgan Deters	some fixes and organizational adjustments to assert...	blob \| commitdiff \| raw \| diff to current
2009-12-08	Morgan Deters	parser build fixes	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-05	Morgan Deters	more build system work	blob \| commitdiff \| raw \| diff to current
2009-12-04	Morgan Deters	more build system work	blob \| commitdiff \| raw \| diff to current
2009-12-04	Dejan Jovanović	Adding support for ANTLR checking in autogen.sh (config...	blob \| commitdiff \| raw \| diff to current
2009-12-03	Morgan Deters	parsing/expr/command/result/various other fixes	blob \| commitdiff \| raw \| diff to current
2009-11-26	Dejan Jovanović	Enough parsing for tonight. Added:	blob \| commitdiff \| raw \| diff to current
2009-11-25	Morgan Deters	additional work on parser hookup, configuration + build	blob \| commitdiff \| raw \| diff to current
2009-11-24	Christopher L. Conway	Partial parser for booleans	blob \| commitdiff \| raw \| diff to current
2009-11-23	Morgan Deters	fixups, file comments	blob \| commitdiff \| raw \| diff to current
2009-11-20	Morgan Deters	fixes to build/test system	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	fixes/redesign of source layout from meeting	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	another pass	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	fixes and additions	blob \| commitdiff \| raw \| diff to current
2009-11-12	Morgan Deters	parser, minisat, other things..	blob \| commitdiff \| raw \| diff to current

RSS Atom