Coq Tools v0.0.1

Initial release

What's Changed

• Allow the minimizer to work when only -Q is passed by @JasonGross in #43
• Add more versions of Coq to test by @JasonGross in #44
• Add more versions of Coq to test by @JasonGross in #49
• By default, don't be so strict about whitespace by @JasonGross in #47
• Remove more instances of the Admit module by @JasonGross in #48
• Use Python3 rather than Python2 by @JasonGross in #51
• Start using github actions by @JasonGross in #53
• Fix for duplication of vernac under -time by @JasonGross in #64
• filename_of_lib now prefers existing files by @JasonGross in #66
• If inlining files, adjust imports as necessary by @JasonGross in #72
• Force False axiom in Prop by @JasonGross in #75
• Logging: different verbosities for different files by @JasonGross in #77
• Prefer Admitted rather than admit. Defined by @JasonGross in #80
• Minor simplification by @JasonGross in #83
• Factor some use of glob files by @JasonGross in #82
• Run normalize_requires inside minimize_file by @JasonGross in #84
• Add a pass that splits Require by @JasonGross in #85
• Fix test for coqtop -compile, Make example_08-3 always run by @JasonGross in #90
• Move some functions around so diagnose_error can use group_coq_args by @JasonGross in #93
• Since coqc doesn't respect -topname, we build the directory tree by @JasonGross in #94
• Fix definition splitting in Coq > 8.4 by @JasonGross in #97
• Test 8.4 again by @JasonGross in #98
• Add dev branches via docker action, retest 8.4 by @JasonGross in #96
• Bump actions/setup-python from 1 to 2.3.1 by @dependabot in #99
• adapt to coq/coq#15220 by @gares in #101
• Be more robust in absolutizing files by @JasonGross in #104
• Bump actions/setup-python from 2.3.1 to 2.3.2 by @dependabot in #109
• add color for success/nothing changed messages by @Alizter in #114
• Bump actions/setup-python from 2.3.2 to 3 by @dependabot in #115
• Bump actions/checkout from 2 to 3 by @dependabot in #116
• Pass KEEP_ERROR=1 unless coq_makefile is old by @JasonGross in #117
• Bump actions/setup-python from 3 to 4 by @dependabot in #120
• Add new versions of Coq to CI by @JasonGross in #119
• Use default ocaml version in ci-dev by @JasonGross in #125
• Split statements to definitions with passing coqc by @JasonGross in #126
• Recreate directory structure by computing full topname by @JasonGross in #127
• Use three digits rather than two for example numbering by @JasonGross in #130
• Use three digits rather than two for example numbering by @JasonGross in #132
• Add examples for #129 by @JasonGross in #131
• Escape reserved keywords when inlining deps by @JasonGross in #133
• Revert "Escape reserved keywords when inlining deps" by @JasonGross in #135
• Use a different method to check for CI success by @JasonGross in #136
• Start testing ex 20 and 49 again, improve test Makefile by @JasonGross in #137
• Use yet a different method to check for CI success by @JasonGross in #139
• Escape reserved keywords when inlining deps by @JasonGross in #138
• Fix --inline-coqlib, add --inline-prelude by @JasonGross in #144
• Fix splitting of help string by @JasonGross in #151
• Fix handling of -vos flag by @JasonGross in #152
• Don't use coq_makefile when --no-deps is passed by @JasonGross in #157
• fix comment typo in import_util.py by @JasonGross in #159
• [CI] Remove unsupported Python 2.7, add 3.11 by @JasonGross in #160
• Add publications by @JasonGross in #162
• Bump actions/checkout from 3 to 4 by @dependabot in #163
• Merge docker workflow into ci.yml and add more versions of Coq by @JasonGross in #167
• Add setup.py / pip packaging by @JasonGross in #166
• Upload standalone to CI by @JasonGross in #169
• Add infra for deploying to pip coq-tools on release by @JasonGross in #168

New Contributors

• @JasonGross made their first contribution in #43
• @dependabot made their first contribution in #99
• @gares made their first contribution in #101
• @Alizter made their first contribution in #114

Full Changelog: https://github.com/JasonGross/coq-tools/commits/v0.0.1