Revision history for ogma-language-smv
[1.6.0] - 2025-01-21
- Version bump 1.6.0 (#208).
- Add repository information to cabal package (#148).
- Add version bounds to all dependencies (#119).
[1.5.0] - 2024-11-21
- Version bump 1.5.0 (#178).
[1.4.1] - 2024-09-21
- Version bump 1.4.1 (#155).
- Replace homepage (#147).
[1.4.0] - 2024-05-21
- Version bump 1.4.0 (#145).
[1.3.0] - 2024-03-21
- Version bump 1.3.0 (#133).
[1.2.0] - 2024-01-21
- Version bump 1.2.0 (#117).
- Introduce identifier substitution functions (#115).
[1.1.0] - 2023-11-21
- Version bump 1.1.0 (#112).
[1.0.11] - 2023-09-21
- Version bump 1.0.11 (#103).
- Support MTL operators with number ranges (#101).
[1.0.10] - 2023-07-21
- Version bump 1.0.10 (#98).
[1.0.9] - 2023-05-21
- Version bump 1.0.9 (#93).
[1.0.8] - 2023-03-21
- Version bump 1.0.8 (#81).
- Support inequality operator (#71).
- Mark package as uncurated (#74).
[1.0.7] - 2023-01-21
- Version bump 1.0.7 (#69).
- Specify upper bound constraint for Cabal. Refs #69.
[1.0.6] - 2022-11-21
- Version bump 1.0.6 (#64).
- Update license in cabal file to OtherLicense (#62).
- Add empty file to keep directory structure in distributable package (#65).
[1.0.5] - 2022-09-21
- Version bump 1.0.5 (#60).
- Support floating point numbers in SMV expressions (#58).
[1.0.4] - 2022-07-21
- Version bump 1.0.4 (#53).
[1.0.3] - 2022-05-21
- Version bump 1.0.3 (#49).
[1.0.2] - 2022-03-21
- Version bump 1.0.2 (#43).
[1.0.1] - 2022-01-21
- Version bump 1.0.1 (#39).
[1.0.0] - 2021-11-22