Download Latest Version
v2.0.2 source code.zip (503.3 kB)
Get an email when there's a new version of Metatheory.jl
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| README.md | 2023-11-10 | 909 Bytes | |
| v2.0.2 source code.tar.gz | 2023-11-10 | 474.2 kB | |
| v2.0.2 source code.zip | 2023-11-10 | 503.3 kB | |
| Totals: 3 Items | 978.4 kB | 0 | |
Metatheory v2.0.2
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)