Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-05-31 | Minor change to defaults, update smt comp script, minor changes to options ↵ | ajreynol | |
in regressions. | |||
2017-01-04 | Marking regression test files as non-executable. | Tim King | |
2016-04-20 | update from the master | PaulMeng | |