v0.0.42

What's Changed

• Add native Python coqchk support to find_bug.py by @JasonGross in #404

Full Changelog: v0.0.41...v0.0.42

v0.0.41

What's Changed

• Add --chk flag to find_bug for coqchk error detection by @JasonGross in #403

Full Changelog: v0.0.40...v0.0.41

v0.0.40

What's Changed

• Add memory usage tracking to get_coq_output by @JasonGross in #384
• Only bind dirnames that exist with inline-{stdlib,coqlib} by @JasonGross in #397
• Add memory limit flags: --max-mem-rss, --max-mem-as, --cgroup, --cgexec by @JasonGross in #385
• Don't keep adding back Requires in the Ltac support snippet after inlining them by @JasonGross in #400
• Support multiplier memory limits by @JasonGross in #395
• Add workflow to auto-generate requirements.txt from pyproject.toml by @Copilot in #389
• Use requirements.txt for dependency installation in CI workflows by @Copilot in #391
• Pin to an older version of setup-tools by @JasonGross in #394

Full Changelog: v0.0.39...v0.0.40

v0.0.39

What's Changed

• Add --only-inline argument to do almost nothing but inlining by @JasonGross in #383

Full Changelog: v0.0.38...v0.0.39

v0.0.38

What's Changed

• Allow passing --no-split-oneline-definitions by @JasonGross in #381

Full Changelog: v0.0.37...v0.0.38

v0.0.37

What's Changed

• Enable logging by kind/class instead of only by verbosity level by @Copilot in #375
• Allow customizing timeout when inlining by @JasonGross in #380

New Contributors

• @Copilot made their first contribution in #375

Full Changelog: v0.0.36...v0.0.37

v0.0.36

What's Changed

• Add --faster-skip-repeat-edit-suffixes and --try-all-inlining-and-minimization-again-at-end flags by @JasonGross in #369

Full Changelog: v0.0.35...v0.0.36

v0.0.35

What's Changed

• Fix the problem where d1' < d2' and d2' < d1' can be true in compare_libs by @JasonGross in #365
• Add a bit more logging at verbosity 4 and 5 by @JasonGross in #366
• Use dictionary comprehension syntax compatible with older versions of python by @JasonGross in #368
• Normalizing / lifting requires is now done more frequently by @JasonGross in #367

Full Changelog: v0.0.34...v0.0.35

v0.0.34

What's Changed

• Sort requires by component when normalizing by @JasonGross in #356

Full Changelog: v0.0.33...v0.0.34

v0.0.33

What's Changed

• Don't remove instances/notations when looking at definitionish by @JasonGross in #363

Full Changelog: v0.0.32...v0.0.33