ogma-cli
- Version bump 1.0.8 (#81).
- Introduce new F' (FPrime) backend (#77).
- Mark package as uncurated (#74).
ogma-core
- Version bump 1.0.8 (#81).
- Support inequality operator in SMV and CoCoSpec (#71).
- Introduce new F' (FPrime) backend (#77).
- Mark package as uncurated (#74).
ogma-extra
- Version bump 1.0.8 (#81).
- Mark package as uncurated (#74).
ogma-language-c
- Version bump 1.0.8 (#81).
- Mark package as uncurated (#74).
ogma-language-cocospec
- Version bump 1.0.8 (#81).
- Support inequality operator (#71).
- Mark package as uncurated (#74).
ogma-language-copilot
- Version bump 1.0.8 (#81).
- Mark package as uncurated (#74).
ogma-language-fret-cs
- Version bump 1.0.8 (#81).
- Mark package as uncurated (#74).
ogma-language-fret-reqs
- Version bump 1.0.8 (#81).
- Mark package as uncurated (#74).
ogma-language-smv
- Version bump 1.0.8 (#81).
- Support inequality operator (#71).
- Mark package as uncurated (#74).
Full Changelog: v1.0.7...v1.0.8
