summaryrefslogtreecommitdiff
path: root/Test/og/runtest.bat
Commit message (Expand)AuthorAge
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* checkpointGravatar qadeer2014-05-03
* fixed the civl-paper exampleGravatar qadeer2014-02-12
* added another example and fixed a bug regarding initialization of pc/okGravatar qadeer2014-02-07
* new design for linear types + VCgenGravatar qadeer2014-02-07
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* cleaned up the OG codeGravatar qadeer2013-08-07
* added another regressionGravatar qadeer2013-07-15
* reworked the linear and og implementation based on available variables theoryGravatar Unknown2013-05-18
* fixed bug reported by AkashGravatar Unknown2013-05-04
* refactored og and fixed latest bug reported by chrisGravatar Unknown2013-03-20
* fixed a bug in ogGravatar Unknown2013-03-04
* fixed bugs in both parallel calls and linear stuff (reported by Chris)Gravatar Unknown2013-03-03
* added parallel callsGravatar Unknown2013-03-01
* fixed bugs in typechecking of linear setsGravatar Unknown2013-02-13
* fixed another bug reported by ChrisHawGravatar Unknown2013-02-12
* Further bug fixes in OGGravatar Unknown2013-02-05
* fixed bug in OGGravatar Unknown2013-02-01
* handling old() in stable assertionsGravatar Unknown2013-01-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-25 14:51:23 +0000