Skip to content

v2.0.2

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 10 Nov 14:39
· 533 commits to master since this release

Metatheory v2.0.2

Diff since v2.0.1

Merged pull requests:

Closed issues:

  • Refactor Codebase (#107)
  • Struct-Valued Analysis Cause Infinite Loop (#153)
  • regression in simplification compared to v1 (#166)
  • Try Dictionaries.jl (#168)