index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
dev
/
ci
Commit message (
Expand
)
Author
Age
*
Merge PR #6881: [windows] support -addon in build script
Maxime Dénès
2018-03-08
|
\
|
*
build: win: turn off build/installation of gnu Make
Enrico Tassi
2018-03-06
*
|
Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.
Maxime Dénès
2018-03-04
|
\
\
*
\
\
Merge PR #6676: [proofview] goals come with a state
Maxime Dénès
2018-03-04
|
\
\
\
|
|
|
*
build: win: addon bignums
Enrico Tassi
2018-03-02
|
|
_
|
/
|
/
|
|
|
|
*
[econstr] Continue consolidation of EConstr API under `interp`.
Emilio Jesus Gallego Arias
2018-02-28
|
|
/
|
/
|
*
|
[ast] Improve precision of Ast location recognition in serialization.
Emilio Jesus Gallego Arias
2018-02-22
|
*
overlay for ltac2 and Equations
Enrico Tassi
2018-02-20
*
|
ci: add elpi
Enrico Tassi
2018-02-19
|
/
*
Merge PR #6706: ci-common: guess CI_BRANCH for local builds
Maxime Dénès
2018-02-12
|
\
*
\
Merge PR #6610: Points to Flocq official repository.
Maxime Dénès
2018-02-07
|
\
\
*
\
\
Merge PR #6686: Kernel/checker reduction cleanups around projection unfolding
Maxime Dénès
2018-02-07
|
\
\
\
|
|
|
*
ci-common: guess CI_BRANCH for local builds
Gaëtan Gilbert
2018-02-07
|
|
_
|
/
|
/
|
|
|
|
*
Points to Flocq official repository.
Théo Zimmermann
2018-02-05
|
|
/
|
/
|
|
*
Add overlay for equations (nf_beta takes an env)
Gaëtan Gilbert
2018-02-05
*
|
Merge PR #6654: CI: Run coqchk on Iris
Maxime Dénès
2018-02-05
|
\
\
|
|
/
|
/
|
|
*
CI: Run coqchk on Iris
Ralf Jung
2018-01-31
*
|
Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m...
Maxime Dénès
2018-01-31
|
\
\
*
\
\
Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.
Maxime Dénès
2018-01-31
|
\
\
\
|
|
_
|
/
|
/
|
|
|
|
*
Put default value for NJOBS in ci-common.
Gaëtan Gilbert
2018-01-30
|
|
/
|
/
|
|
*
Adding an overlay for Equations.
Pierre-Marie Pédrot
2018-01-30
*
|
Merge PR #6568: Cleanup scripts
Maxime Dénès
2018-01-23
|
\
\
|
*
|
Source basic overlay before user overlays.
Gaëtan Gilbert
2018-01-16
|
*
|
Cleanup shell expansions and quoting.
Gaëtan Gilbert
2018-01-16
|
|
/
*
|
Merge PR #6483: Strong invariants in polymorphic definitions
Maxime Dénès
2018-01-12
|
\
\
|
*
|
Adding a custom Travis overlay for HoTT.
Pierre-Marie Pédrot
2018-01-11
*
|
|
Merge PR #6557: First stab at documenting the test suite.
Maxime Dénès
2018-01-11
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
First stab at documenting the test suite.
Jasper Hugunin
2018-01-06
|
|
/
*
/
Normalize Windows installer names.
Théo Zimmermann
2018-01-04
|
/
*
Merge PR #6493: [API] remove large file containing duplicate interfaces
Maxime Dénès
2017-12-29
|
\
*
\
Merge PR #6405: Remove the local polymorphic flag hack.
Maxime Dénès
2017-12-29
|
\
\
|
|
*
overlay for #6493
Enrico Tassi
2017-12-27
|
|
/
|
/
|
*
|
Merge PR #6102: Fix #5998: AppVeyor package building is currently failing
Maxime Dénès
2017-12-27
|
\
\
|
|
*
Add equations overlay.
Maxime Dénès
2017-12-27
|
|
/
|
/
|
|
*
Fix #5998: AppVeyor package building is currently failing
Maxime Dénès
2017-12-27
*
|
Fix overlay selection for Circle CI.
Gaëtan Gilbert
2017-12-26
*
|
Delete old overlays (leaving example)
Gaëtan Gilbert
2017-12-26
*
|
Fix CI with parallel make (messed up dependencies)
Gaëtan Gilbert
2017-12-21
*
|
Merge PR #6400: Circle CI
Maxime Dénès
2017-12-19
|
\
\
*
\
\
Merge PR #6217: Do dependencies in 1 command per file class.
Maxime Dénès
2017-12-18
|
\
\
\
*
\
\
\
Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.
Maxime Dénès
2017-12-18
|
\
\
\
\
|
|
*
|
|
Overlay for unimath.
Gaëtan Gilbert
2017-12-15
*
|
|
|
|
Merge PR #6392: [econstr] Cleanup in `vernac/classes.ml`
Maxime Dénès
2017-12-15
|
\
\
\
\
\
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
|
*
|
|
[econstr] Switch constrintern API to non-imperative style.
Emilio Jesus Gallego Arias
2017-12-15
|
|
/
/
/
*
|
|
|
Merge PR #6169: Clean up/deprecated options
Maxime Dénès
2017-12-14
|
\
\
\
\
|
|
|
|
*
Put bignums, math-classes and corn dependencies in Makefile
Gaëtan Gilbert
2017-12-13
|
|
*
|
|
[econstr] Cleanup in `vernac/classes.ml`.
Emilio Jesus Gallego Arias
2017-12-13
|
|
|
|
/
|
|
|
/
|
*
|
/
|
Revert "[ci] Temporal workaround for checker non-backwards compatible change."
Théo Zimmermann
2017-12-12
|
|
/
/
|
/
|
|
|
*
|
Add overlay.
Théo Zimmermann
2017-12-11
|
/
/
*
|
Merge PR #6324: Fix #6323: stronger restrict universe context vs abstract.
Maxime Dénès
2017-12-11
|
\
\
[next]