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