Issues
- 10
- 3
calling a FnMut from a closure
#887 opened by boulme - 4
Upgrade testsuite to alt-ergo 2.5.3
#978 opened by Armael - 0
Update ui tests to `ui_test` crate
#996 opened by xldenis - 2
Reduce the overhead of opacity annotations
#995 opened by xldenis - 1
- 1
- 1
MLCFG error when deconstructing a tuple which also is used in a {pre, post}condition
#989 opened by sarsko - 0
Transparency and opacity should not be linked.
#987 opened by sarsko - 3
- 0
(easy improvement) `creusot setup status`: display location of the config/data/cache dirs
#977 opened by Armael - 0
- 0
testsuite quirks
#979 opened by Armael - 2
`cargo creusot setup` doesn't work on Mac
#967 opened by xldenis - 5
- 0
- 1
Shadowing by temporary variable
#960 opened by arnaudgolfouse - 3
- 2
unbound type symbol 'opaque_ptr' in why3 ide
#949 opened by xldenis - 2
- 12
Mutable Reference Extensionality
#883 opened by dewert99 - 17
Causality loop with ghosts and equality
#869 opened by jhjourdan - 2
- 2
- 0
- 0
Resolve before an assignment
#914 opened by jhjourdan - 0
Using field access fails termination checking, while it succeeds with destructuring assignment
#911 opened by utaal - 1
Unbound function symbol `DeepModel8.deep_model`
#910 opened by adpaco-aws - 1
- 1
`Ghost` type inference is borked.
#872 opened by xldenis - 4
- 1
- 1
Failed to normalize type
#874 opened by xldenis - 1
- 2
Recursive definitions and invariant
#879 opened by jhjourdan - 0
Soundness and empty types
#881 opened by jhjourdan - 5
- 0
Quantification requires `Sized`
#877 opened by jhjourdan - 1
- 1
Issue with invariants for mappings
#866 opened by jhjourdan - 9
- 0
- 0
`build.rs` causes `cargo creusot` to fail
#870 opened by xldenis - 0
Tracking Issue for Type Invariants
#845 opened by voidc - 0
Add `Fuse` spec to `creusot_contracts`
#856 opened by xldenis - 0
borrow_mut name shadowing
#850 opened by dewert99 - 0
Fix resolution of partially initialized values
#848 opened by voidc - 2
Properly support open type invariants
#843 opened by voidc - 1
Spec `split_first_mut` is wrong
#833 opened by xldenis - 7
cargo creusot ignores source code changes
#828 opened by champignoom