Open Hub
Open Hub

 Settings |  Report Duplicate

20
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 3 days ago.
Jun 11, 2025 — Jun 11, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge PR #22116: Avoid empty GIT_DEPTH for linter job
coqbot-app[bot]
More... 3 days ago
lint job git_depth 50
Gaëtan Gilbert
More... 3 days ago
Merge PR #22117: bench auto overlay stdlib
coqbot-app[bot]
More... 3 days ago
Merge PR #22099: [fix] move univ poly option to synterp phase (fixes issue in VsRocq + elpi)
coqbot-app[bot]
More... 3 days ago
Move univ poly option to synterp
Matthieu Sozeau
More... 3 days ago
bench auto overlay stdlib
Gaëtan Gilbert
More... 4 days ago
Merge PR #22112: Print the segment hash in votour toplevel output.
coqbot-app[bot]
More... 4 days ago
Merge PR #22097: Fix program typing bug
coqbot-app[bot]
More... 4 days ago
Merge PR #22096: [fix] ssrmatching/equality and univ poly handling
coqbot-app[bot]
More... 5 days ago
Merge PR #22074: Remove more global lazys
coqbot-app[bot]
More... 6 days ago
Print the segment hash in votour toplevel output.
Pierre-Marie Pédrot
More... 7 days ago
Merge PR #22092: Parse Ltac2 matches at level 0.
coqbot-app[bot]
More... 8 days ago
Merge PR #22098: Fix with-jobs.sh on OS X
coqbot-app[bot]
More... 9 days ago
Make with-jobs work on OS X, where nproc is unavailable
Matthieu Sozeau
More... 9 days ago
[fix] program fixpoint not typechecking its whole construction, potentially missing univ constraints
Matthieu Sozeau
More... 9 days ago
Merge PR #22087: Move check_hyps_inclusion out of the kernel
coqbot-app[bot]
More... 11 days ago
Merge PR #22089: Add a set primitive to the Range module.
coqbot-app[bot]
More... 11 days ago
Merge PR #22090: Abstract the val variant of context datatypes.
coqbot-app[bot]
More... 11 days ago
Parse Ltac2 matches at level 0.
Rodolphe Lepigre
More... 11 days ago
Merge PR #22077: Reduction effects use econstr
coqbot-app[bot]
More... 11 days ago
Merge PR #22079: Avoid printing missing-scheme warning when rewrite fails
coqbot-app[bot]
More... 11 days ago
Add overlays.
Pierre-Marie Pédrot
More... 11 days ago
Abstract the val variant of context datatypes.
Pierre-Marie Pédrot
More... 12 days ago
Add a set primitive to the Range module.
Pierre-Marie Pédrot
More... 12 days ago
Merge PR #22070: Store template inductive data abstracted w.r.t. template levels.
coqbot-app[bot]
More... 12 days ago
Move check_hyps_inclusion out of the kernel
Gaëtan Gilbert
More... 12 days ago
Merge PR #21987: Keep track of which variables are section variables and use this info to fix bugs
coqbot-app[bot]
More... 13 days ago
Rename is_section_variable' -> is_section_variable_env
Gaëtan Gilbert
More... 13 days ago
Merge PR #22085: Correctly handle iris projects in ci-reset script.
coqbot-app[bot]
More... 13 days ago
Merge PR #22075: Makefile.ci use wildcard instead of exhaustive list of CI_TARGETS
coqbot-app[bot]
More... 13 days ago