projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix eXecutable bit on a script
[cvc5.git] / src / printer /
2012-06-22 François BobotTPTP: add parser for cnf and fof tree | commitdiff
2012-06-14 Morgan Deterssome changes to make CVC4 work nicely with trace execut... tree | commitdiff
2012-06-13 Clark BarrettFixes lots of problems in bv rewrite rules and adds... tree | commitdiff
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. tree | commitdiff
2012-06-11 Morgan Detersfix issue referred to in bug 352 regarding infinite... tree | commitdiff
2012-06-09 Morgan DetersCleanup and comments for the dag-ifier. Also some... tree | commitdiff
2012-06-09 Morgan DetersDagification of output expressions. tree | commitdiff
2012-06-08 Morgan DetersExtend Printer infrastructure also to the "Result"... tree | commitdiff
2012-06-07 Morgan DetersAdding EchoCommand and associated printer and parser... tree | commitdiff
2012-05-18 Tim KingThis commit removes the dead psuedoboolean code. tree | commitdiff
2012-05-17 Liana HadareanFixed bug 338: tree | commitdiff
2012-05-15 Tim KingThis 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 DetersPartial merge from kind-backend branch, including Minis... tree | commitdiff
2012-02-08 Tim KingNumber 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 Detersminor fixes to printing and parsing of CVC-language... tree | commitdiff
2011-12-06 Morgan Detersoops, removing some integer operations that leaked... tree | commitdiff
2011-12-06 Morgan Detersfix errors in smt-lib2 output; needed for debugging tree | commitdiff
2011-11-22 Morgan DetersMore language bindings work: tree | commitdiff
2011-10-21 Morgan Deterssome printing and parser fixes for problems recently... tree | commitdiff
2011-09-16 Morgan Detersfix an oversight in the language printers tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff
2011-09-02 Morgan DetersPartial merge of integers work; this is simple B&B... tree | commitdiff
2011-07-11 Morgan Detersmerge from symmetry branch tree | commitdiff
2011-05-05 Morgan DetersMerge from nonclausal-simplification-v2 branch: tree | commitdiff
2011-05-01 Morgan Detersminor fixes, plus experimental readline support in... tree | commitdiff
2011-04-23 Morgan Deters* reviewed BooleanSimplification, added documentation... tree | commitdiff
2011-04-20 Morgan Detersnumerous bugfixes tree | commitdiff
2011-04-20 Morgan DetersMinor mixed-bag commit. Expected performance impact... tree | commitdiff
2011-04-20 Morgan DetersTuesday end-of-day commit. tree | commitdiff
2011-04-18 Morgan Detersmore work on CVC language tree | commitdiff
2011-04-18 Morgan Detersmostly CVC presentation language parsing and printing tree | commitdiff
2011-04-18 Morgan DetersPartial merge from datatypes-merge branch: tree | commitdiff
2011-04-14 Morgan DetersThree things: tree | commitdiff
2011-04-10 Morgan Detersmerge from replay branch tree | commitdiff
2011-03-25 Morgan DetersThis is a merge from the "theoryfixes+cdattrhash" branc... tree | commitdiff
2010-12-14 Morgan Deterscongruence closure module now supports things other... tree | commitdiff
2010-11-16 Morgan Detersfix function signatures tree | commitdiff
2010-11-15 Morgan Deterscleanup from today's commits: delegate as-yet-unimpleme... tree | commitdiff
2010-11-15 Morgan DetersPretty-printer infrastructure created (in src/printer... tree | commitdiff