summaryrefslogtreecommitdiff
path: root/Test/og
Commit message (Expand)AuthorAge
...
* updatesGravatar qadeer2014-01-16
* MergeGravatar qadeer2014-01-16
|\
* | updating treiber stackGravatar qadeer2014-01-16
| * yields with invariants factored out into Yield12Gravatar stasiran2014-01-16
|/
* InsertPair added.Gravatar stasiran2014-01-15
* Added Treiber stack (not yet readable by QED version of Boogie.)Gravatar stasiran2014-01-15
* Added Multiset benchmarkGravatar stasiran2014-01-15
* added more information to assert messagesGravatar qadeer2014-01-14
* small update to the exampleGravatar qadeer2014-01-09
* a fix regarding the checking of assertions in atomic specs at call sitesGravatar qadeer2014-01-08
* first cut of refinement checkingGravatar qadeer2014-01-07
* another fixGravatar qadeer2014-01-02
* some more fixes to examplesGravatar qadeer2014-01-02
* more fixesGravatar qadeer2014-01-02
* some more fixesGravatar qadeer2014-01-02
* fixed examples to deal with yield type checking errorsGravatar qadeer2014-01-01
* made some fixesGravatar qadeer2013-12-29
* more bug fixesGravatar qadeer2013-12-24
* updatesGravatar qadeer2013-12-23
* more bug fixesGravatar qadeer2013-12-22
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* removed files not being used any moreGravatar qadeer2013-12-19
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* fixed type checking errors in QED stuffGravatar qadeer2013-12-14
* fixes to type checking codeGravatar qadeer2013-12-11
* some refactoring of QED stuffGravatar qadeer2013-12-10
* fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaringGravatar qadeer2013-12-07
* first check inGravatar qadeer2013-12-04
* 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
* add another test fileGravatar Unknown2013-04-30
* added free ensures to each procedure to compensate for havocing of allocatorGravatar Unknown2013-04-19
* Test case for OG --> HoudiniGravatar akashlal2013-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 bugs in typechecking of linear setsGravatar Unknown2013-02-13
* Add another test fileGravatar Unknown2013-02-12
* fixed another bug reported by ChrisHawGravatar Unknown2013-02-12
* finished the sampleGravatar Unknown2013-02-05
* 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-06-13 08:30:35 +0000