summaryrefslogtreecommitdiff
path: root/Test/og/Answer
Commit message (Expand)AuthorAge
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* Enable as many "og" lit tests. Several fail because they weren'tGravatar Dan Liew2014-05-11
* second checkpointGravatar qadeer2014-05-04
* updated the mover checksGravatar qadeer2014-04-25
* added the framing for the refinement checkGravatar qadeer2014-04-16
* added variable hidingGravatar qadeer2014-04-16
* added ReadOnlyStandardVisitorGravatar qadeer2014-02-24
* forgot to update the Answer file earlierGravatar 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
* added more information to assert messagesGravatar qadeer2014-01-14
* more bug fixesGravatar qadeer2013-12-22
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaringGravatar qadeer2013-12-07
* 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
* added free ensures to each procedure to compensate for havocing of allocatorGravatar Unknown2013-04-19
* 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
* bug in OG for parallel callGravatar Unknown2013-03-02
* added parallel callsGravatar Unknown2013-03-01
* fixed another bug reported by ChrisHawGravatar Unknown2013-02-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 16:08:13 +0000