Version 1.0.1

raehik released this 08 Mar 17:29

· 62 commits to master since this release

Update fortran-src, verifiable-expressions versions
Require minimum Vinyl 0.9 (RMap etc. type classes)
Support at least GHC 8.6, 8.8, 8.10 (on Linux)
Fix an issue caused by SBV version update

Assets 2