summaryrefslogtreecommitdiff
path: root/Test/og/Answer
Commit message (Expand)AuthorAge
* 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-03 17:59:32 +0000