Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / FahrJo/ultimate-automizer-vscode issues and pull requests
#20 - unify interface for Log and REST-API mode
Issue -
State: open - Opened by FahrJo about 1 year ago
#19 - add THAD mode
Issue -
State: open - Opened by FahrJo about 1 year ago
#16 - Ability to stop ongoing verifications
Issue -
State: open - Opened by FahrJo over 1 year ago
#15 - merge of release 0.2.0
Pull Request -
State: closed - Opened by FahrJo over 1 year ago
#14 - v0.1.2
Pull Request -
State: closed - Opened by FahrJo almost 2 years ago
#13 - Make verification trigger configurable.
Issue -
State: closed - Opened by danieldietsch almost 2 years ago
- 1 comment
#12 - Different Ultimate backends
Issue -
State: closed - Opened by danieldietsch almost 2 years ago
- 2 comments
#11 - Update README.md
Pull Request -
State: closed - Opened by danieldietsch almost 2 years ago
#10 - release v0.1.1
Pull Request -
State: closed - Opened by FahrJo almost 2 years ago
#9 - Show Progress in stdout mode
Issue -
State: closed - Opened by FahrJo almost 2 years ago
#8 - Icon for Extension
Issue -
State: closed - Opened by FahrJo almost 2 years ago
- 1 comment
#7 - final fixes for first release
Pull Request -
State: closed - Opened by FahrJo almost 2 years ago
#5 - Check compatibility to other OS
Issue -
State: open - Opened by FahrJo almost 2 years ago
- 8 comments
#4 - add settings contribution
Pull Request -
State: closed - Opened by FahrJo almost 2 years ago
#3 - Add a Preprocessor
Issue -
State: open - Opened by FahrJo almost 2 years ago
#2 - Add settings
Issue -
State: closed - Opened by FahrJo almost 2 years ago
- 1 comment
#1 - preparations for making the repo public
Pull Request -
State: closed - Opened by FahrJo almost 2 years ago