summaryrefslogtreecommitdiff
path: root/Test/og
Commit message (Expand)AuthorAge
* updated the example to include atomic specifications (sent by Suha)Gravatar qadeer2015-03-29
* fixed crash reported by Dan.Gravatar qadeer2015-03-02
* fix from Serdar and SuhaGravatar qadeer2015-02-24
* moved some things aroundGravatar qadeer2015-02-11
* minor fix to the golden fileGravatar qadeer2015-01-28
* added lit stuff at the top of the file and the golden outputGravatar qadeer2015-01-28
* Work stealing queue (PLDI '12 Vechev et al.)Gravatar Unknown2015-01-28
* removed unused functions and axioms to make the verification fasterGravatar qadeer2015-01-27
* strengthened type checkingGravatar qadeer2014-12-26
* changed type checking of yield procedures so that they can only call other yi...Gravatar qadeer2014-12-18
* 1. made variable introduction layer explicit in the test casesGravatar qadeer2014-12-15
* patched an expected outputGravatar qadeer2014-12-15
* renamed :phase to :layerGravatar qadeer2014-11-14
* removed a useless procedureGravatar qadeer2014-10-21
* deleted the free assume about gates after parallel callsGravatar qadeer2014-07-26
* enabled merging of yield callsGravatar qadeer2014-07-20
* minor changeGravatar qadeer2014-07-19
* treiber stack fixedGravatar qadeer2014-07-18
* some clean upGravatar qadeer2014-07-16
* 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
* added testsGravatar qadeer2014-07-12
* fixed some tests in ogGravatar qadeer2014-07-11
* updated golden outputs and removed irrelevant testsGravatar qadeer2014-06-02
* Removed old test infrastructure files except forGravatar Dan Liew2014-05-28
* 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
* example for variable introduction addedGravatar qadeer2014-05-04
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* updated the mover checksGravatar qadeer2014-04-25
* added another sampleGravatar qadeer2014-04-20
* added simulation relation computation to yield type checkingGravatar qadeer2014-04-20
* added the framing for the refinement checkGravatar qadeer2014-04-16
* added variable hidingGravatar qadeer2014-04-16
* added ReadOnlyStandardVisitorGravatar qadeer2014-02-24
* fixed a bug in desugaring of linear variablesGravatar qadeer2014-02-20
* forgot to update the Answer file earlierGravatar qadeer2014-02-12
* fixed the civl-paper exampleGravatar qadeer2014-02-12
* using break statement in the inner loop instead of gotoGravatar qadeer2014-02-11
* added another example and fixed a bug regarding initialization of pc/okGravatar qadeer2014-02-07
* new design for linear types + VCgenGravatar qadeer2014-02-07
* more cleanupGravatar qadeer2014-01-23
* some cleanupGravatar qadeer2014-01-23
* some small optimizations to mover checkingGravatar qadeer2014-01-22
* some fixesGravatar qadeer2014-01-21
* various bug fixesGravatar qadeer2014-01-21
* fixed a bug revealed subsequent to the latest fix in parallel call handlingGravatar qadeer2014-01-20
* bug fix in handling of parallel callGravatar qadeer2014-01-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 16:23:47 +0000