Open Hub
Open Hub

 Settings |  Report Duplicate

20
I Use This!
Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Dec 03, 2024 — Dec 03, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Include instruction counts in bench per-command html outputs
Gaëtan Gilbert
More... 16 days ago
Merge PR #21323: Fix incorrect location of assert tactics
coqbot-app[bot]
More... 16 days ago
Merge PR #21317: Do not rely on the global environment for abstract name generation.
coqbot-app[bot]
More... 16 days ago
Merge PR #21275: Stop looking at Printing Universes during externalisation
coqbot-app[bot]
More... 16 days ago
Add overlays
Pierre Roux
More... 16 days ago
generalize DeclareScheme from Constant.t to GlobRef.t
Thomas Lamiaux
More... 17 days ago
Add a test for the behaviour observed in the PR.
Pierre-Marie Pédrot
More... 17 days ago
Fix incorrect location of assert tactics
Gaëtan Gilbert
More... 17 days ago
Debugger: add exninfo printer
Gaëtan Gilbert
More... 17 days ago
Simplify Hipattern.find_eq_data
Gaëtan Gilbert
More... 17 days ago
Remove old commented code in hipattern
Gaëtan Gilbert
More... 17 days ago
Stop catching anomalies in Tactics.my_find_eq_data_decompose
Gaëtan Gilbert
More... 17 days ago
Remove unused Environ.set_qvars
Gaëtan Gilbert
More... 17 days ago
Merge PR #21272: Instances-mod-elim-constraints
coqbot-app[bot]
More... 17 days ago
Merge PR #21301: Faster constant access in simpl reduction.
coqbot-app[bot]
More... 17 days ago
Merge PR #21316: Do not call Global in UState.
coqbot-app[bot]
More... 17 days ago
Do not rely on the global environment for abstract name generation.
Pierre-Marie Pédrot
More... 17 days ago
Do not call Global in UState.
Pierre-Marie Pédrot
More... 17 days ago
Merge PR #21308: ci-coq_tools: Locally install python deps
coqbot-app[bot]
More... 18 days ago
Fix Derive to handle dependent types correctly by reversing context
copilot-swe-agent[bot]
More... 19 days ago
Add BothA for multi-associativity
ia0
More... 20 days ago
ci-coq_tools: Locally install python deps
Gaëtan Gilbert
More... 20 days ago
Tolerate adding constants between generating a side effect certificate and checking it
Gaëtan Gilbert
More... 20 days ago
Merge PR #21253: Windows opam file patch
coqbot-app[bot]
More... 20 days ago
Merge PR #21215: Ltac2 "constr" syntax classes accept custom entries, explicit levels
coqbot-app[bot]
More... 20 days ago
Merge PR #21240: Add "Ltac2 Import Type" command
coqbot-app[bot]
More... 20 days ago
Merge PR #21264: Ltac2 Set support Global
coqbot-app[bot]
More... 20 days ago
Merge PR #21299: Ltac2 Backtrace Compact
coqbot-app[bot]
More... 20 days ago
Merge PR #21302: save_library_base fix order of file closing and removing
coqbot-app[bot]
More... 20 days ago
Use Gc.ramp_up on ocaml >= 5.4
Gaëtan Gilbert
More... 20 days ago