issues
search
flux-rs
/
flux
Refinement Types for Rust
MIT License
581
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support inequalities for all sorts
#618
nilehmann
closed
5 months ago
0
Support equality on all sorts
#617
nilehmann
closed
5 months ago
0
Nested assoc refinements in surface
#616
nilehmann
closed
5 months ago
0
Nested alias pred in fhir
#615
nilehmann
closed
5 months ago
0
Allow encoding inline alias preds into fixpoint
#614
nilehmann
closed
5 months ago
0
Use attribute to indicate fake_impl method
#613
ranjitjhala
closed
5 months ago
0
Move name resolving inside refinements to resolver phase
#612
nilehmann
closed
5 months ago
0
Support for bounds-checked indexing of `std::vec`
#611
ranjitjhala
closed
5 months ago
1
Implement global resolver
#610
nilehmann
closed
5 months ago
0
Add support for `extern_spec` for `trait`
#609
ranjitjhala
closed
6 months ago
0
Introduce an equate judgment
#608
nilehmann
opened
6 months ago
1
Extend `extern_spec` to refine `impl` of particular traits
#607
ranjitjhala
closed
6 months ago
0
Alloc `fhir` in an arena
#606
nilehmann
closed
6 months ago
0
Refactor AliasPred
#605
nilehmann
closed
6 months ago
0
Split trait and impl in surface and fhir
#604
nilehmann
closed
6 months ago
0
Make GenericsSubstFolder configurable
#603
nilehmann
closed
6 months ago
0
Nested assoc preds in `rty`
#602
nilehmann
closed
6 months ago
0
Put refinement params in generics
#601
nilehmann
closed
6 months ago
0
Put GenericPredicates inside Generics
#600
nilehmann
closed
6 months ago
0
WF Checks on Associated Predicates
#599
ranjitjhala
closed
6 months ago
2
Check Associate-Pred signatures
#598
ranjitjhala
closed
5 months ago
5
Associated Predicates
#597
ranjitjhala
closed
6 months ago
1
Use `rty::Sort` for wf
#596
nilehmann
closed
6 months ago
0
Use record types in rty
#595
nilehmann
closed
6 months ago
0
Do not infer sorts during desugaring
#594
nilehmann
closed
6 months ago
0
Move refinement parameters out of `rty::Generics`
#593
nilehmann
closed
6 months ago
0
Check that `impl` satisfies `trait` specs
#592
ranjitjhala
opened
6 months ago
3
Remove TupleTree
#591
nilehmann
closed
6 months ago
0
Add queries for lower generic and lower generic predicates
#590
nilehmann
closed
6 months ago
0
Allow refining `Self`
#589
ranjitjhala
closed
6 months ago
3
Unsound to use fresh KVar for generics with bound
#588
ranjitjhala
closed
5 months ago
2
Remove return type from variant specification
#587
ranjitjhala
opened
7 months ago
2
Add support for `extern_spec` for `enum`
#586
ranjitjhala
closed
7 months ago
0
Represent consts with type
#585
nilehmann
closed
7 months ago
0
Represent paths as vec of segments
#584
nilehmann
closed
6 months ago
0
Add support for FreeBSD
#583
jepotter1
closed
7 months ago
0
Default parameters panic
#582
jprider63
closed
7 months ago
0
Add `.iter()` test for `RSet`
#581
ranjitjhala
closed
7 months ago
0
Normalize signature on function entry
#580
nilehmann
closed
7 months ago
0
Do not strong update lifetime when blocking path
#579
nilehmann
closed
7 months ago
0
Bug when using `.iter()` over a reference
#578
ranjitjhala
closed
7 months ago
1
Infer params inside trait args during projection
#577
nilehmann
closed
7 months ago
0
add support for non-decimal int literals (binary, octal, hex)
#576
enjhnsn2
closed
7 months ago
0
Improvements to `extern_spec`
#575
ranjitjhala
closed
7 months ago
3
add support for lnot on ints and uints
#574
enjhnsn2
closed
7 months ago
4
Hex integer literals in refined function signature crash verification
#573
enjhnsn2
closed
7 months ago
2
Global const cannot be referenced in refined function signature
#572
enjhnsn2
closed
7 months ago
2
bitwise not crashes verification
#571
enjhnsn2
closed
7 months ago
1
Index out of bounds panic
#569
jprider63
closed
7 months ago
1
Parse tuples
#568
nilehmann
closed
7 months ago
0
Previous
Next