hwayne tlacli issues - Githubissues

hwayne / tlacli

A script for running TLA+/TLC from the command line

MIT License

81 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Exception on running without arguments

#10 ligurio opened 3 years ago
2
Bump py from 1.8.1 to 1.10.0

#9 dependabot[bot] opened 3 years ago
0
Allow disabling of deadlock checking

#8 SimonWoolf opened 3 years ago
0
Fix specifying a spec in the cli args

#7 SimonWoolf opened 3 years ago
0
Might be useful to be able to generate pdf from command line

#6 dgpv opened 4 years ago
0
Cannot supply tuple as constant

#5 dgpv opened 4 years ago
1
Fix a couple small issues with the tlacli entrypoint and setup.py

#4 weskerfoot closed 4 years ago
1
Let's make this a package

#3 hwayne closed 4 years ago
9
Update tla2tools to fix path bug

#2 hwayne closed 4 years ago
0
be a bit more lenient on specfile requirements

#1 apghero closed 4 years ago
3