Skip to content

11.1.0
Compare
Choose a tag to compare
@mmottl mmottl released this 30 Nov 20:02
· 16 commits to master since this release
11.1.0
This tag was signed with the committer’s verified signature.
mmottl Markus Mottl
GPG key ID: 50B112EED34AE972
Verified
Learn about vigilant mode.
0ae6049

CHANGES:

  • Bug fix: moved incorrect Bool_val out of blocking section.

  • Removed -O3, -ffast-math, and -march=native flags. They may be too risky as
    defaults.

  • Rewrote README and improved changelog.

  • Reformatted all C-code using clang-format and OCaml code using
    ocamlformat.

  • Added GitHub workflow.

Assets 3
Loading