Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merging complete. Everything looks good *crosses fingers* | Checkmate50 | 2016-06-06 |
* | 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 contract... | Ken McMillan | 2013-05-29 |
* | 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 |