Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Repository
Branches
Overview
Active
Stale
All
Active branches
pr-18906
1fc9c91c
·
[CI merge] PR #18906: [lib] Try to handle critical exceptions from memprof.
·
Apr 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18947
560b5e6e
·
[CI merge] PR #18947: deprecate Bvector
·
Apr 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18973
36b0b072
·
[CI merge] PR #18973: Add primitive [char] and [string] types.
·
Apr 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18890
e7e8f8ca
·
[CI merge] PR #18890: [declare] Consolidate `Proof Using` handling.
·
Apr 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
c5614d04
·
Merge PR #18957: Properly flush -time-file at exit
·
Apr 25, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
v8.0
protected
6aecb9a1
·
Default CoqIDE modifiers for menu did not work (e.g. "d" was
·
Mar 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.1
protected
f7cdf553
·
Minor patch to build Coq 8.1 on OS X (no native "cp --parent").
·
Apr 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.4
protected
7f2240ff
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.3
protected
04a6362f
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.2
protected
be16dcb3
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar