Skip to content

Release 1.0.10

Latest

Choose a tag to compare

@florianschanda florianschanda released this 09 Jan 14:02
· 1 commit to main since this release

1.0.10

  • Add support for "optional" types. These are really just datatypes
    with a single null constructor and a value constructor. However they
    come out correctly in Python as null or the actual value.

  • Move to CVC 1.3.2