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

2010-02-22	Dejan Jovanović	finally works	commit \| commitdiff \| tree
2010-02-22	Dejan Jovanović	Merging from branch branches/Liana r241	commit \| commitdiff \| tree
2010-02-22	Dejan Jovanović	Small changes to the smt-engine, removed the assertions...	commit \| commitdiff \| tree
2010-02-16	Dejan Jovanović	removing assertion and warning that shouldn't be there...	commit \| commitdiff \| tree
2010-02-13	Dejan Jovanović	simplification minisat	commit \| commitdiff \| tree
2010-02-13	Dejan Jovanović	Improvements to CNF conversion when already in CNF	commit \| commitdiff \| tree
2010-02-12	Dejan Jovanović	build fix	commit \| commitdiff \| tree
2010-02-12	Dejan Jovanović	Fix to compile out Debug(...) << ... statements in...	commit \| commitdiff \| tree
2010-02-12	Dejan Jovanović	Changes to hashing that solve the xinetd boolean benchmark...	commit \| commitdiff \| tree
2010-02-11	Dejan Jovanović	svn ignore	commit \| commitdiff \| tree
2010-02-10	Dejan Jovanović	fixing annoying eclipse build settings, no more broken...	commit \| commitdiff \| tree
2010-02-09	Dejan Jovanović	Changes to the CNF conversion and the SAT solver. All...	commit \| commitdiff \| tree
2010-02-09	Dejan Jovanović	empty stubs for push and pop to fix the build fail	commit \| commitdiff \| tree
2010-02-08	Dejan Jovanović	Disabling the failing test case for the context.	commit \| commitdiff \| tree
2010-02-08	Dejan Jovanović	Fixing the test case, it had a unary or. The cnf converter...	commit \| commitdiff \| tree
2010-02-08	Dejan Jovanović	Push/Pop parsing and commands	commit \| commitdiff \| tree
2010-02-08	Dejan Jovanović	Moving the template stuff back into the header in order...	commit \| commitdiff \| tree
2010-02-04	Dejan Jovanović	beautification of the prop engine	commit \| commitdiff \| tree
2010-02-03	Dejan Jovanović	adding an option to minisat to not do any debug checks...	commit \| commitdiff \| tree
2010-02-03	Dejan Jovanović	ELSEIF support and parser debugging with '-d parser'	commit \| commitdiff \| tree
2010-02-03	Dejan Jovanović	simple ITE parsing	commit \| commitdiff \| tree
2010-02-03	Dejan Jovanović	context_mm testing	commit \| commitdiff \| tree
2010-02-03	Dejan Jovanović	some more tests for the context.	commit \| commitdiff \| tree
2010-02-02	Dejan Jovanović	(no commit message)	commit \| commitdiff \| tree
2010-02-02	Dejan Jovanović	for tim	commit \| commitdiff \| tree
2010-02-02	Dejan Jovanović	beginings of test for CDO. one fail	commit \| commitdiff \| tree
2010-02-02	Dejan Jovanović	Rethrow rewrite in antlr_parser. Taking LT(0) to locate...	commit \| commitdiff \| tree
2010-02-02	Dejan Jovanović	Adding support for escapes in string literals (strings...	commit \| commitdiff \| tree
2010-02-01	Dejan Jovanović	Fixing the CVC grammar for parsing Boolean expressions...	commit \| commitdiff \| tree
2010-01-29	Dejan Jovanović	fixing the last context build problem, it compiles now	commit \| commitdiff \| tree
2009-12-18	Dejan Jovanović	More fixes fot the parser tests.	commit \| commitdiff \| tree
2009-12-18	Dejan Jovanović	Changing some deatils on the parser. Now we know we...	commit \| commitdiff \| tree
2009-12-18	Dejan Jovanović	More fixes	commit \| commitdiff \| tree
2009-12-18	Dejan Jovanović	Changes to the parser tests to make them compile.	commit \| commitdiff \| tree
2009-12-18	Dejan Jovanović	Lots of parser changes to make Chris happy. Yet more...	commit \| commitdiff \| tree
2009-12-11	Dejan Jovanović	Extracted the public Expr and ExprManager interface...	commit \| commitdiff \| tree
2009-12-10	Dejan Jovanović	killing expr into node...	commit \| commitdiff \| tree
2009-12-09	Dejan Jovanović	A mess of changes in the expression manager, simple...	commit \| commitdiff \| tree
2009-12-07	Dejan Jovanović	antlr parser for the cvc4 language (boolean only)	commit \| commitdiff \| tree
2009-12-06	Dejan Jovanović	Big chunk of changes:	commit \| commitdiff \| tree
2009-12-04	Dejan Jovanović	More changes to configure.ac to include the smt grammar...	commit \| commitdiff \| tree
2009-12-04	Dejan Jovanović	Forgot to commit changes to configure.ac	commit \| commitdiff \| tree
2009-12-04	Dejan Jovanović	Adding support for ANTLR checking in autogen.sh (config...	commit \| commitdiff \| tree
2009-12-03	Dejan Jovanović	Eclipse CVC4 settings (with code style)	commit \| commitdiff \| tree
2009-12-01	Dejan Jovanović	svignore for parser and util	commit \| commitdiff \| tree
2009-11-28	Dejan Jovanović	Added an EmptyCommand and a CommandSequence commands...	commit \| commitdiff \| tree
2009-11-26	Dejan Jovanović	Commands and the eclipse C++ project settings.	commit \| commitdiff \| tree
2009-11-26	Dejan Jovanović	Enough parsing for tonight. Added:	commit \| commitdiff \| tree

RSS Atom