| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
| |
verified assertions).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
advanced verification result caching even for implementations with errors.
|
|
|
|
| |
injected by the verification result caching for calls within loops.
|
|
|
|
| |
verification result caching.
|
| |
|
| |
|
| |
|
|
|
|
| |
argument instead of a boolean one.
|
| |
|
|
|
|
|
|
|
|
|
| |
./AbsHoudini/
./doomed/
./z3api/
./test17/
because their conversion to lit incomplete.
|
|
|
|
| |
spaces.
|
| |
|
|
|
|
|
|
| |
use .bpl files in the directory directy on the command line. So
instead will tell lit to look for *.snapshot files and provide
one that runs the commands we want in the right directory.
|
|
|
|
| |
into account.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
caching and prioritization).
|