summaryrefslogtreecommitdiff
path: root/Source/Concurrency/TypeCheck.cs
Commit message (Expand)AuthorAge
* cleaned up some namesGravatar Shaz Qadeer2015-09-28
* a bug fixGravatar Shaz Qadeer2015-09-27
* fixed a small bugGravatar Shaz Qadeer2015-09-27
* removed a warningGravatar Shaz Qadeer2015-09-26
* added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* modified desugaring so that in commutatitivity checks copies of originalGravatar qadeer2015-06-17
* relaxed the check for created and hidden layers for skip actionsGravatar qadeer2015-06-10
* fixed crashGravatar qadeer2015-06-10
* 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
* renamed :phase to :layerGravatar qadeer2014-11-14
* a fix to type checkingGravatar qadeer2014-11-09
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* fixed some tests in ogGravatar qadeer2014-07-11
* various fixesGravatar qadeer2014-06-02
* a small fixGravatar qadeer2014-05-21
* added {:aux} attribute to local variablesGravatar qadeer2014-05-07
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* updated the mover checksGravatar qadeer2014-04-25
* added the framing for the refinement checkGravatar qadeer2014-04-16
* added variable hidingGravatar qadeer2014-04-16
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* fixed a problem with the nonblocking checkGravatar qadeer2014-02-10
* various bug fixesGravatar qadeer2014-01-21
* Clean up of yield type checkerGravatar qadeer2014-01-16
* fixed lots of bugs in mover checking codeGravatar qadeer2014-01-14
* implemented a simple quantifier elimination for havoc commands in computing t...Gravatar qadeer2014-01-09
* some optimizations to mover checksGravatar 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
* some bugs fixed on yiledtypecheckerGravatar kuruis2013-12-31
* made some fixes to type checking of atomic actionsGravatar qadeer2013-12-31
* yieldtypesafe and yieldreachability automatons are separated.Gravatar kuruis2013-12-29
* more bug fixesGravatar qadeer2013-12-24
* bug fixes in Duplicate.cs and parsing of invariant attributesGravatar qadeer2013-12-22
* strengthened type checking w.r.t. qed vs non-qed global variablesGravatar qadeer2013-12-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 06:29:46 +0000