Skip to content

Releases: CPSLabGU/VHDLKripkeStructures

Release list

1.4.0

1.4.0 Latest
Latest

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 23 Aug 05:14
1.4.0
7904d93
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.
  • Add max static property to ScientificQuantity.
  • Made ScientificQuantity conform to Comparable.

Full Changelog: 1.3.0...1.4.0

Assets 2
Loading

1.3.0

1.3.0

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 06 Jun 03:47
1.3.0
1e54a76
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.
  • Changed Graphviz notation to style nodes more appropriately to the intended design.

Full Changelog: 1.2.1...1.3.0

Loading

1.2.1

1.2.1

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 30 May 13:06
1.2.1
532648a
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.
  • Fixed small bugs with graphviz generation.

Full Changelog: 1.2.0...1.2.1

Loading

1.2.0

1.2.0

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 29 May 04:33
1.2.0
90d2b4a
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.

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

Contributors

Morgan2010
Loading

1.1.0

1.1.0

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 22 May 00:39
1.1.0
bb78f79
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.
  • Made Edge use a new Cost struct to represent values in scientific notation.

Full Changelog: 1.0.0...1.1.0

Loading

1.0.0

1.0.0

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 20 May 01:10
1.0.0
f76b843
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.

Created basic structure for VHDL Kripke Structures.

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

Loading