Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Normalise line endings using a .gitattributes file. Unfortunately | Dan Liew | 2015-06-28 |
| | | | | | | this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored. | ||
* | Conjecture printing for duality and child user time tracking. | Ken McMillan | 2014-05-26 |
| | |||
* | Fixes for duality under corral | Ken McMillan | 2013-06-14 |
| | |||
* | Adding background model to fixedpoint counterexamples and small code ↵ | Ken McMillan | 2013-05-29 |
| | | | | contracts fixes | ||
* | Getting fixed point backend to work with Corral. | Ken McMillan | 2013-05-29 |
| | |||
* | Working on fixedpoint backend | Ken McMillan | 2013-05-20 |
| | |||
* | new files for fixedpoint engine backend | Unknown | 2013-05-07 |