| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
bitvector values
|
| |
|
| |
|
| |
|
| |
|
| |
|
|\ |
|
| | |
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
caching and prioritization).
|
| |
|
|
|
|
| |
updated answer file
|
|\ |
|
| | |
|
|/ |
|
| |
|
|\ |
|
| | |
|
| |
| |
| |
| | |
typechecking
|
| |\ |
|
|/ / |
|
|/ |
|
|\ |
|
| | |
|
| | |
|
| | |
|
| |
| |
| |
| | |
few bug fixes, hack to support missing prover declarations.
|
| |
| |
| |
| | |
intervals domain
|
| |
| |
| |
| | |
(all pass)
|
|/ |
|
|
|
|
| |
also added improved error reporting suggested by Chris
|
|
|
|
| |
added another OG sample illustrating rely-guarantee encoding
|
| |
|
| |
|
|
|
|
| |
cleaned up the async type checking
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Currently only predicate-abstraction domain is supported.
|
| |
|