projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.4.x'
[cvc5.git] / src / util / output.cpp
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-21 Morgan Detersbetter verbosity support (so it's sensible when the... blob | commitdiff | raw | diff to current
2012-05-09 Morgan Deters--disable-tracing at configure time now disables Trace... blob | commitdiff | raw | diff to current
2012-03-09 Morgan DetersSome work on the dump infrastructure to support portfol... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-05-05 Morgan DetersMerge from nonclausal-simplification-v2 branch: blob | commitdiff | raw | diff to current
2011-05-04 Morgan DetersStronger support for zero-performance-penalty output... blob | commitdiff | raw | diff to current
2011-03-30 Morgan DetersAdd Valuation::getSatValue() so that theories can acces... blob | commitdiff | raw | diff to current
2010-10-31 Morgan Detersenable dependence graphs in doxygen; fix lots of doxyge... blob | commitdiff | raw | diff to current
2010-10-04 Morgan Detersremove/shuffle some #include dependencies; fix some... blob | commitdiff | raw | diff to current
2010-07-06 Morgan DetersFixes for doubled-statistics (bug 171), a fix to muzzle... blob | commitdiff | raw | diff to current
2010-07-04 Morgan DetersConsiderably simplified the way output streams are... blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-02-22 Morgan Detersfix bug 22 (remove tracing from non-trace builds; remov... blob | commitdiff | raw | diff to current
2010-02-19 Morgan Detersspecialized implementation for boolean node attributes... blob | commitdiff | raw | diff to current
2010-02-12 Dejan Jovanovićbuild fix blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... blob | commitdiff | raw | diff to current
2010-02-03 Morgan DetersAddressed many of the concerns of bug 10 (build system... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Deters+ test infrastructure fixes blob | commitdiff | raw | diff to current
2009-12-08 Morgan Deterswork on propositional layer, expression builder support... blob | commitdiff | raw | diff to current