Skip to content

v1.0.8
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 22 Mar 16:39
· 415 commits to develop since this release
v1.0.8
57e283f

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

Assets 2
Loading