Skip to content

v2.19.0

Compare
Choose a tag to compare
@hajduakos hajduakos released this 07 Aug 10:36
· 2764 commits to master since this release
83b9d4b

Floating point types were introduced in v2.18.0, but the MPFR is only available on Linux (currently) so the Windows builds got broken. This release disables float tests on Windows to make the build possible, but of course floats will not be available. Some notes were added to readmes on this.

This release also adds array write syntactic sugar to the XSTS formalism: a[i] := v, which is equivalent to a := a[i <- v].