| Commit message (Collapse) | Author | Age |
|
|
|
| |
requires, ensures, or asserts
|
|
|
|
| |
verification is performed now for all created layers
|
| |
|
| |
|
| |
|
|
|
|
|
| |
cleaned up the generation of mover checks (based on example from Chris)
added two examples from Chris to regressions
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
added another test in linear (based on bug reported by Chris)
removed the QED build configuration
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
updated the type check to incorporate {:terminates} annotation
|
| |
|
|
|
|
| |
added a class for Token elimination (not done yet)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
integration of parallel call cmds done
points (1 and 3) on Shaz's email are done
|
| |
|
|
|
|
| |
Regex must be revisited
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Autos.
|
| |
|
| |
|
| |
|
|
|