Ecosyste.ms: Issues

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

GitHub / viperproject/gobra-mode issues and pull requests

#6 - Support tree-sitter-gobra

Issue - State: open - Opened by gottschali 4 months ago

#5 - Support gobrapls

Issue - State: open - Opened by gottschali 4 months ago

#4 - Fix warnings (package cl + define-minor-mode)

Pull Request - State: closed - Opened by dnezam about 1 year ago

#3 - Add opaque and reveal

Pull Request - State: closed - Opened by dnezam about 1 year ago

#2 - Add disableSetAxiomatization support

Pull Request - State: closed - Opened by dnezam about 1 year ago

#1 - Add autoload

Pull Request - State: closed - Opened by thechampagne about 2 years ago