Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hwayne/tlacli issues and pull requests
#10 - Exception on running without arguments
Issue -
State: open - Opened by ligurio over 3 years ago
- 2 comments
#9 - Bump py from 1.8.1 to 1.10.0
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#8 - Allow disabling of deadlock checking
Pull Request -
State: open - Opened by SimonWoolf almost 4 years ago
#7 - Fix specifying a spec in the cli args
Pull Request -
State: open - Opened by SimonWoolf almost 4 years ago
#6 - Might be useful to be able to generate pdf from command line
Issue -
State: open - Opened by dgpv over 4 years ago
#5 - Cannot supply tuple as constant
Issue -
State: open - Opened by dgpv over 4 years ago
- 1 comment
#4 - Fix a couple small issues with the tlacli entrypoint and setup.py
Pull Request -
State: closed - Opened by weskerfoot almost 5 years ago
- 1 comment
#3 - Let's make this a package
Issue -
State: closed - Opened by hwayne almost 5 years ago
- 9 comments
#2 - Update tla2tools to fix path bug
Pull Request -
State: closed - Opened by hwayne almost 5 years ago
#1 - be a bit more lenient on specfile requirements
Pull Request -
State: closed - Opened by apghero almost 5 years ago
- 3 comments