summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge PR #18957: Properly flush -time-file at exitcoqbot-app[bot]12 hours
v8.0Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configureJason Gross20 months
v8.13Merge PR #16232: [v8.13] Backport #15271: Delay removing native_compute .ml f...Jason Gross22 months
v8.16Unset the release flag.Pierre-Marie Pédrot17 months
v8.17Merge PR #18496: [v8.17] Backport PR #17638: Guard many unguarded `try..with`...Gaëtan Gilbert3 months
v8.18Merge PR #18016: [release] bump version to 8.18.0Enrico Tassi8 months
v8.19Set version number to 8.19.1Gaëtan Gilbert8 weeks
v8.5v8.5: Fix CAMLP4DEPS invocationGaëtan Gilbert13 months
v8.6Merge PR #16264: [v8.6] Backport #15271: Delay removing native_compute .ml fi...Jason Gross22 months
v8.7Merge PR #16263: [v8.7] Backport #15271: Delay removing native_compute .ml fi...Jason Gross22 months
[...]
 
TagDownloadAuthorAge
V8.19.1coq-8.19.1.zip  coq-8.19.1.tar.gz  coq-8.19.1.tar.bz2  Gaëtan Gilbert8 weeks
V8.19.0coq-8.19.0.zip  coq-8.19.0.tar.gz  coq-8.19.0.tar.bz2  Gaëtan Gilbert3 months
V8.19+rc1coq-8.19+rc1.zip  coq-8.19+rc1.tar.gz  coq-8.19+rc1.tar.bz2  Gaëtan Gilbert4 months
V8.20+alphacoq-8.20+alpha.zip  coq-8.20+alpha.tar.gz  coq-8.20+alpha.tar.bz2  Gaëtan Gilbert5 months
V8.18.0coq-8.18.0.zip  coq-8.18.0.tar.gz  coq-8.18.0.tar.bz2  Enrico Tassi8 months
V8.18+rc1coq-8.18+rc1.zip  coq-8.18+rc1.tar.gz  coq-8.18+rc1.tar.bz2  Enrico Tassi9 months
V8.19+alphacoq-8.19+alpha.zip  coq-8.19+alpha.tar.gz  coq-8.19+alpha.tar.bz2  Enrico Tassi10 months
V8.17.1coq-8.17.1.zip  coq-8.17.1.tar.gz  coq-8.17.1.tar.bz2  Théo Zimmermann10 months
V8.17.0coq-8.17.0.zip  coq-8.17.0.tar.gz  coq-8.17.0.tar.bz2  Théo Zimmermann13 months
V8.17+rc1coq-8.17+rc1.zip  coq-8.17+rc1.tar.gz  coq-8.17+rc1.tar.bz2  Théo Zimmermann16 months
[...]
 
AgeCommit messageAuthor
12 hoursMerge PR #18957: Properly flush -time-file at exitmastercoqbot-app[bot]
36 hoursMerge PR #18974: Fix build on master (parallel merges of erelevance and ltac2...coqbot-app[bot]
39 hoursFix build on master (parallel merges of erelevance and ltac2 API)refs/pull/18974/headGaëtan Gilbert
41 hoursMerge PR #18764: Add some Ltac2.Constr.Unsafe combinatorscoqbot-app[bot]
2 daysMerge PR #18938: Add EConstr.ERelevance abstraction barrier to force normaliz...coqbot-app[bot]
4 daysMerge PR #18952: Cleanup some STM related APIs in declare.mlcoqbot-app[bot]
5 daysMerge PR #18936: remove NArith.Ndigits, NArith.Ndist, and Strings.ByteVectorcoqbot-app[bot]
6 daysAdd Constr.Unsafe.{iter,iter_with_binders,map}refs/pull/18764/headGaëtan Gilbert
6 daysAdd Ltac2.Constr.Unsafe.kind_nocastGaëtan Gilbert
6 daysProperly flush -time-file at exitrefs/pull/18957/headGaëtan Gilbert
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/coq.git
git://github.com/coq/coq.git
https://github.com/coq/coq.git
generated by cgit v0.10.2-6-g49f6 at 2024-04-26 01:14:29 (GMT)