Pyxmv

🐛 Bug Fixes

- Improve catching of nuXmv errors

📚 Documentation

- Add repository to project.toml

📚 Documentation

- Add docstrings
- Fix README.md

⚙️ Miscellaneous Tasks

- Fix pyproject.toml metadata

🚀 Features

- Add NuXmvInt.raw()
- Add get_env(), update_env() to NuXmvInt
- Add bdd CLI command
- Add PyXmv.msat_pick_state()
- Add PyXmv.msat_simulate()

🚜 Refactor

- Fix/simplify NuXmvInt API
- Rename pyxmv.py to app.py
- Rename NuXmvInt to PyXmv
- Use "with PyXmv..." in app.py
- Improve support for arbitrary prompts
- Higher-level simulation methods

📚 Documentation

- Add docstrings

⚙️ Miscellaneous Tasks

- Fix errors reported by mypy
- Error messages, type annotations

🚀 Features

- BDD-based LTL model checking API

🚜 Refactor

- Changes to NuXmvInt API

📚 Documentation

- Add/improve type annotations, docstrings

⚙️ Miscellaneous Tasks

- Improve interaction with nuXmv prompt

🐛 Bug Fixes

- Fix bug with --format argument
- Fix ic3 command
- Fix bug in symbolic procedures
- Always output verification results
- Fix detection/handling of loop starts
- Catch "unexpected expression" error

📚 Documentation

- Add CHANGELOG

🚀 Features

- CLI improvements
- Improve simulation workflow
- Add utils.fifo_cache()
- Improved trace pretty-printing
- Add Trace.as_dict(), Outcome.as_dict()
- Add support for JSON output

🐛 Bug Fixes

- *(NuXmvInt)* Catch type errors
- *(NuXmvInt)* Fix bmc()
- Fix a bug in nuxmv outcome handling
- Fix a bug with loop indexes in traces

🚜 Refactor

- Refactor common logic in NuXmvInt

📚 Documentation

- Add/improve type annotations, docstrings

⚡ Performance

- Cache some repetitive operations

⚙️ Miscellaneous Tasks

- Cleanup outcome.py
- Fix import statements
- Add debug info on SIGTERM
- Rename ErrorCode to ExitCode
- Fix dependencies