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 #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
|
\
\
*
\
\
Merge PR #6358: [ci] Download ci-sf archives into the proper CI build dir.
Maxime Dénès
2017-12-11
|
\
\
\
*
\
\
\
Merge PR #6351: Fix a copy-paste error in ci-ltac2.
Maxime Dénès
2017-12-11
|
\
\
\
\
*
\
\
\
\
Merge PR #6346: [ci] CoLoR has moved to github
Maxime Dénès
2017-12-11
|
\
\
\
\
\
*
|
|
|
|
|
[ci] Temporal workaround for checker non-backwards compatible change.
Emilio Jesus Gallego Arias
2017-12-10
|
|
|
*
|
|
[ci] Download ci-sf archives into the proper CI build dir.
Emilio Jesus Gallego Arias
2017-12-09
|
|
_
|
/
/
/
|
/
|
|
|
|
|
|
*
|
|
Fix a copy-paste error in ci-ltac2.
Théo Zimmermann
2017-12-08
*
|
|
|
|
Merge PR #6158: Allows a level in the raw and glob printers
Maxime Dénès
2017-12-08
|
\
\
\
\
\
|
|
*
|
|
|
[ci] CoLoR has moved to github
Emilio Jesus Gallego Arias
2017-12-07
|
|
/
/
/
/
|
/
|
|
|
|
|
|
|
*
|
Overlay for Equations.
Gaëtan Gilbert
2017-12-06
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
[ci] Test coqchk on the CompCert target.
Théo Zimmermann
2017-11-30
*
|
|
|
[ci] [vst] Shorten compilation time to avoid Travis timeouts.
Emilio Jesus Gallego Arias
2017-11-28
|
|
_
|
/
|
/
|
|
|
*
|
Adding overlay for ltac2.
Hugo Herbelin
2017-11-27
|
|
/
*
/
Overlay for stronger restrict_universe_context.
Gaëtan Gilbert
2017-11-25
|
/
*
Merge PR #876: In omega or romega, recognizing Z and nat modulo conversion
Maxime Dénès
2017-11-24
|
\
|
*
Adding ad hoc overlay for sf/vfa.
Hugo Herbelin
2017-11-23
*
|
[plugin] Remove LocalityFixme über hack.
Emilio Jesus Gallego Arias
2017-11-22
|
/
*
Add Equations to CI
Matthieu Sozeau
2017-11-20
*
Merge PR #6126: Fix ci-bignums.sh "missing ]" error.
Maxime Dénès
2017-11-13
|
\
*
\
Merge PR #6071: [ci] Add Ltac2
Maxime Dénès
2017-11-13
|
\
\
|
|
*
Fix ci-bignums.sh "missing ]" error.
Gaëtan Gilbert
2017-11-09
|
|
/
|
/
|
|
*
[ci] Add Ltac2
Jason Gross
2017-11-04
*
|
[ci] Switch VST back to upstream.
Théo Zimmermann
2017-10-30
|
/
*
[ci] Switch back to upstream version of Math-Classes and Corn.
Théo Zimmermann
2017-10-27
*
Merge PR #6003: Point HoTT back at master, which now supports Coq master
Maxime Dénès
2017-10-25
|
\
[next]