creusot-rs/creusot Issues
Binary distribution
Updated 1Adopt Why3Find
Updated 1calling a FnMut from a closure
Closed 3testsuite quirks
UpdatedShadowing by temporary variable
Updated 1Mutable Reference Extensionality
Closed 12Resolve before an assignment
Updated`Ghost` type inference is borked.
Closed 1Failed to normalize type
Closed 1Recursive definitions and invariant
Updated 2Soundness and empty types
Updated