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

2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw
2010-05-12	Christopher L. Conway	Adding ParserBuilder, reducing visibility of Parser...	blob \| commitdiff \| raw \| diff to current
2010-05-12	Christopher L. Conway	true and false are only defined if the core theory...	blob \| commitdiff \| raw \| diff to current
2010-05-12	Christopher L. Conway	Adding class Smt2 to handle declaration of logic and...	blob \| commitdiff \| raw \| diff to current
2010-05-06	Christopher L. Conway	Adding --strict-parsing option	blob \| commitdiff \| raw \| diff to current
2010-04-29	Dejan Jovanović	Added the capability to construct expressions by passin...	blob \| commitdiff \| raw \| diff to current
2010-04-28	Christopher L. Conway	Refactoring Input/Parser code to support external manip...	blob \| commitdiff \| raw \| diff to current
2010-03-30	Christopher L. Conway	Merging from branches/antlr3 (r246:354)	blob \| commitdiff \| raw
2010-02-27	Christopher L. Conway	Adding --mmap option to use memory-mapped file input...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	* configure.ac: Remove doc/ from search path for Makefi...	blob \| commitdiff \| raw \| diff to current
2010-02-18	Christopher L. Conway	Adding --no-checking option to disable semantic checks...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	remove -- c++ -- emacs tag from source files (it...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	minor fix for update-copyright.pl; ran update-copyright...	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
2010-02-01	Dejan Jovanović	Fixing the CVC grammar for parsing Boolean expressions...	blob \| commitdiff \| raw \| diff to current
2009-12-18	Morgan Deters	more build system fix-ups	blob \| commitdiff \| raw \| diff to current
2009-12-18	Dejan Jovanović	Lots of parser changes to make Chris happy. Yet more...	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	blob \| commitdiff \| raw \| diff to current
2009-12-11	Dejan Jovanović	Extracted the public Expr and ExprManager interface...	blob \| commitdiff \| raw \| diff to current
2009-12-10	Dejan Jovanović	killing expr into node...	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-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	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	Morgan Deters	various fixes and updates to use and support parser	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	from meeting	blob \| commitdiff \| raw \| diff to current

RSS Atom