Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / informalsystems/modelator-py issues and pull requests

#71 - Apalache path has issues on mac cause of the space in path

Issue - State: open - Opened by udit-gulati over 1 year ago - 1 comment
Labels: bug

#70 - replace recordclass with dataclass

Pull Request - State: closed - Opened by rnbguy almost 2 years ago

#69 - replace recordclass with dataclass

Issue - State: closed - Opened by rnbguy almost 2 years ago

#68 - Fix FileNotFoundError exception

Pull Request - State: closed - Opened by rnbguy almost 2 years ago

#67 - FileNotFoundError exception when apalache command is failed

Issue - State: closed - Opened by rnbguy almost 2 years ago
Labels: bug

#66 - support `--features` flag in Apalache

Pull Request - State: closed - Opened by rnbguy almost 2 years ago - 2 comments

#65 - Support for python 3.8

Pull Request - State: closed - Opened by rnbguy almost 2 years ago - 1 comment
Labels: enhancement

#64 - Minimum supported python version

Issue - State: closed - Opened by rnbguy almost 2 years ago
Labels: enhancement

#63 - added arguments for apalache simulate

Pull Request - State: closed - Opened by ivan-gavran about 2 years ago

#62 - executable conflict with `modelator`

Issue - State: open - Opened by rnbguy about 2 years ago

#61 - Adding quotes around the jar path

Pull Request - State: closed - Opened by ivan-gavran about 2 years ago

#60 - Ivan/parallel run

Pull Request - State: closed - Opened by ivan-gavran over 2 years ago

#59 - Bump versions in `pyproject.toml`

Issue - State: closed - Opened by rnbguy over 2 years ago - 3 comments

#58 - ImportError: sys.meta_path is None, Python is likely shutting down

Issue - State: open - Opened by rnbguy over 2 years ago - 1 comment

#57 - Parsing TLC output when traces are of length 1

Pull Request - State: closed - Opened by ivan-gavran over 2 years ago - 3 comments

#56 - Add timeout option to TLC raw

Issue - State: closed - Opened by ivan-gavran over 2 years ago
Labels: enhancement

#55 - TLC output parser fails for counterexamples of length 1

Issue - State: closed - Opened by ivan-gavran over 2 years ago - 9 comments
Labels: bug

#54 - changed the tlc.jar from 1.8 to 1.7

Pull Request - State: closed - Opened by ivan-gavran over 2 years ago - 2 comments

#53 - Bug: test_tlc.py hangs

Issue - State: closed - Opened by ivan-gavran over 2 years ago - 7 comments
Labels: bug

#52 - Feature: tag outputs with version

Issue - State: open - Opened by danwt over 2 years ago - 1 comment

#51 - Feature: support interrupting long processes

Issue - State: open - Opened by danwt over 2 years ago

#50 - Feature: windows support

Issue - State: open - Opened by danwt over 2 years ago

#49 - Feature: sensible model checker defaults

Issue - State: open - Opened by danwt over 2 years ago

#48 - better cli docs

Pull Request - State: closed - Opened by danwt over 2 years ago

#47 - Feature: better cli docs

Issue - State: closed - Opened by danwt over 2 years ago

#46 - Adds API friendly reexports to __init__.pys, adds library usage docs

Pull Request - State: closed - Opened by danwt over 2 years ago

#45 - Improve cli usage docs and library usage samples

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#44 - Tiny docs improvements

Pull Request - State: closed - Opened by danwt over 2 years ago

#43 - Publish to pypi with poetry

Pull Request - State: closed - Opened by danwt over 2 years ago

#41 - Reintroduces Apalache 0.23 and improves docs substantially

Pull Request - State: closed - Opened by danwt over 2 years ago

#40 - Feature: ensure correct JDK used when running Apalache

Issue - State: open - Opened by danwt over 2 years ago - 1 comment

#39 - Feature: update TLC arguments for TLC 2.18

Issue - State: open - Opened by danwt over 2 years ago

#38 - Feature: allow custom JVM arguments for TLC, Apalache

Issue - State: open - Opened by danwt over 2 years ago

#37 - Implements properly parsing output of TLC simulation mode

Pull Request - State: closed - Opened by danwt over 2 years ago

#35 - Feature: easily identify trace from list based on binary condition

Issue - State: closed - Opened by danwt over 2 years ago - 2 comments

#32 - Parallelize itf trace extraction

Pull Request - State: closed - Opened by danwt over 2 years ago

#31 - Danwt/tlc 2.18 trace extraction hotfix

Pull Request - State: closed - Opened by danwt over 2 years ago

#30 - Tlc 2.16 informal trace format examples

Pull Request - State: closed - Opened by danwt over 2 years ago

#29 - [#21] Danwt/tlc 2.16 informal trace format cli util

Pull Request - State: closed - Opened by danwt over 2 years ago

#28 - Danwt/tlc 2.16 stdout to informal trace format correct lexing #21

Pull Request - State: closed - Opened by danwt over 2 years ago - 1 comment

#27 - Feature: ensure that CLI documentation is clear, accurate and informative

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#26 - Feature: smartly acquire model checker jars for use in tests

Issue - State: closed - Opened by danwt over 2 years ago - 4 comments

#24 - Operations: explore options for publishing the project

Issue - State: closed - Opened by danwt over 2 years ago - 3 comments

#23 - Operations: make git commit hooks automatic, especially for commiting to main

Issue - State: closed - Opened by danwt over 2 years ago - 2 comments

#21 - Feature: transform traces in the stdout of TLC into Informal Trace Format

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#20 - Operations: retrieve lost branch that includes tla_python

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#19 - Danwt/tlc 2.16 and utility

Pull Request - State: closed - Opened by danwt over 2 years ago

#18 - Feature: extract list of TLA+ lasso traces from the stdout of TLC

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#17 - Feature: reintroduce Apalache functionalities

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#16 - Operations: document existence of the recommended VSCode settings

Issue - State: closed - Opened by danwt over 2 years ago - 1 comment

#14 - User flow: write predicate operators in a TLA+ spec for which many traces can be generated

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment
Labels: discussion

#13 - Feature: extract list of TLA+ non-lasso traces from the stdout of TLC

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#12 - Finalize the name of this repository and the corresponding Python program.

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#11 - Make this repository public.

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#9 - Feature: long term solution for working with TLA+ code (parser)

Issue - State: closed - Opened by danwt almost 3 years ago - 11 comments

#8 - Feature: TLA to JSON functionality for the states inside TLC traces

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#7 - Determine if the Json trace functionality included with TLC should be used.

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#6 - Feature: quickly get JSON format for a spec

Issue - State: open - Opened by danwt almost 3 years ago - 1 comment

#5 - Determine if `-cleanup` should be passed as a flag to TLC or not when using `tlc pure`.

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#4 - Impl TLC, Apalache wrappers

Pull Request - State: closed - Opened by danwt almost 3 years ago

#3 - Apalache/TLC wrapper API design

Issue - State: closed - Opened by danwt almost 3 years ago - 5 comments
Labels: discussion

#2 - Operations: match commit hook versions to pyproject.toml versions

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment

#1 - Operations: consider additional code quality tools

Issue - State: closed - Opened by danwt almost 3 years ago - 1 comment