projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59c96a0) | patch
More improvements to datatypes, eager selector collapsing, improved collect model...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 9 Oct 2013 17:26:11 +0000 (12:26 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 9 Oct 2013 17:26:11 +0000 (12:26 -0500)
commit29923ecc0467f52a8eb6e318b874269054b956e5
treecc76d142a7c7e1442b81e1e41e06b56efc8a9b74tree
parent59c96a073e34f51b415863ece51c3242c953acc4commit | diff
More improvements to datatypes, eager selector collapsing, improved collect model info. Also fix bug in model post-processor.
src/smt/model_postprocessor.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history