projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
finally works
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