Changelog of @hackage/expressions 0.5

Change Log

0.5

  • Switch to lattices-2

0.4.2

  • Allow a wide range of dynamically sorted values (not just expressions)
  • Utility for extracting array accesses

0.3.1

  • Utility for extracting constants from expressions

0.3

  • Cleanup, GHC 8.6

0.2

  • Add embed and restrict to convert between expression languages

0.1.9

  • Bump dependencies

0.1.8

  • Bump dependencies

0.1.7

  • Added simple utility function toDynamicallySorted

0.1.6

  • GHC 8.4 compatibility

0.1.5

  • Bump dependencies, fix equality, tweak readme

0.1.4

  • Bump dependencies

0.1.3

  • Extracting variables occurring in expression
  • Distinguish quantifier-free expressions
  • Convert to negation normal form
  • Convert to prenex form
  • Convert to flat form (select and store have only variables or constants as arguments)
  • Replace store with an instance of its axiomatization

0.1.2

  • Foldable with sort index
  • Traversable with sort index

0.1.1

  • Parsing
  • Equality of expressions
  • Expression substitution

0.1.0

  • Sorted Expressions à la Carte