Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-20 | correct instruction for running example (#1669) | yoni206 | |
2017-01-04 | Marking the proof signature files as non-executable. | Tim King | |
2016-04-20 | update from the master | PaulMeng | |
2014-03-12 | Work on array pf signature, add working example. Add quantifiers proof ↵ | Andrew Reynolds | |
signature. Ignore terms not in current master EE for QCF. Minor refactoring. Make --rewrite-rules true by default. |