summaryrefslogtreecommitdiff
path: root/Test/og/treiber-stack.bpl
Commit message (Expand)AuthorAge
* renamed og to civlGravatar qadeer2015-04-22
* removed unused functions and axioms to make the verification fasterGravatar qadeer2015-01-27
* strengthened type checkingGravatar qadeer2014-12-26
* 1. made variable introduction layer explicit in the test casesGravatar qadeer2014-12-15
* renamed :phase to :layerGravatar qadeer2014-11-14
* minor changeGravatar qadeer2014-07-19
* treiber stack fixedGravatar qadeer2014-07-18
* updated the linear type system based on Chris' design with linear, linear_in,...Gravatar qadeer2014-07-15
* simplified yield type chcking and added treiber stack (not fully done)Gravatar qadeer2014-07-15
* Fix lit test suite when running Boogie under a path that containsGravatar Dan Liew2014-05-27
* Set the following tests to expected failure under lit. Having theseGravatar Dan Liew2014-05-19
* Enable as many "og" lit tests. Several fail because they weren'tGravatar Dan Liew2014-05-11
* bug fix in handling of parallel callGravatar qadeer2014-01-20
* updatesGravatar qadeer2014-01-16
* updating treiber stackGravatar qadeer2014-01-16
* Added Treiber stack (not yet readable by QED version of Boogie.)Gravatar stasiran2014-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-26 05:11:57 +0000