| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
|
|
|
|
| |
being executed previously!
Boogie :: og/DeviceCacheSimplified.bpl
Boogie :: og/DeviceCacheWithBuffer.bpl
Boogie :: og/async.bpl
Boogie :: og/houd1.bpl
Boogie :: og/lock-introduced.bpl
Boogie :: og/termination.bpl
Boogie :: og/treiber-stack.bpl
|
| |
|
|
|
|
|
| |
ported all the examples
added the QED examples to runtest.bat
|
|
|
|
| |
enabled it to be always on
|
| |
|
| |
|
|
|
|
|
| |
added regressions to linear sets
removed the need to supply the builtin map operations manually
|
|
bug fix in linear
|