v2.0.2

Metatheory v2.0.2

Diff since v2.0.1

Merged pull requests:

• remove print statement in init (#155) (@willow-ahrens)
• Create dependabot.yml (#159) (@ranocha)
• Bump actions/checkout from 2 to 3 (#160) (@dependabot[bot])
• Bump actions/cache from 1 to 3 (#161) (@dependabot[bot])
• Bump codecov/codecov-action from 1 to 3 (#162) (@dependabot[bot])
• Bump actions/checkout from 3 to 4 (#165) (@dependabot[bot])
• Remove noise in tests, restructure tests, update deps (#167) (@0x0f0f0f)
• Add debugging and GraphViz visualization utilities (#169) (@0x0f0f0f)
• Allow use of local buffers (#170) (@rayegun)
• Allow local buffers (#172) (@0x0f0f0f)

Closed issues:

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