Issues
- 0
Supporting bitvector extensions
#686 opened by enjhnsn2 - 0
Necessary support for Tock register fields
#689 opened by enjhnsn2 - 1
Unsupported borrow kind `Fake(Shallow)`
#687 opened by enjhnsn2 - 2
New ICE in fixpoint encoding
#683 opened by enjhnsn2 - 0
Add tock to CI
#685 opened by nilehmann - 2
Migrate to new Fixpoint parser
#661 opened by nilehmann - 5
Support hacker's delight
#667 opened by eukaryo - 1
Unsupported closure + dyn
#666 opened by ranjitjhala - 0
- 5
- 2
Spurious arithmetic underflow warning when accessing fields of mutable struct
#671 opened by enjhnsn2 - 0
- 0
flux::alias does not propagate across crates
#669 opened by enjhnsn2 - 3
Supporting dynamic trait objects
#655 opened by enjhnsn2 - 3
- 2
`flux` panics inside `ena`
#662 opened by Samir-Rashid - 3
Check that `impl` satisfies `trait` specs
#592 opened by ranjitjhala - 2
Check `impl` against `trait` sigs
#663 opened by ranjitjhala - 4
Unsupported higher-rank trait bounds
#652 opened by ranjitjhala - 0
- 0
Support strings in refinements
#657 opened by nilehmann - 0
ICE cannot update inside array or slice
#654 opened by ranjitjhala - 0
ICE for type alias with generic of base kind
#650 opened by nilehmann - 0
Support all Binary Operations
#644 opened by ranjitjhala - 3
Use proc macros for specifications
#470 opened by ranjitjhala - 1
Missing (polymorphic) refinements for vec set/get
#624 opened by ranjitjhala - 1
Encode record sorts as variant in SortCtor
#548 opened by ranjitjhala - 1
Oddities with Base kind
#550 opened by ranjitjhala - 2
Unsound to use fresh KVar for generics with bound
#588 opened by ranjitjhala - 5
Check Associate-Pred signatures
#598 opened by ranjitjhala - 1
Introduce an equate judgment
#608 opened by nilehmann - 5
Generics in `impl` block for `extern_spec`
#553 opened by ranjitjhala - 2
Remove return type from variant specification
#587 opened by ranjitjhala - 1
Index out of bounds panic
#569 opened by jprider63 - 1
Bug when using `.iter()` over a reference
#578 opened by ranjitjhala - 2
- 1
bitwise not crashes verification
#571 opened by enjhnsn2 - 2
- 0
ICE on implementation of `Option::map`
#561 opened by nilehmann - 9
error[E0432]: unresolved import `time`
#545 opened by racherb - 0
- 1
rustc just removed plugins
#554 opened by safinaskar - 4
Story for mutating traits
#549 opened by skius - 0
Lost index using `const` ?
#544 opened by ranjitjhala - 4
- 0
Crash in flux-wave
#534 opened by nilehmann - 0
Unexpected panic
#529 opened by nilehmann - 0
Cleanup `refparams_of/parent`
#513 opened by ranjitjhala - 2
Reflect const-generics in refinements
#482 opened by ranjitjhala - 1
Cargo-flux check calls flux-driver incorrectly
#463 opened by TomMD