v0.1.4

GATlab v0.1.4

Diff since v0.1.3

Merged pull requests:

• Multiple inheritance of GATs (#147) (@olynch)
• adding buildkite functionality (#154) (@quffaro)
• CompatHelper: bump compat for Colors to 0.13, (keep existing compat) (#165) (@algebraicjuliabot)
• Fix logic of @import (#168) (@kris-brown)
• Allow WithModel dispatch to accept subtypes (#170) (@kris-brown)
• Fix docstring error (#171) (@kris-brown)
• Allow checking if a model does NOT implement a given theory (#175) (@kris-brown)
• Wrapper struct for models of a theory (#180) (@kris-brown)
• Don't reexport StdLib (#187) (@kris-brown)
• Remove @fail (#188) (@kris-brown)
• Runtime checking for whether a model implements a theory, special distinguished models for each theory (#189) (@kris-brown)
• Define alias methods in @instance rather than @theory (#190) (@kris-brown)
• Named instance type assignments (#193) (@kris-brown)
• Pin sorts in a GAT to Julia types (#194) (@kris-brown)

Closed issues:

• Runtime check for valid models (#91)
• Precompile Errors on Julia 1.11.0 (#162)
• Bad docstrings on theories in Julia v1.11 (#163)
• Sugar for models with union types (#164)
• Adding a method with a theory extension breaks @instance (#167)
• WithModel dispatch is too strict, ought accept subtypes (#169)
• Wrapper structs for models of a particular theory (#178)
• initial and terminal models of theories (#184)
• Don't export Stdlib (#185)
• Fixed Julia types in theories (#191)
• @instance macro should be able to take named type parameters, not just an ordered list (#192)