Ecosyste.ms: Issues

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

GitHub / xldenis/whycode issues and pull requests

#20 - Add task provider

Pull Request - State: closed - Opened by Lysxia 21 days ago - 1 comment

#19 - pin-depends in `whycode.opam`

Issue - State: closed - Opened by Lysxia 21 days ago - 2 comments

#18 - Fix some crashes

Pull Request - State: closed - Opened by Lysxia 22 days ago

#17 - Support for MacOS

Issue - State: closed - Opened by mojeanmac 3 months ago - 4 comments

#16 - Installing the dependencies

Issue - State: closed - Opened by PaulBonnot 9 months ago - 3 comments

#15 - Display errors from Why3

Issue - State: open - Opened by manmatteo 12 months ago

#14 - move off linol

Issue - State: open - Opened by xldenis over 1 year ago - 2 comments

#13 - New WhyML textmate grammar

Pull Request - State: closed - Opened by xldenis over 1 year ago

#12 - [WIP] Neovim extension

Pull Request - State: open - Opened by paulpatault over 1 year ago - 7 comments

#11 - Register file watchers for session files

Pull Request - State: closed - Opened by voidc over 1 year ago - 1 comment

#10 - Display Error pop up if a session failed to load

Issue - State: open - Opened by xldenis over 1 year ago

#9 - Make successful, passing sessions visible.

Issue - State: closed - Opened by xldenis over 1 year ago - 1 comment

#8 - Auto-start existing sessions

Issue - State: open - Opened by xldenis over 1 year ago

#7 - Close sessions when relevant files are closed

Issue - State: open - Opened by xldenis over 1 year ago

#6 - Implement dirty flag check for sessions

Issue - State: open - Opened by xldenis over 1 year ago

#5 - Add support for `cargo creusot`

Issue - State: open - Opened by xldenis over 1 year ago

#4 - Adding the Task Tree

Issue - State: closed - Opened by xldenis over 1 year ago

#3 - Adding a Transformation Runner

Issue - State: open - Opened by xldenis over 1 year ago

#2 - Adding Task View

Issue - State: open - Opened by xldenis over 1 year ago

#1 - Create main.yml

Pull Request - State: closed - Opened by xldenis over 1 year ago