summaryrefslogtreecommitdiff
path: root/Source/Concurrency
Commit message (Expand)AuthorAge
* added assume about gate after calls and parallel callsGravatar qadeer2015-05-31
* patched ghost checkingGravatar qadeer2015-04-18
* changed aux attribute to ghostGravatar qadeer2015-04-18
* fixed the treatment of externGravatar qadeer2015-04-17
* patched the type checker to deal with modularityGravatar qadeer2015-04-16
* removed "layer" attribute from the desugared programGravatar qadeer2015-01-16
* strengthened type checkingGravatar qadeer2014-12-26
* changed type checking of yield procedures so that they can only call other yi...Gravatar qadeer2014-12-18
* some refactoring to separate the concept of shared variables under refinement...Gravatar qadeer2014-12-17
* patched last check inGravatar qadeer2014-12-15
* 1. made variable introduction layer explicit in the test casesGravatar qadeer2014-12-15
* systematic renaming of phase to layerGravatar qadeer2014-12-15
* fixed bug due to incomplete erasure of :linear attributeGravatar qadeer2014-12-05
* renamed :phase to :layerGravatar qadeer2014-11-14
* a fix to type checkingGravatar qadeer2014-11-09
* MergeGravatar qadeer2014-10-14
|\
* | reversed the order of generated procedures; commutativity checks are generate...Gravatar qadeer2014-10-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 more refactoring.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
* updated the linear type system based on Chris' design with linear, linear_in,...Gravatar qadeer2014-07-15
* fixed a regression failureGravatar qadeer2014-07-15
* simplified yield type chcking and added treiber stack (not fully done)Gravatar qadeer2014-07-15
* fixed some tests in ogGravatar qadeer2014-07-11
* various fixesGravatar qadeer2014-06-02
* a small fixGravatar qadeer2014-05-21
* a bug fixGravatar qadeer2014-05-07
* added {:aux} attribute to local variablesGravatar qadeer2014-05-07
* third checkpoint (refactored more code)Gravatar qadeer2014-05-05
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* bug fix in the last updateGravatar qadeer2014-04-25
* updated the mover checksGravatar qadeer2014-04-25
* added simulation relation computation to yield type checkingGravatar qadeer2014-04-20
* 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
* resolved expressions created during generation of procedures for mover checksGravatar qadeer2014-04-14
* 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
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* added ReadOnlyStandardVisitorGravatar qadeer2014-02-24
* Added /trustPhasesDownto optionGravatar qadeer2014-02-24