projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix eXecutable bit on a script
[cvc5.git]
/
src
/
printer
/
2012-06-22
François Bobot
TPTP: add parser for cnf and fof
tree
|
commitdiff
2012-06-14
Morgan Deters
some changes to make CVC4 work nicely with trace execut...
tree
|
commitdiff
2012-06-13
Clark Barrett
Fixes lots of problems in bv rewrite rules and adds...
tree
|
commitdiff
2012-06-11
Morgan Deters
Merge from quantifiers2-trunkmerge branch.
tree
|
commitdiff
2012-06-11
Morgan Deters
fix issue referred to in bug 352 regarding infinite...
tree
|
commitdiff
2012-06-09
Morgan Deters
Cleanup and comments for the dag-ifier. Also some...
tree
|
commitdiff
2012-06-09
Morgan Deters
Dagification of output expressions.
tree
|
commitdiff
2012-06-08
Morgan Deters
Extend Printer infrastructure also to the "Result"...
tree
|
commitdiff
2012-06-07
Morgan Deters
Adding EchoCommand and associated printer and parser...
tree
|
commitdiff
2012-05-18
Tim King
This commit removes the dead psuedoboolean code.
tree
|
commitdiff
2012-05-17
Liana Hadarean
Fixed bug 338:
tree
|
commitdiff
2012-05-15
Tim King
This commit removes the CONST_INTEGER kind from nodes...
tree
|
commitdiff
2012-04-06
François Bobot
* Smt2 printer for datatypes
tree
|
commitdiff
2012-04-06
Morgan Deters
* Fix ITEs and functions in CVC language printer.
tree
|
commitdiff
2012-03-01
Morgan Deters
Partial merge from kind-backend branch, including Minis...
tree
|
commitdiff
2012-02-08
Tim King
Number of changes to cvc_printer.cpp. Specialized the...
tree
|
commitdiff
2012-02-07
Dejan Jovanović
fixing some missing stuff
tree
|
commitdiff
2012-02-05
Dejan Jovanović
changes to the cvc4 language printer, so that it actual...
tree
|
commitdiff
2011-12-14
Morgan Deters
minor fixes to printing and parsing of CVC-language...
tree
|
commitdiff
2011-12-06
Morgan Deters
oops, removing some integer operations that leaked...
tree
|
commitdiff
2011-12-06
Morgan Deters
fix errors in smt-lib2 output; needed for debugging
tree
|
commitdiff
2011-11-22
Morgan Deters
More language bindings work:
tree
|
commitdiff
2011-10-21
Morgan Deters
some printing and parser fixes for problems recently...
tree
|
commitdiff
2011-09-16
Morgan Deters
fix an oversight in the language printers
tree
|
commitdiff
2011-09-02
Morgan Deters
Merge from my post-smtcomp branch. Includes:
tree
|
commitdiff
2011-09-02
Morgan Deters
Partial merge of integers work; this is simple B&B...
tree
|
commitdiff
2011-07-11
Morgan Deters
merge from symmetry branch
tree
|
commitdiff
2011-05-05
Morgan Deters
Merge from nonclausal-simplification-v2 branch:
tree
|
commitdiff
2011-05-01
Morgan Deters
minor fixes, plus experimental readline support in...
tree
|
commitdiff
2011-04-23
Morgan Deters
* reviewed BooleanSimplification, added documentation...
tree
|
commitdiff
2011-04-20
Morgan Deters
numerous bugfixes
tree
|
commitdiff
2011-04-20
Morgan Deters
Minor mixed-bag commit. Expected performance impact...
tree
|
commitdiff
2011-04-20
Morgan Deters
Tuesday end-of-day commit.
tree
|
commitdiff
2011-04-18
Morgan Deters
more work on CVC language
tree
|
commitdiff
2011-04-18
Morgan Deters
mostly CVC presentation language parsing and printing
tree
|
commitdiff
2011-04-18
Morgan Deters
Partial merge from datatypes-merge branch:
tree
|
commitdiff
2011-04-14
Morgan Deters
Three things:
tree
|
commitdiff
2011-04-10
Morgan Deters
merge from replay branch
tree
|
commitdiff
2011-03-25
Morgan Deters
This is a merge from the "theoryfixes+cdattrhash" branc...
tree
|
commitdiff
2010-12-14
Morgan Deters
congruence closure module now supports things other...
tree
|
commitdiff
2010-11-16
Morgan Deters
fix function signatures
tree
|
commitdiff
2010-11-15
Morgan Deters
cleanup from today's commits: delegate as-yet-unimpleme...
tree
|
commitdiff
2010-11-15
Morgan Deters
Pretty-printer infrastructure created (in src/printer...
tree
|
commitdiff