Skip to content

Issues: JasonGross/coq-tools

Minimizer sometimes fails to inline files
#142 opened Dec 12, 2022 by JasonGross
Open 2
Dependency Dashboard
#194 opened Feb 12, 2024 by renovate bot
Open
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 76 Closed
37 Open 76 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

absolutizer should support restriction to specified constants
#197 opened May 19, 2024 by JasonGross
Dependency Dashboard
#194 opened Feb 12, 2024 by renovate bot
1 task
Support selectively avoiding inlining modules enhancement
#161 opened Aug 17, 2023 by JasonGross
1
Add passes to remove opaque module type ascriptions enhancement minimize more Issues related to getting the minimizer to do more minimization
#158 opened May 4, 2023 by JasonGross
Minimizer: try to replace Proof term. with Admitted.
#154 opened Apr 18, 2023 by SkySkimmer
1
[enhancement] Handle Equations enhancement help wanted minimize more Issues related to getting the minimizer to do more minimization
#153 opened Apr 5, 2023 by JasonGross
2
Minimizer: try to split <+ into Include minimize more Issues related to getting the minimizer to do more minimization
#149 opened Mar 16, 2023 by SkySkimmer
1
Bad minimization with }
#147 opened Mar 8, 2023 by SkySkimmer
4
Clean up automatically after Extraction TestCompile enhancement
#145 opened Mar 4, 2023 by JasonGross
1
Minimizer sometimes fails to inline files minimize more Issues related to getting the minimizer to do more minimization needs-test-case-to-reproduce
#142 opened Dec 12, 2022 by JasonGross
2
Handle coqchk error minimization enhancement requires careful thought
#141 opened Dec 12, 2022 by JasonGross
3
Add pass to remove useless transparent module type ascriptions enhancement help wanted minimize more Issues related to getting the minimizer to do more minimization
#140 opened Oct 7, 2022 by JasonGross
Impose a timeout on splitting the file
#128 opened Aug 2, 2022 by JasonGross
minimize-requires doesn't work on the HoTT library
#123 opened Jun 9, 2022 by jdchristensen
minimize-requires.py is writing extra .bak files
#122 opened Jun 9, 2022 by jdchristensen
Tests fail on MacOS
#118 opened Apr 9, 2022 by Blaisorblade
Use Print Options for better minimization control enhancement help wanted
#113 opened Feb 8, 2022 by JasonGross
Sensitivity to universe ordering bug
#112 opened Feb 8, 2022 by JasonGross
Should the bug minimizer support Cd?
#108 opened Feb 6, 2022 by JasonGross
Minimize final proof script enhancement
#105 opened Jan 20, 2022 by JasonGross
[feature] Support minimizing multiple files simultaneously without merging them enhancement help wanted
#102 opened Dec 13, 2021 by JasonGross
Feature request: minimize out of memory error enhancement
#100 opened Dec 1, 2021 by ana-borges
4
.glob-file generation and require normalization should respect -top
#95 opened Nov 14, 2021 by JasonGross
Minimize command line arguments enhancement minimize more Issues related to getting the minimizer to do more minimization
#92 opened Nov 10, 2021 by JasonGross
Remove well-parenthesized structure other than just definitions enhancement minimize more Issues related to getting the minimizer to do more minimization
#89 opened Nov 10, 2021 by JasonGross
1
ProTip! Mix and match filters to narrow down what you’re looking for.