summaryrefslogtreecommitdiff
path: root/Source/Concurrency/OwickiGries.cs
Commit message (Expand)AuthorAge
* cleaned up some namesGravatar Shaz Qadeer2015-09-28
* added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* modified desugaring so that in commutatitivity checks copies of originalGravatar qadeer2015-06-17
* added assume about gate after calls and parallel callsGravatar qadeer2015-05-31
* strengthened type checkingGravatar qadeer2014-12-26
* some refactoring to separate the concept of shared variables under refinement...Gravatar qadeer2014-12-17
* systematic renaming of phase to layerGravatar qadeer2014-12-15
* renamed :phase to :layerGravatar qadeer2014-11-14
* Fix bug in Duplicator where GotoCmd's LabelTargets and LabelNamesGravatar Dan Liew2014-10-05
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* deleted the free assume about gates after parallel callsGravatar qadeer2014-07-26
* enabled merging of yield callsGravatar qadeer2014-07-20
* added support for facoring out calls to yield checkers; this will help avoid ...Gravatar qadeer2014-07-20
* simplified yield type chcking and added treiber stack (not fully done)Gravatar qadeer2014-07-15
* various fixesGravatar qadeer2014-06-02
* a bug fixGravatar qadeer2014-05-07
* third checkpoint (refactored more code)Gravatar qadeer2014-05-05
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* updated the mover checksGravatar qadeer2014-04-25
* fixed some bugs in the previous check insGravatar qadeer2014-04-16
* added the framing for the refinement checkGravatar qadeer2014-04-16
* added variable hidingGravatar qadeer2014-04-16
* added more types to constructed expressionsGravatar qadeer2014-04-15
* Added /trustNonInterference optionGravatar qadeer2014-02-28
* added some missing attributes to desugared assertionsGravatar qadeer2014-02-27
* added tokens to calls and requires/ensuresGravatar qadeer2014-02-26
* fixed couple of bugs reported by SerdarGravatar qadeer2014-02-25
* added ReadOnlyStandardVisitorGravatar qadeer2014-02-24
* Added /trustPhasesDownto optionGravatar qadeer2014-02-24
* Added /trustPhasesUpto optionGravatar qadeer2014-02-23
* 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 bug fixesGravatar qadeer2014-01-21
* bug fix in handling of parallel callGravatar qadeer2014-01-20
* fix for a completeness bug (reported by Serdar) in refinement checkerGravatar qadeer2014-01-16
* added more information to assert messagesGravatar qadeer2014-01-14
* a bug fixGravatar qadeer2014-01-13
* a fix regarding the checking of assertions in atomic specs at call sitesGravatar qadeer2014-01-08
* first cut of refinement checkingGravatar qadeer2014-01-07
* Fixed a bug regarding the treatment of old() in stable procedures. The imple...Gravatar qadeer2013-12-26
* more bug fixesGravatar qadeer2013-12-24
* more bug fixesGravatar qadeer2013-12-22
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* more refactoring of the concurrency stuffGravatar qadeer2013-12-20
* various updates and tighter integration of QED stuff into mainlineGravatar qadeer2013-12-19
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* some refactoring of QED stuffGravatar qadeer2013-12-10
* various updatesGravatar qadeer2013-12-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-22 10:09:20 +0000