Coq-tools

Latest version: v0.0.7

Safety actively analyzes 714973 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 1 of 2

0.0.7

**Full Changelog**: https://github.com/JasonGross/coq-tools/compare/v0.0.6...v0.0.7

0.0.6

What's Changed
* Add `--add-proof-using` by JasonGross in https://github.com/JasonGross/coq-tools/pull/265


**Full Changelog**: https://github.com/JasonGross/coq-tools/compare/v0.0.5...v0.0.6

0.0.5

What's Changed
* Add parentheses for clarity by JasonGross in https://github.com/JasonGross/coq-tools/pull/182
* Be more robust to utf-8 decoding errors by JasonGross in https://github.com/JasonGross/coq-tools/pull/183
* Set up infrastructure for `--no-deps` warning by JasonGross in https://github.com/JasonGross/coq-tools/pull/184
* Emit a warning & `--no-deps` suggestion by JasonGross in https://github.com/JasonGross/coq-tools/pull/181
* Bump actions/setup-python from 4 to 5 by dependabot in https://github.com/JasonGross/coq-tools/pull/185
* Bump sigstore/gh-action-sigstore-python from 2.1.0 to 2.1.1 by dependabot in https://github.com/JasonGross/coq-tools/pull/187
* Bump actions/download-artifact and actions/upload-artifact from 3 to 4 by JasonGross in https://github.com/JasonGross/coq-tools/pull/189
* [CI] Run at midnight PST, not 4pm PST by JasonGross in https://github.com/JasonGross/coq-tools/pull/190
* Configure Renovate by renovate in https://github.com/JasonGross/coq-tools/pull/192
* Update peter-evans/create-pull-request action to v6 by renovate in https://github.com/JasonGross/coq-tools/pull/193
* Handle comments and import categories by JasonGross in https://github.com/JasonGross/coq-tools/pull/196
* Drop support for Python 3.5 (no longer available on CI) by JasonGross in https://github.com/JasonGross/coq-tools/pull/198
* Remove Python 3.5 from CI by JasonGross in https://github.com/JasonGross/coq-tools/pull/199
* Partial compat with coq/coq19310 by JasonGross in https://github.com/JasonGross/coq-tools/pull/200
* Partial compat with coq/coq19310 by JasonGross in https://github.com/JasonGross/coq-tools/pull/201
* compat with coq/coq19310 by JasonGross in https://github.com/JasonGross/coq-tools/pull/202
* Update sigstore/gh-action-sigstore-python action to v3 by renovate in https://github.com/JasonGross/coq-tools/pull/203
* More compat with coq/coq19310 by JasonGross in https://github.com/JasonGross/coq-tools/pull/204
* Add some type annotations for pylint by JasonGross in https://github.com/JasonGross/coq-tools/pull/205
* Add `--inline-stdlib` alias of `--inline-coqlib` by JasonGross in https://github.com/JasonGross/coq-tools/pull/208
* Account for Coq => Stdlib replacement by JasonGross in https://github.com/JasonGross/coq-tools/pull/209
* [CI] use venv to avoid errors by JasonGross in https://github.com/JasonGross/coq-tools/pull/212
* Attempt to fix example 056 by making it more permissive and checking versions more by JasonGross in https://github.com/JasonGross/coq-tools/pull/213
* Adapt to coq/coq19388 (line breaking changed) by SkySkimmer in https://github.com/JasonGross/coq-tools/pull/210
* Don't publish to test-pypi on forks by JasonGross in https://github.com/JasonGross/coq-tools/pull/214
* Update peter-evans/create-pull-request action to v7 by renovate in https://github.com/JasonGross/coq-tools/pull/215
* Try threading through statements in try_strip_extra_lines instead of deriving it from scratch by JasonGross in https://github.com/JasonGross/coq-tools/pull/218
* Thread `-top` from failing coqc by JasonGross in https://github.com/JasonGross/coq-tools/pull/220
* Adapt to https://github.com/coq/coq/pull/19530 by proux01 in https://github.com/JasonGross/coq-tools/pull/221
* Log the cwd for debugging purposes by JasonGross in https://github.com/JasonGross/coq-tools/pull/222
* Thread through base_dir in more places by JasonGross in https://github.com/JasonGross/coq-tools/pull/225
* Autoreformat with vscode by JasonGross in https://github.com/JasonGross/coq-tools/pull/227
* Avoid type error in concatenating path and str by JasonGross in https://github.com/JasonGross/coq-tools/pull/228
* Bind temp directory with -Q instead of -R when available by JasonGross in https://github.com/JasonGross/coq-tools/pull/230
* Adapt to https://github.com/coq/coq/pull/19530 by proux01 in https://github.com/JasonGross/coq-tools/pull/231
* Warn when .glob files are clobbered by JasonGross in https://github.com/JasonGross/coq-tools/pull/232
* Don't try to clobber glob files with ambiguous time stamps that fail to build by JasonGross in https://github.com/JasonGross/coq-tools/pull/233
* CI: Also test 8.20, 8.19 by JasonGross in https://github.com/JasonGross/coq-tools/pull/235
* Hack to work around lack of installed .glob by JasonGross in https://github.com/JasonGross/coq-tools/pull/236
* Hopeful compatibility with coq/coq19599 by JasonGross in https://github.com/JasonGross/coq-tools/pull/237
* Be more Mac OSX proof by JasonGross in https://github.com/JasonGross/coq-tools/pull/238
* Hopeful compatibility with coq/coq19599 by JasonGross in https://github.com/JasonGross/coq-tools/pull/239
* Avoid joining with '' when coqpath is empty by JasonGross in https://github.com/JasonGross/coq-tools/pull/241
* Adapt to https://github.com/coq/coq/pull/19530 by proux01 in https://github.com/JasonGross/coq-tools/pull/240
* Factor out subprocess calls by JasonGross in https://github.com/JasonGross/coq-tools/pull/244
* Use -nois and -boot for modname validity checking by JasonGross in https://github.com/JasonGross/coq-tools/pull/245
* Reorder coq_version.py to minimize future diff by JasonGross in https://github.com/JasonGross/coq-tools/pull/247
* Thread coqlib through coq running support by JasonGross in https://github.com/JasonGross/coq-tools/pull/246
* Use -boot -nois in more places by JasonGross in https://github.com/JasonGross/coq-tools/pull/248
* Update tests to work on MacOS by JasonGross in https://github.com/JasonGross/coq-tools/pull/251
* Add support for `rocq c` by JasonGross in https://github.com/JasonGross/coq-tools/pull/249
* Add some tests for MacOS and Windows by JasonGross in https://github.com/JasonGross/coq-tools/pull/250
* Wire up --ocamlpath by JasonGross in https://github.com/JasonGross/coq-tools/pull/255
* Fix inline-imports by JasonGross in https://github.com/JasonGross/coq-tools/pull/257
* Don't overwrite existing Admitted or admit Defined definitions by JasonGross in https://github.com/JasonGross/coq-tools/pull/258
* Add list_diff, BooleanOptionalAction compat to util by JasonGross in https://github.com/JasonGross/coq-tools/pull/259
* Don't add the admit tactic when we're not adding admits by JasonGross in https://github.com/JasonGross/coq-tools/pull/260
* Also remove Ltac2 when possible by JasonGross in https://github.com/JasonGross/coq-tools/pull/261
* Silence warnings about string quotations by JasonGross in https://github.com/JasonGross/coq-tools/pull/263
* Try Import Coq.Init.Prelude at the top by JasonGross in https://github.com/JasonGross/coq-tools/pull/266
* Keep proof using when it is present by JasonGross in https://github.com/JasonGross/coq-tools/pull/264
* Pass MINIMIZE_REQUIRES, INLINE_IMPORTS on CI by JasonGross in https://github.com/JasonGross/coq-tools/pull/256
* Allow minimizing succeeding files with `--no-error` flag by JasonGross in https://github.com/JasonGross/coq-tools/pull/262

