projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix printing of models of uninterpreted sorts (#3597)
[cvc5.git] / test / regress / regress0 / wiki.14.cvc
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw
2013-11-11 Morgan DetersChange exit status to be more consistent with other... blob | commitdiff | raw
2010-10-10 Morgan Detersadditional model gen and SMT-LIBv2 compliance work... blob | commitdiff | raw | diff to current
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... blob | commitdiff | raw | diff to current
2010-02-09 Dejan JovanovićChanges to the CNF conversion and the SAT solver. All... blob | commitdiff | raw | diff to current