| Age | Commit message (Collapse) | Author | Lines |
|
|
|
|
|
|
|
|
|
This reverts commit cd39fdcae33377a568bb0853d90e38a0d4d9d000.
|
|
|
|
Quick hack - on the bots this is installed in a dir containing spaces.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
typestate was using the enclosing function ID for the "this function
returns" constraint, which meant confusion and panic in the case
where a predicate p includes "check p()". Fixed it to use a fresh
ID.
Closes #933
|
|
|
|
More documentation fixes
|
|
|
|
|
|
|
|
|
|
Fix `cargo install *` fails at assertion.
|
|
|
|
|
|
|
|
|
|
|
|
Remove some stray texinfo syntax from a footnote
|
|
tutorial.md: spelling corrections for sections 1-5
|
|
|
|
|
|
|
|
|
|
Fix a broken link in rust.md
|
|
|
|
Close #1428.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tests accordingly.
|
|
|
|
|
|
|
|
|
|
|