# Revision history for ogma-language-smv ## [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 * Initial release.