summaryrefslogtreecommitdiff
path: root/Source/Concurrency/LinearSets.cs
Commit message (Expand)AuthorAge
* fixed my earlier to make it nicerGravatar Shaz Qadeer2015-09-03
* fixed a crash when there is no collectorGravatar Shaz Qadeer2015-09-02
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* fixed bug due to incomplete erasure of :linear attributeGravatar qadeer2014-12-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
* 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
* a small fixGravatar qadeer2014-05-21
* fixed some bugs in the previous check insGravatar qadeer2014-04-16
* added more types to constructed expressionsGravatar qadeer2014-04-15
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* fixed a bug in desugaring of linear variablesGravatar qadeer2014-02-20
* new design for linear types + VCgenGravatar qadeer2014-02-07
* 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
* added syntax for par call and ParCallCmdGravatar qadeer2013-12-16
* some refactoring of QED stuffGravatar qadeer2013-12-10
* factored the concurrency checking code into a separate projectGravatar qadeer2013-11-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 13:52:52 +0000