summaryrefslogtreecommitdiff
path: root/Source/Concurrency
Commit message (Expand)AuthorAge
* 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
* Added /trustPhasesUpto optionGravatar qadeer2014-02-23
* Added /trustAtomicityTypes optionGravatar qadeer2014-02-22
* fixed a bug in desugaring of linear variablesGravatar qadeer2014-02-20
* fixed a bug in the automaton construction labelingGravatar qadeer2014-02-18
* fixed a problem with the nonblocking checkGravatar qadeer2014-02-10
* added nonblocking checker for left moversGravatar qadeer2014-02-07
* added another example and fixed a bug regarding initialization of pc/okGravatar qadeer2014-02-07
* new design for linear types + VCgenGravatar qadeer2014-02-07
* bug fix in error trace printingGravatar qadeer2014-02-05
* some small optimizations to mover checkingGravatar qadeer2014-01-22
* various bug fixesGravatar qadeer2014-01-21
* bug fix: if an absy is not reachable, make the set of available vars empty at itGravatar qadeer2014-01-21
* bug fix in handling of parallel callGravatar qadeer2014-01-20
* bug fix in error trace printingGravatar qadeer2014-01-16
* fix for a completeness bug (reported by Serdar) in refinement checkerGravatar qadeer2014-01-16
* Clean up of yield type checkerGravatar qadeer2014-01-16
* in the middle of cleaning up yield type checkerGravatar qadeer2014-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 04:11:35 +0000