Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
a-mir-formality
a model of MIR and the Rust type/trait system
Other
Emerging
GitHub
Stars
1
Forks
—
Contributors
8
Last push
2mo ago
Recent commits
Latest commits.
Merge pull request #306 from BennoLossin/field-projections
3291c07
Niko Matsakis
2mo ago
Merge pull request #310 from System625/reject-moves-out-of-refs
50f54ce
Niko Matsakis
2mo ago
add field projection lang items
27b43fb
Benno Lossin
3mo ago
streamline lang item creation
4a7bcff
Benno Lossin
3mo ago
add macro to parse rust tokens as a term
f134818
Benno Lossin
3mo ago
add unsafe functions to the syntax and forbid calling them
5d59280
Benno Lossin
3mo ago
add raw pointers types
7f00774
Benno Lossin
3mo ago
Merge pull request #295 from System625/convert-check_fn/check_free_fn-to-judgemnt
77c2a68
Niko Matsakis
2mo ago
Top contributors
Builders behind this project.
nikomatsakis
1.2K commits
tiif
53 commits
voidc
44 commits
lqd
39 commits
oli-obk
31 commits
pierwill
26 commits
System625
20 commits
mattheww
11 commits
