Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Minor changes to the "Checked" build configuration | wuestholz | 2015-01-09 |
* | Changed the verification result cache to use the built-in 'MemoryCache' class. | wuestholz | 2014-06-28 |
* | Fix Boogie so it compiled with mono. Patch by Dan Liew. | Ally Donaldson | 2014-01-14 |
* | some refactoring of QED stuff | qadeer | 2013-12-10 |
* | added the QED build configuration | qadeer | 2013-12-02 |
* | factored the concurrency checking code into a separate project | qadeer | 2013-11-22 |
* | Fixed several build errors in the 'Checked' configuration. | wuestholz | 2013-08-05 |
* | CVC4 Parser | pantazis | 2013-06-12 |
* | Worked on improving program snapshot verification. | wuestholz | 2013-06-11 |
* | Worked on improving program snapshot verification. | wuestholz | 2013-06-07 |
* | Did some refactoring in the Boogie driver. | wuestholz | 2013-06-03 |
* | Did some refactoring in the Boogie driver. | wuestholz | 2013-06-03 |
* | Did some refactoring in the Boogie driver. | wuestholz | 2013-06-03 |