Skip to content

v0.7.7.0
Compare
Choose a tag to compare
@dorchard dorchard released this 14 Aug 19:36
v0.7.7.0
490be69

0.7.7.0

  • Standard library changes
    • Cake: back in to StdLib
    • Choice: new library (provides linear tensor)
    • Prelude change: generalised pull, comp, unbox
    • Vec addition: pushVec
    • Graph bug fixes: size and vertexcount changed due to a bug fix in Granule;
  • Modules can now have headers where data constructors can be hidden on export,
    e.g. module Cake hiding (Cake, Happy) where...
  • Fixed some bugs in grepl (now reads the .granule config file instead of its own)
  • grepl can now give the type of general expressions (if the checker can infer it)
  • Various refactorings in the compilation of constraints to SMT; fixes a bug with Graph lib

Installation guide here: https://github.com/granule-project/granule/wiki/Installing-Granule
Granule requires Z3 to be installed (preferably the latest version).

Assets 3
Loading