This is a feature-complete version 1.0 and the API is now stable.
There have been no major changes since the beta release.
Minor backward incompatible change
- #30: Removed the version-number type and replaced it with simple string.
Updating client code
pigosat.Version is now a constant string. You can parse it with a library such as semver.
Bug fix
- #29: Fixed a benign data race when writing traces.
Upgrade
- Implemented continuous integration testing and test-coverage reporting and added the corresponding badges to README.