Ecosyste.ms: Issues

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

GitHub / fstarlang/atom-fstar issues and pull requests

#8 - An F* grammar fix to address unpaired quote (`) usage like those in reveal_opaque

Pull Request - State: closed - Opened by hacklex about 3 years ago - 12 comments

#7 - Upgrade to fstar --ide?

Issue - State: open - Opened by nikswamy about 6 years ago

#6 - Unknown key editor in grammar

Issue - State: closed - Opened by pchaigno over 6 years ago - 9 comments

#5 - General improvements

Pull Request - State: open - Opened by A-Manning about 8 years ago - 7 comments

#4 - Fix README install instructions

Pull Request - State: closed - Opened by srenatus over 9 years ago

#3 - correct repository name in package.json

Pull Request - State: closed - Opened by srenatus over 9 years ago - 1 comment

#2 - Package.loadSettings is deprecated.

Issue - State: closed - Opened by beurdouche over 9 years ago - 1 comment

#1 - How can I try this out?

Issue - State: closed - Opened by catalin-hritcu over 9 years ago - 5 comments
Labels: bug, question