Ecosyste.ms: Issues

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

GitHub / informalsystems/modelator issues and pull requests

#305 - update github actions

Pull Request - State: closed - Opened by rnbguy 8 months ago

#304 - fix jekyll build on ci

Pull Request - State: closed - Opened by rnbguy 8 months ago

#303 - Ivan/dev mbt basics

Pull Request - State: closed - Opened by ivan-gavran 8 months ago

#302 - MBT web update

Pull Request - State: closed - Opened by ivan-gavran 8 months ago

#301 - Website update

Pull Request - State: closed - Opened by ivan-gavran 8 months ago

#300 - Reporting a vulnerability

Issue - State: closed - Opened by igibek almost 2 years ago - 1 comment

#299 - check if model file exists before parsing

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

#298 - Updated readme

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

#297 - Integrate Apalache Chai

Issue - State: open - Opened by ivan-gavran about 2 years ago - 2 comments
Labels: dev

#296 - [FEATURE] Easier debugging of TLA+ model using partial runs

Issue - State: open - Opened by ivan-gavran about 2 years ago - 2 comments
Labels: enhancement

#295 - remove development notice from readme

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

#294 - remove development notice from readme

Issue - State: closed - Opened by rnbguy about 2 years ago
Labels: user support

#293 - rename PascalCase modules in snake_case

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

#292 - Remove git depdendencies from dev branch

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

#291 - replace modelator-py git dependency with pypi version

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

#290 - modelator tutorial

Pull Request - State: closed - Opened by rnbguy about 2 years ago - 3 comments
Labels: user support

#289 - Update Apalache version to `0.30.x`

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

#288 - Terminology: examples into tests

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

#287 - modelator User Manual

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

#286 - Support unknown Apalache versions

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

#285 - Multi-version Apalache management

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

#284 - Update Apalache version

Issue - State: closed - Opened by rnbguy over 2 years ago - 1 comment
Labels: enhancement

#283 - Support for python 3.8

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

#282 - Minimum supported python version

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

#281 - Fix CI because non-numbered traces are ignored

Pull Request - State: closed - Opened by rnbguy over 2 years ago
Labels: bug

#280 - Changing terminology: examples into tests

Pull Request - State: closed - Opened by ivan-gavran over 2 years ago - 1 comment
Labels: user support

#279 - Remove extra trace file generated during simulation

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

#278 - Parse `bigint` and `tuple` in ITF

Pull Request - State: closed - Opened by rnbguy over 2 years ago
Labels: enhancement

#277 - Rename "examples" when sampling

Issue - State: closed - Opened by hvanz over 2 years ago - 2 comments
Labels: user support

#276 - [BUG] ITF parser doesn't support big integers

Issue - State: closed - Opened by andrey-kuprianov over 2 years ago
Labels: bug

#275 - Simulate command

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

#274 - Command `simulate`

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

#273 - Fix failing CI tests

Pull Request - State: closed - Opened by rnbguy over 2 years ago
Labels: bug

#272 - Parse module recursively

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

#271 - Remove tomlkit import

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

#270 - Fix CLI tests on CI

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

#269 - Embedding Apalache in Atomkraft in release

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

#268 - Markdown ITF traces

Pull Request - State: closed - Opened by rnbguy over 2 years ago - 9 comments
Labels: enhancement

#267 - Add mdx tests to CI workflow

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

#266 - Easy-to-understand trace representation

Issue - State: closed - Opened by andrey-kuprianov over 2 years ago
Labels: enhancement

#265 - Handle apalache errors when parsing and type checking

Pull Request - State: closed - Opened by hvanz over 2 years ago
Labels: bug

#264 - Catch apalache error messages for uninitialized constants and config problems

Pull Request - State: closed - Opened by hvanz over 2 years ago - 2 comments
Labels: bug

#263 - Add version CLI command

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

#262 - Add new CLI command `version`

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

#261 - Add timestamp to `traces_dir` when checking and sampling

Pull Request - State: closed - Opened by hvanz over 2 years ago
Labels: bug

#260 - Improve handling of Apalache errors

Issue - State: closed - Opened by andrey-kuprianov over 2 years ago - 3 comments
Labels: enhancement

#259 - Apply time-stamping dirs also to `sample`

Issue - State: closed - Opened by andrey-kuprianov over 2 years ago

#258 - Confirm when downloading existing Apalache jar file

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

#257 - Fix argument to config file

Pull Request - State: closed - Opened by hvanz over 2 years ago
Labels: bug

#256 - Config file is not passed correctly to modelator-py

