Search results

Command line options -boot and -coqlib are incompatible.

Status: Open.

#282 In JasonGross/coq-tools;

· JasonGross opened on Apr 14, 2025

Target minimal changes in proof / goal outputs with <code>--minimize-for-first-proof-diff</code>

big task

enhancement

help wanted

minimize moreIssues related to getting the minimizer to do more minimizationIssues related to getting the minimizer to do more minimization

Status: Open.

#252 In JasonGross/coq-tools;

· JasonGross opened on Feb 3, 2025

the minimizer should support --coqlib and --passing-coqlib explicitly, and thread through these arguments

Status: Open.

#242 In JasonGross/coq-tools;

· JasonGross opened on Jan 25, 2025

more robust handling of .glob files with modification times identical to .v files

help wanted

Status: Open.

#234 In JasonGross/coq-tools;

· JasonGross opened on Oct 18, 2024

bug minimizer does not correctly handle the implicit binding of <code>""</code> to the current directory

Status: Open.

#223 In JasonGross/coq-tools;

· JasonGross opened on Sep 22, 2024

Minification will remove an import that is transitively depended on

enhancement

help wanted

Status: Open.

#211 In JasonGross/coq-tools;

· Durbatuluk1701 opened on Jul 31, 2024

absolutizer should support restriction to specified constants

Status: Open.

#197 In JasonGross/coq-tools;

· JasonGross opened on May 19, 2024

Dependency Dashboard

Status: Open.

#194 In JasonGross/coq-tools;

· renovate opened on Feb 12, 2024

Support selectively avoiding inlining modules

enhancement

Status: Open.

#161 In JasonGross/coq-tools;

· JasonGross opened on Aug 17, 2023

Add passes to remove opaque module type ascriptions

enhancement

minimize moreIssues related to getting the minimizer to do more minimizationIssues related to getting the minimizer to do more minimization

Status: Open.

#158 In JasonGross/coq-tools;

· JasonGross opened on May 4, 2023

Minimizer: try to replace <code>Proof term.</code> with <code>Admitted.</code>

Status: Open.

#154 In JasonGross/coq-tools;

· SkySkimmer opened on Apr 18, 2023

[enhancement] Handle <code>Equations</code>

enhancement

help wanted

minimize moreIssues related to getting the minimizer to do more minimizationIssues related to getting the minimizer to do more minimization

Status: Open.

#153 In JasonGross/coq-tools;

· JasonGross opened on Apr 5, 2023