2019-12-10 | Haniel Barbosa | Fix ufho issues (#3551) | blob | commitdiff | raw |
2017-06-21 | Andrew Reynolds | Merge pull request #175 from CVC4/fix_uninit | blob | commitdiff | raw | diff to current |
2017-06-16 | Clark Barrett | Merge pull request #170 from CVC4/fix_2_6_parser3 | blob | commitdiff | raw | diff to current |
2017-06-16 | Andres Noetzli | Parse 'is', 'match' differently for non-DT input | blob | commitdiff | raw | diff to current |