CHANGELOG

# Changelog

All notable changes to this project will be documented in this file.

## [0.5.1] - 2024-10-23

### 📚 Documentation

- Add docstrings
- Fix README.md

### ⚙️ Miscellaneous Tasks

- Fix pyproject.toml metadata

## [0.5.0] - 2024-10-23

### 🚀 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

## [0.4.0] - 2024-09-13

### 🚀 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

## [0.3.1] - 2024-08-27

### 🐛 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

## [0.3.0] - 2024-08-23

### 🚀 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

## [0.2.0] - 2024-08-21

### 🚀 Features

- Add parser for verification outcomes
- Add ic3, ic3-invar CLI commands

### 🐛 Bug Fixes

- Bug in PyXmv.simulate()

### ⚙️ Miscellaneous Tasks

- Cleanup

<!-- generated by git-cliff -->