summaryrefslogtreecommitdiff
path: root/Source/Concurrency/YieldTypeChecker.cs
Commit message (Expand)AuthorAge
* added a fix to check all layers: created layer of actions or layers inGravatar Shaz Qadeer2015-10-01
* another fix requested by ChrisGravatar Shaz Qadeer2015-10-01
* cleaned up some namesGravatar Shaz Qadeer2015-09-28
* added introduced and ghost local variablesGravatar Shaz Qadeer2015-09-25
* fixed crashGravatar qadeer2015-06-10
* strengthened type checkingGravatar qadeer2014-12-26
* systematic renaming of phase to layerGravatar qadeer2014-12-15
* renamed :phase to :layerGravatar qadeer2014-11-14
* Did some refactoring.Gravatar wuestholz2014-09-23
* 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
* added {:aux} attribute to local variablesGravatar qadeer2014-05-07
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* added simulation relation computation to yield type checkingGravatar qadeer2014-04-20
* fixed a bug in the automaton construction labelingGravatar qadeer2014-02-18
* bug fix in error trace printingGravatar qadeer2014-02-05
* bug fix in error trace printingGravatar qadeer2014-01-16
* Clean up of yield type checkerGravatar qadeer2014-01-16
* in the middle of cleaning up yield type checkerGravatar qadeer2014-01-15
* eliminated use of assertionPhaseNumsGravatar qadeer2014-01-13
* Some proper naming done in YieldTypeCheckerGravatar kuruis2014-01-12
* a fix regarding the checking of assertions in atomic specs at call sitesGravatar qadeer2014-01-08
* points on "home strecth of yield type checker" addedGravatar kuruis2014-01-04
* minor bug in traversing program fixedGravatar kuruis2014-01-03
* some bugs related with phases fixedGravatar kuruis2014-01-03
* debug pragma closedGravatar kuruis2014-01-02
* some fixes on devicedriver exampleGravatar kuruis2014-01-02
* Error reporting with line numbers and commands of trace is providedGravatar kuruis2014-01-02
* some proper yield check reporting providedGravatar kuruis2014-01-02
* some bugs fixed on yiledtypecheckerGravatar kuruis2013-12-31
* Some bugs in yieldtypesafe fixedGravatar kuruis2013-12-29
* yieldtypesafe and yieldreachability automatons are separated.Gravatar kuruis2013-12-29
* Regex fixed after discussion with ShazGravatar kuruis2013-12-24
* Automata debugging done on YieldTypeChecker.Gravatar kuruis2013-12-23
* comparison of phase_num checks updatedGravatar kuruis2013-12-20
* Minor Changes in YieldTypeCheckerGravatar kuruis2013-12-19
* Epsilon reduction per phase automaton addedGravatar kuruis2013-12-18
* Updates on YieldTypeChecker doneGravatar kuruis2013-12-17
* Updates on YieldTypeCheckGravatar kuruis2013-12-11
* some refactoring of QED stuffGravatar qadeer2013-12-10
* various updatesGravatar qadeer2013-12-09
* debug hastags are inserted to yieldtypecheckerGravatar kuruis2013-12-08
* Proper transition tags added for providing language containtment between two ...Gravatar kuruis2013-12-07
* Automata.dll functions are used to create Automata from GraphGravatar kuruis2013-12-06
* Some bugs on yieldtypechecker graph solvedGravatar kuruis2013-12-05
* Building raw graphs of YieldTypeChecker for building Automata is addedGravatar kuruis2013-12-04
* forgot to add this fileGravatar qadeer2013-12-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 18:48:39 +0000