Issue - State: closed - Opened by hvanz over 2 years ago
Labels: bug

#255 - Ivan/timestamped traces folders

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

#254 - Fix multiple errors in uninitialized constants, TLA+ config file, when checking multiple invariants

Pull Request - State: closed - Opened by hvanz over 2 years ago - 2 comments
Labels: bug

#252 - Change default trace dir to traces/<timestamp>

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

#251 - When downloading a new checker, check if the checker exists already

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

#250 - Download default Apalache release on init

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

#249 - Pass extra parameters to model-checker

Pull Request - State: closed - Opened by hvanz over 2 years ago
Labels: enhancement

#244 - [Suggestion] Allow to download unknown Apalache versions

Issue - State: closed - Opened by andrey-kuprianov over 2 years ago - 1 comment
Labels: enhancement

#240 - Sanitize ITF parsing

Pull Request - State: closed - Opened by rnbguy over 2 years ago
Labels: enhancement

#236 - Add CLI integration tests

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

#231 - bump version to 0.5; minor fixes

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

#229 - Refactor tests

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

#228 - Improve tests

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

#222 - Ivan/remove tlc

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

#221 - ADR for preprocessor component

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

#220 - `pytest` support

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

#219 - ADR for the module turning a TLA+ resources into an MC task

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

#218 - Implement ModelConfig as a superclass of Apalache and TLC configurations

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

#217 - ADR for preprocessor component

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

#215 - removed TLC as an option

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

#213 - `pytest` support

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

#210 - Write ADR-01 on overall tool architecture

Issue - State: open - Opened by andrey-kuprianov over 2 years ago - 1 comment
Labels: dev

#209 - Model.parse_file fails after fresh installation

Issue - State: closed - Opened by rnbguy over 2 years ago - 4 comments
Labels: bug

#199 - Remove `init` and `inv` params from `check_apalache`

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

#196 - `python -i` introduces packaging and setup overhead

Issue - State: closed - Opened by rnbguy over 2 years ago - 1 comment
Labels: enhancement

#195 - [BUG] Unclean termination of ModelatorShell when checker is TLC

Issue - State: closed - Opened by andrey-kuprianov over 2 years ago - 1 comment
Labels: bug

#194 - Update Github CI

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

#193 - Refactor code for running from custom initial state

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

#192 - Tests for ITF implementation

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

#191 - Python code style formatting

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

#190 - Remove Rust and Go codebase

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

#188 - Custom TLA init

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

#186 - Integrate ITF trace diff into modelator shell

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

#180 - Check command: basic building blocks

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

#179 - improve shell

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

#177 - Explore with how an interactive shell could be used with Modelator

Issue - State: closed - Opened by ivan-gavran almost 3 years ago - 2 comments
Labels: enhancement

#176 - Parse command

Issue - State: closed - Opened by ivan-gavran almost 3 years ago - 1 comment
Labels: enhancement

#171 - [BUG] Problem with parsing newline inside EXTENDS

Issue - State: closed - Opened by ivan-gavran about 3 years ago
Labels: bug

#161 - Include pre-compiled libraries at release

Issue - State: closed - Opened by rnbguy about 3 years ago - 2 comments
Labels: enhancement

#141 - [FEATURE] Support Invariant predicates along with Test predicates

Issue - State: closed - Opened by rnbguy about 3 years ago - 1 comment
Labels: enhancement

#122 - Nested crates and components

Issue - State: closed - Opened by rnbguy about 3 years ago - 1 comment
Labels: enhancement

#115 - [FEATURE] Implement command to easily see JSON format for a generated trace.

Issue - State: closed - Opened by danwt over 3 years ago
Labels: enhancement

#95 - Add timeout option and default timeout for running model checking.

Issue - State: open - Opened by danwt over 3 years ago
Labels: enhancement

#91 - Might be nice to get more details about parse failures

Issue - State: closed - Opened by jtremback over 3 years ago - 3 comments
Labels: enhancement

#90 - `run_tla_steps` errors are coming through in Ok variant

Issue - State: closed - Opened by jtremback over 3 years ago - 5 comments

#84 - System in run_tla_steps has trait bound of debug

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

#54 - Allow to select model checker version

Issue - State: closed - Opened by andrey-kuprianov over 3 years ago - 3 comments
Labels: enhancement

#50 - Possible refactoring and API improvements

Issue - State: closed - Opened by andrey-kuprianov over 3 years ago - 1 comment

#31 - Add timeout option for test execution time.

Issue - State: closed - Opened by andrey-kuprianov almost 4 years ago - 1 comment