Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / rust-lang/a-mir-formality issues and pull requests

#34 - schemes are always including relations, not goals

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago - 2 comments

#33 - Introduce a notion of canonicalization

Issue - State: closed - Opened by nikomatsakis over 2 years ago

#31 - Model the chalk recursive solver

Issue - State: open - Opened by nikomatsakis over 2 years ago
Labels: meta

#30 - Add MIR type checker

Issue - State: open - Opened by nikomatsakis over 2 years ago

#29 - Add borrow checker

Issue - State: open - Opened by nikomatsakis over 2 years ago

#28 - Add checking for functions wf / body

Issue - State: open - Opened by nikomatsakis over 2 years ago

#27 - Make `Place` grammar recursive

Pull Request - State: closed - Opened by digama0 over 2 years ago

#26 - Add support for auto traits

Issue - State: open - Opened by nikomatsakis over 2 years ago
Labels: good first issue

#24 - Add support for statics

Issue - State: closed - Opened by nikomatsakis over 2 years ago
Labels: good first issue

#22 - issue-25860 spike

Issue - State: open - Opened by nikomatsakis over 2 years ago
Labels: meta

#21 - scalar types should be nameable

Issue - State: open - Opened by nikomatsakis over 2 years ago

#20 - some more terminal naming fixes

Pull Request - State: closed - Opened by digama0 over 2 years ago - 2 comments

#19 - Rusty where clauses

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#18 - Terminals vs nonterminals

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#17 - fix copy test

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#16 - Docusaurus

Pull Request - State: closed - Opened by nikomatsakis over 2 years ago

#15 - Make MIR grammar more consistent with other grammars

Pull Request - State: closed - Opened by voidc over 2 years ago - 2 comments

#14 - prevent Copy and Drop impls for same type

Issue - State: open - Opened by nikomatsakis almost 3 years ago - 2 comments

#13 - Add typing rules for MIR

Pull Request - State: closed - Opened by voidc almost 3 years ago - 5 comments

#12 - Fix some typos in decl-to-clause

Pull Request - State: closed - Opened by voidc almost 3 years ago

#11 - Fix doc comment

Pull Request - State: closed - Opened by pierwill almost 3 years ago - 1 comment

#10 - Add special handling for the Copy trait

Pull Request - State: closed - Opened by voidc almost 3 years ago - 3 comments

#9 - Document test command

Issue - State: closed - Opened by pierwill almost 3 years ago - 1 comment

#8 - Missing word in comment

Issue - State: closed - Opened by pierwill almost 3 years ago

#7 - Replace some code snippets with anchors

Pull Request - State: closed - Opened by pierwill almost 3 years ago

#6 - Test CI for book

Pull Request - State: closed - Opened by pierwill almost 3 years ago

#5 - Add book

Pull Request - State: closed - Opened by pierwill almost 3 years ago - 1 comment

#4 - Fix typo

Pull Request - State: closed - Opened by pierwill almost 3 years ago - 1 comment

#3 - setup bors

Issue - State: open - Opened by nikomatsakis almost 3 years ago

#2 - Edit README

Pull Request - State: closed - Opened by pierwill almost 3 years ago

#1 - Run tests on CI.

Pull Request - State: closed - Opened by crlf0710 almost 3 years ago