Skip to content

Releases: CPSLabGU/VHDLKripkeStructures

1.4.0

23 Aug 05:14
7904d93

Choose a tag to compare

  • Add max static property to ScientificQuantity.
  • Made ScientificQuantity conform to Comparable.

Full Changelog: 1.3.0...1.4.0

1.3.0

06 Jun 03:47
1e54a76

Choose a tag to compare

  • Changed Graphviz notation to style nodes more appropriately to the intended design.

Full Changelog: 1.2.1...1.3.0

1.2.1

30 May 13:06
532648a

Choose a tag to compare

  • Fixed small bugs with graphviz generation.

Full Changelog: 1.2.0...1.2.1

1.2.0

29 May 04:33
90d2b4a

Choose a tag to compare

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

22 May 00:39
bb78f79

Choose a tag to compare

  • Made Edge use a new Cost struct to represent values in scientific notation.

Full Changelog: 1.0.0...1.1.0

1.0.0

20 May 01:10
f76b843

Choose a tag to compare

Created basic structure for VHDL Kripke Structures.

Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/commits/1.0.0