summaryrefslogtreecommitdiff
path: root/Test
Commit message (Expand)AuthorAge
...
* Pass -useBaseNameForFileName option to Boogie when running tests.Gravatar Dan Liew2014-04-06
* Enable houdini lit tests. Note some still fail due to BoogieGravatar Dan Liew2014-05-05
* Added basic lit configuration file for running tests.Gravatar Dan Liew2014-04-06
* minor fixGravatar qadeer2014-05-05
* example for variable introduction addedGravatar qadeer2014-05-04
* second checkpointGravatar qadeer2014-05-04
* checkpointGravatar qadeer2014-05-03
* updated the mover checksGravatar qadeer2014-04-25
* Add support for assumption variables.Gravatar wuestholz2014-04-21
* 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
* MergeGravatar qadeer2014-04-16
|\
* | added variable hidingGravatar qadeer2014-04-16
| * disabled quantifier merging, except when no triggers are provided (as discuss...Gravatar Unknown2014-03-03
|/
* Fixed abstract interpretation for realsGravatar Rustan Leino2014-04-13
* Fixed bug in abstract interpretation over realsGravatar Rustan Leino2014-04-08
* Changed all lambda-expression rewriting to be done as a pre-processing step b...Gravatar Rustan Leino2014-02-28
* 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
* Fixed bug in printing real literalsGravatar Rustan Leino2014-02-10
* MergeGravatar Rustan Leino2014-02-10
|\
* | Fixed bug in handling of break statementsGravatar Rustan Leino2014-02-10
| * 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
* updatesGravatar qadeer2014-01-16
* MergeGravatar qadeer2014-01-16
|\
* | updating treiber stackGravatar qadeer2014-01-16
| * yields with invariants factored out into Yield12Gravatar stasiran2014-01-16
|/
* InsertPair added.Gravatar stasiran2014-01-15
* Added Treiber stack (not yet readable by QED version of Boogie.)Gravatar stasiran2014-01-15
* Added Multiset benchmarkGravatar stasiran2014-01-15
* added more information to assert messagesGravatar qadeer2014-01-14
* small update to the exampleGravatar qadeer2014-01-09
* a fix regarding the checking of assertions in atomic specs at call sitesGravatar qadeer2014-01-08
* MergeGravatar qadeer2014-01-07
|\
* | first cut of refinement checkingGravatar qadeer2014-01-07
| * added a test to check for stackoverflowexceptionGravatar akashlal2014-01-07
| * Recursive walking of Exprs doesn't play nice when the depth of the AST is high.Gravatar akashlal2014-01-07
|/
* another fixGravatar qadeer2014-01-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 15:48:15 +0000