https://github.com/cpslabgu/vhdlkripkestructures - 1.4.0

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

Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/compare/1.3.0...1.4.0

- Swift
Published by Morgan2010 almost 2 years ago

https://github.com/cpslabgu/vhdlkripkestructures - 1.3.0

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

Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/compare/1.2.1...1.3.0

- Swift
Published by Morgan2010 about 2 years ago

https://github.com/cpslabgu/vhdlkripkestructures - 1.2.1

• Fixed small bugs with graphviz generation.

Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/compare/1.2.0...1.2.1

- Swift
Published by Morgan2010 about 2 years ago

https://github.com/cpslabgu/vhdlkripkestructures - 1.2.0

What's Changed

• Add Graphviz representations and Numeric Conformances for Custom Numeric Types by @Morgan2010 in https://github.com/CPSLabGU/VHDLKripkeStructures/pull/1

Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/compare/1.1.0...1.2.0

- Swift
Published by Morgan2010 about 2 years ago

https://github.com/cpslabgu/vhdlkripkestructures - 1.1.0

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

Full Changelog: https://github.com/CPSLabGU/VHDLKripkeStructures/compare/1.0.0...1.1.0

- Swift
Published by Morgan2010 about 2 years ago

https://github.com/cpslabgu/vhdlkripkestructures - 1.0.0

Created basic structure for VHDL Kripke Structures.

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

- Swift
Published by Morgan2010 about 2 years ago