Releases: CPSLabGU/VHDLKripkeStructures
Releases · CPSLabGU/VHDLKripkeStructures
1.4.0
- Add
maxstatic property toScientificQuantity. - Made
ScientificQuantityconform toComparable.
Full Changelog: 1.3.0...1.4.0
1.3.0
- Changed Graphviz notation to style nodes more appropriately to the intended design.
Full Changelog: 1.2.1...1.3.0
1.2.1
- Fixed small bugs with graphviz generation.
Full Changelog: 1.2.0...1.2.1
1.2.0
What's Changed
- Add Graphviz representations and Numeric Conformances for Custom Numeric Types by @Morgan2010 in #1
Full Changelog: 1.1.0...1.2.0
1.1.0
- Made
Edgeuse a newCoststruct to represent values in scientific notation.
Full Changelog: 1.0.0...1.1.0
1.0.0
Created basic structure for VHDL Kripke Structures.
Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/commits/1.0.0