summaryrefslogtreecommitdiff
path: root/Test
Commit message (Collapse)AuthorAge
...
* strengthened type checkingGravatar qadeer2014-12-26
| | | | | cleaned up the generation of mover checks (based on example from Chris) added two examples from Chris to regressions
* changed type checking of yield procedures so that they can only call other ↵Gravatar qadeer2014-12-18
| | | | yielding procedures
* 1. made variable introduction layer explicit in the test casesGravatar qadeer2014-12-15
| | | | 2. if a single layer is specified for a global variable, that layer is the introduction layer
* patched an expected outputGravatar qadeer2014-12-15
|
* Worked on the verification result caching (extracted functions).Gravatar wuestholz2014-11-25
|
* Fixed issues in the verification result caching (old expressions).Gravatar wuestholz2014-11-24
|
* Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
|
* Worked on the verification result caching.Gravatar wuestholz2014-11-10
|
* Made it never include the statement checksum when printing assert statements.Gravatar wuestholz2014-11-16
|
* updateGravatar qadeer2014-11-14
|
* renamed :phase to :layerGravatar qadeer2014-11-14
|
* added golden outputGravatar qadeer2014-11-08
|
* more minor fix to test case houdini\testUnsatCore.bplGravatar shuvendu2014-11-07
|
* minor fix to test case houdini\testUnsatCore.bplGravatar shuvendu2014-11-07
|
* re-enabling -useUnsatCoreForContractInferGravatar shuvendu2014-11-07
| | | | An example houdini\testUnsatCore.bpl to test out the unsatCore (Currently seems to be not working)
* Worked on the verification result caching.Gravatar wuestholz2014-11-03
|
* Did some refactoring.Gravatar wuestholz2014-11-02
|
* Added a test for the verification result caching.Gravatar wuestholz2014-10-29
|
* MergeGravatar qadeer2014-10-21
|\
* | removed a useless procedureGravatar qadeer2014-10-21
| |
| * Worked on the verification result caching.Gravatar wuestholz2014-10-19
| |
| * Added more tests for the verification result caching.Gravatar wuestholz2014-10-19
| |
| * Worked on the verification result caching.Gravatar wuestholz2014-10-19
| |
| * Did some refactoring.Gravatar wuestholz2014-10-18
| |
| * Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
| |
| * Worked on the verification result caching.Gravatar wuestholz2014-10-17
| |
| * Worked on the verification result caching.Gravatar wuestholz2014-10-15
|/
* Fix issue in verification result caching for assertions without subsumption.Gravatar wuestholz2014-10-13
|
* Added a test for the issue that was fixed in changeset 'e972f163bb7c'.Gravatar wuestholz2014-09-23
|
* Add missing run lines (based off Test/doomed/runtest.bat) to doomedGravatar Dan Liew2014-09-21
| | | | | | | | tests. These are really broken because Boogie just seems to hang when they are executed. So they aren't executed right now. I'm not sure what to do with the other .bpl files. ``schaef`` left them lying around.
* more tests for houdini /inlineDepthGravatar shuvendu2014-09-19
|
* a bug fix in Houdini (also AbsHoudini)Gravatar qadeer2014-09-19
|
* additional tests for houdini /inlineDepthGravatar shuvendu2014-09-18
|
* mergeGravatar qadeer2014-08-08
|\
* | fixed codexpr bug reported by Michael Emmi; removed special handling of ↵Gravatar qadeer2014-08-08
| | | | | | | | codexpr in InjectPostConditions
| * MergeGravatar Dan Rosén2014-08-01
| |\ | |/ |/|
| * Add alpha equivalence check for Expr, and use it when lambda liftingGravatar Dan Rosén2014-08-01
| |
* | 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, ↵Gravatar qadeer2014-07-15
| | | | linear_in, linear_out
* 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
| | | | | added another test in linear (based on bug reported by Chris) removed the QED build configuration
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
|
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
|
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
|
* Added more tests and worked on adding support for "canned errors".Gravatar wuestholz2014-07-06
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 11:23:26 +0000