issues
search
informalsystems
/
modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Apache License 2.0
28
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Apalache path has issues on mac cause of the space in path
#71
udit-gulati
opened
1 year ago
1
replace recordclass with dataclass
#70
rnbguy
closed
1 year ago
0
replace recordclass with dataclass
#69
rnbguy
closed
1 year ago
0
Fix FileNotFoundError exception
#68
rnbguy
closed
1 year ago
0
FileNotFoundError exception when apalache command is failed
#67
rnbguy
closed
1 year ago
0
support `--features` flag in Apalache
#66
rnbguy
closed
1 year ago
2
Support for python 3.8
#65
rnbguy
closed
2 years ago
1
Minimum supported python version
#64
rnbguy
closed
2 years ago
0
added arguments for apalache simulate
#63
ivan-gavran
closed
2 years ago
0
executable conflict with `modelator`
#62
rnbguy
opened
2 years ago
0
Adding quotes around the jar path
#61
ivan-gavran
closed
2 years ago
0
Ivan/parallel run
#60
ivan-gavran
closed
2 years ago
0
Bump versions in `pyproject.toml`
#59
rnbguy
closed
1 year ago
3
ImportError: sys.meta_path is None, Python is likely shutting down
#58
rnbguy
opened
2 years ago
1
Parsing TLC output when traces are of length 1
#57
ivan-gavran
closed
2 years ago
3
Add timeout option to TLC raw
#56
ivan-gavran
closed
2 years ago
0
TLC output parser fails for counterexamples of length 1
#55
ivan-gavran
closed
2 years ago
9
changed the tlc.jar from 1.8 to 1.7
#54
ivan-gavran
closed
2 years ago
2
Bug: test_tlc.py hangs
#53
ivan-gavran
closed
2 years ago
7
Feature: tag outputs with version
#52
danwt
opened
2 years ago
1
Feature: support interrupting long processes
#51
danwt
opened
2 years ago
0
Feature: windows support
#50
danwt
opened
2 years ago
0
Feature: sensible model checker defaults
#49
danwt
opened
2 years ago
0
better cli docs
#48
danwt
closed
2 years ago
0
Feature: better cli docs
#47
danwt
closed
2 years ago
0
Adds API friendly reexports to __init__.pys, adds library usage docs
#46
danwt
closed
2 years ago
0
Improve cli usage docs and library usage samples
#45
danwt
closed
2 years ago
1
Tiny docs improvements
#44
danwt
closed
2 years ago
0
Publish to pypi with poetry
#43
danwt
closed
2 years ago
0
Myriad improvements to packaging, ci, cd, docs and non functional properties
#42
danwt
closed
2 years ago
0
Reintroduces Apalache 0.23 and improves docs substantially
#41
danwt
closed
2 years ago
0
Feature: ensure correct JDK used when running Apalache
#40
danwt
opened
2 years ago
1
Feature: update TLC arguments for TLC 2.18
#39
danwt
opened
2 years ago
0
Feature: allow custom JVM arguments for TLC, Apalache
#38
danwt
opened
2 years ago
0
Implements properly parsing output of TLC simulation mode
#37
danwt
closed
2 years ago
0
Feature: implement a better prototype trace subset selection function
#36
danwt
opened
2 years ago
0
Feature: easily identify trace from list based on binary condition
#35
danwt
closed
2 years ago
2
Refactors Informal Trace Format extraction to better expose the functionality
#34
danwt
closed
2 years ago
0
Feature: facilitate progress updates (could be used for progress bars)
#33
danwt
opened
2 years ago
0
Parallelize itf trace extraction
#32
danwt
closed
2 years ago
0
Danwt/tlc 2.18 trace extraction hotfix
#31
danwt
closed
2 years ago
0
Tlc 2.16 informal trace format examples
#30
danwt
closed
2 years ago
0
[#21] Danwt/tlc 2.16 informal trace format cli util
#29
danwt
closed
2 years ago
0
Danwt/tlc 2.16 stdout to informal trace format correct lexing #21
#28
danwt
closed
2 years ago
1
Feature: ensure that CLI documentation is clear, accurate and informative
#27
danwt
closed
2 years ago
1
Feature: smartly acquire model checker jars for use in tests
#26
danwt
closed
2 years ago
4
Operations: add git hooks that will delete empty directories when changing branch
#25
danwt
opened
2 years ago
1
Operations: explore options for publishing the project
#24
danwt
closed
2 years ago
3
Operations: make git commit hooks automatic, especially for commiting to main
#23
danwt
closed
2 years ago
2
Feature: ensure that the `tlc pure` command does not read too much from the filesystem into memory
#22
danwt
closed
2 years ago
1
Next