rust-lang a-mir-formality issues

rust-lang / a-mir-formality

a model of MIR and the Rust type/trait system

Apache License 2.0

282 stars 33 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

The checks for is-implemented where clauses are too lax

#189 mattheww opened 2 months ago
0
Display matched rules in more proof paths

#188 FullyNonlinear opened 2 months ago
0
reduce decls Debug noise

#187 shua closed 4 days ago
7
Use unique names for rules in prove_wc

#186 FullyNonlinear closed 2 months ago
0
Reinstate test cases for parsing

#185 FullyNonlinear closed 3 months ago
1
Add check for duplicate items in crate

#184 obeis closed 3 months ago
0
Fix warnings

#183 nikomatsakis closed 3 months ago
0
DONT MERGE: proofs rely on order of set elems

#182 shua opened 3 months ago
0
add some wf checks for fn types

#181 shua opened 3 months ago
0
add support for fuzzing

#180 nikomatsakis opened 3 months ago
0
Check trait items for duplicate function names or associated type names

#179 FullyNonlinear closed 3 months ago
0
inline PR into WcData

#178 shua closed 3 months ago
0
replace custom wf check with well_formed constructor

#177 shua closed 3 months ago
0
Minor typo fix in book formality_core lang

#176 FullyNonlinear closed 3 months ago
0
track adt variant and field names do not conflict

#175 shua closed 3 months ago
0
use underscore impls where we can

#174 nikomatsakis closed 3 months ago
1
Some clippy fixes

#173 lqd closed 4 months ago
1
Add rustfmt check to CI

#172 lqd closed 4 months ago
2
continue coherence work

#171 lcnr closed 3 months ago
1
add rustfmt to CI

#170 lcnr closed 4 months ago
0
test issue

#169 compiler-errors closed 4 months ago
2
Add `triagebot.toml`

#168 compiler-errors closed 4 months ago
0
cleanup and fix coherence rules

#167 nikomatsakis closed 4 months ago
4
prove-normalize is incomplete in coherence mode

#166 nikomatsakis opened 4 months ago
0
run to fixed point on ambiguity

#165 nikomatsakis opened 4 months ago
2
inference is not generalizing in a complete way

#164 nikomatsakis opened 4 months ago
7
use `frs` as the "formal Rust" extension

#163 nikomatsakis closed 5 months ago
0
typo: fixed keyword on sample code

#162 hackaugusto closed 8 months ago
1
More usability improvements

#161 nikomatsakis closed 9 months ago
0
Usability improvements

#160 nikomatsakis closed 9 months ago
0
formality-core parse should permit customizable "commit" point

#159 nikomatsakis opened 9 months ago
0
Misc improvements

#158 nikomatsakis closed 10 months ago
0
Obviously overlapping blanket impls are accepted

#157 CheaterCodes closed 4 months ago
3
Improvements to unsafe trait support

#156 lqd closed 10 months ago
0
Implement unsafe trait support (continued)

#155 lqd closed 10 months ago
0
Parser cleanup

#154 nikomatsakis closed 11 months ago
0
Improve parsing even further

#153 nikomatsakis closed 11 months ago
2
improve term macros

#152 nikomatsakis closed 11 months ago
0
Publish formality core

#151 nikomatsakis closed 11 months ago
1
Create mdbook.yml

#150 nikomatsakis closed 11 months ago
0
Make formality core reusable

#149 nikomatsakis closed 11 months ago
1
Extend well-formedness check of ADTs to include where-clauses

#148 ltentrup closed 11 months ago
1
Outlives vs Trait Goal Syntax Collision

#147 compiler-errors opened 11 months ago
0
WF rules for structs

#146 nikomatsakis closed 3 months ago
2
(Mostly) add AliasEq and start porting chalk projection tests

#145 jackh726 closed 11 months ago
0
fix substitution typo

#144 lqd closed 11 months ago
1
Compare unification with trait solver

#143 nikomatsakis opened 12 months ago
0
Fix smir crate and pin nightly

#142 oli-obk closed 11 months ago
0
update SMIR dependency to latest nightly

#141 oli-obk closed 12 months ago
1
Apply all clippy warning

#140 obeis closed 12 months ago
1