New Contributors
* renovate made their first contribution in https://github.com/JasonGross/coq-tools/pull/192
* SkySkimmer made their first contribution in https://github.com/JasonGross/coq-tools/pull/210
* proux01 made their first contribution in https://github.com/JasonGross/coq-tools/pull/221

**Full Changelog**: https://github.com/JasonGross/coq-tools/compare/v0.0.4...v0.0.5

0.0.4

**Full Changelog**: https://github.com/JasonGross/coq-tools/compare/v0.0.3...v0.0.4

0.0.3

What's Changed
* Update publish.yml with hopefully correct path by JasonGross in https://github.com/JasonGross/coq-tools/pull/178

**Full Changelog**: https://github.com/JasonGross/coq-tools/compare/v0.0.2...v0.0.3

0.0.2

Automatically deploying standalone versions as well, no changes to PyPI package

What's Changed
* Package Version Bump by github-actions in https://github.com/JasonGross/coq-tools/pull/171
* Bump sigstore/gh-action-sigstore-python from 1.2.3 to 2.1.0 by dependabot in https://github.com/JasonGross/coq-tools/pull/172
* Also test standalone builds on CI by JasonGross in https://github.com/JasonGross/coq-tools/pull/170
* Try to work around pyinstaller error differently by JasonGross in https://github.com/JasonGross/coq-tools/pull/173
* Combine TestPyPi and PyPi publishing workflows by JasonGross in https://github.com/JasonGross/coq-tools/pull/175

New Contributors
* github-actions made their first contribution in https://github.com/JasonGross/coq-tools/pull/171

**Full Changelog**: https://github.com/JasonGross/coq-tools/compare/v0.0.1...v0.0.2

Page 1 of 2

Links

Releases

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.