Skip to content

Pull requests: MetaCoq/metacoq

New pull request New
31 Open 962 Closed
31 Open 962 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump cachix/cachix-action from 15 to 16 dependencies
#1149 opened Mar 11, 2025 by dependabot bot
Bump cachix/install-nix-action from 30 to 31 dependencies
#1148 opened Mar 10, 2025 by dependabot bot
Nix CI for 8.20 branch
#1143 opened Jan 31, 2025 by 4ever2
1
CI stop testing ocaml 4.09 (equations needs >= 4.10 now)
#1142 opened Jan 31, 2025 by SkySkimmer
3
WIP: implement lazy by lambda in EAst
#1140 opened Jan 29, 2025 by yforster • Draft
tmMkInductive should not be used in a tactic
#1130 opened Dec 19, 2024 by yforster
1
Fix opacity issues in EqDec term
#1125 opened Nov 26, 2024 by yforster
Better template-coq printers
#1124 opened Nov 25, 2024 by MathisBD
4
Improve evar_map handling in tmMkDefinition and friends
#1111 opened Nov 1, 2024 by MathisBD
1
Nix CI reverse dependency compatibility testing
#1107 opened Oct 15, 2024 by 4ever2
5
Add .mailmap for git shortlog -nse
#1106 opened Oct 15, 2024 by JasonGross
Take relevance into account for typing
#1101 opened Sep 16, 2024 by yannl35133
Add PCUICESubst file to verify Coq code
#1099 opened Sep 4, 2024 by yannl35133
Add Nix flakes-based build scripts
#1097 opened Jul 31, 2024 by spacefrogg
3
Add StateT Monad Transformer
#952 opened Apr 20, 2023 by JasonGross
6
Add PCUICAstUtils.decompose_app_cps
#951 opened Apr 20, 2023 by JasonGross
Only run nix on push events and if the word is in the commit message
#950 opened Apr 20, 2023 by yforster
1
Optimize tmBind
#916 opened Apr 8, 2023 by JasonGross • Draft
1
1
Move some general utility lemmas from TypingWf to All_Forall
#913 opened Apr 8, 2023 by JasonGross • Draft
Make All universe polymorphic
#888 opened Apr 2, 2023 by JasonGross • Draft
1
Add a kludgy implementation of tmTry
#876 opened Mar 28, 2023 by JasonGross
1
Add some automation to All_Forall for proving via nth_error
#833 opened Jan 24, 2023 by JasonGross • Draft
2
Run make to update template-coq/gen-src/cRelationClasses.mli.orig
#791 opened Nov 22, 2022 by JasonGross • Draft
8
Define a minimal subset of Module(Type) Declarations in template-coq
#739 opened Jul 13, 2022 by SwampertX • Draft
SProp
#708 opened May 20, 2022 by yannl35133 • Draft
ProTip! no:milestone will show everything without a milestone.