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
*
[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
*
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
|
\
|
*
Point HoTT back at master, which now supports Coq master
Jason Gross
2017-10-23
*
|
Switch testing branch back to CompCert upstream.
Théo Zimmermann
2017-10-20
*
|
rename ci-iris-coq -> ci-iris-lambda-rust
Ralf Jung
2017-10-19
*
|
CI: build lambdaRust (which depends on Iris) rather than just Iris
Ralf Jung
2017-10-19
|
/
*
Merge PR #1067: Iris CI: use opam to install dependencies
Maxime Dénès
2017-10-10
|
\
*
\
Merge PR #1117: [ci] Remove temporary bignums overlay.
Maxime Dénès
2017-10-09
|
\
\
|
*
|
[ci] Remove temporary bignums overlay.
Théo Zimmermann
2017-10-04
*
|
|
Fix GeoCoq build by using a shared CI configure.
Théo Zimmermann
2017-10-03
|
/
/
*
|
Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file
Maxime Dénès
2017-10-03
|
\
\
|
|
*
start counting at 0...
Ralf Jung
2017-09-29
|
|
*
Iris CI: use opam to determine std++ git commit
Ralf Jung
2017-09-29
|
|
/
|
/
|
*
|
In gitlab set TRAVIS_BRANCH so user overlays will work as expected.
Gaëtan Gilbert
2017-09-20
*
|
Merge PR #979: Fix install-doc target and other gitlab failures
Maxime Dénès
2017-09-15
|
\
\
|
*
|
Fix GitLab CI
Gaëtan Gilbert
2017-09-13
*
|
|
Move README.ci and link to it from CONTRIBUTING.
Théo Zimmermann
2017-09-08
*
|
|
Merge PR #968: Better error messages on the CI
Maxime Dénès
2017-09-07
|
\
\
\
*
\
\
\
Merge PR #914: Making the detyper lazy
Maxime Dénès
2017-09-07
|
\
\
\
\
|
|
|
|
*
Trying to properly propagate errors in Windows CI script.
Maxime Dénès
2017-09-07
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
Make AppVeyor generate Windows package.
Maxime Dénès
2017-09-05
*
|
|
|
Fix Software Foundations build.
Maxime Dénès
2017-09-05
|
|
_
|
/
|
/
|
|
|
*
|
Making detyping potentially lazy.
Pierre-Marie Pédrot
2017-09-04
|
/
/
|
*
Don't strip the newline, don't use \r
Jason Gross
2017-08-24
|
*
Swap order of "aggregating..." message and travis_fold
Jason Gross
2017-08-24
|
*
Only display travis_fold: on travis
Jason Gross
2017-08-24
|
*
Move the rest of the ci target to a bash file
Jason Gross
2017-08-15
|
*
Better error messages on the CI
Jason Gross
2017-08-15
*
|
Have coq-dpdgraph ci test print the differences
Jason Gross
2017-08-01
|
/
*
Merge PR #746: Timing on ci via coq_makefile for various projects
Maxime Dénès
2017-07-31
|
\
*
\
Merge PR #782: Update API for fiat
Maxime Dénès
2017-07-28
|
\
\
|
|
*
Alternate way of doing timing on ci
Jason Gross
2017-07-21
|
|
*
Separate make from python script for HoTT
Jason Gross
2017-07-21
|
|
*
Display timing data travis for various projects
Jason Gross
2017-07-21
|
|
/
|
/
|
*
|
[ci] VST is now built with IGNORECOQVERSION=true.
Théo Zimmermann
2017-07-18
*
|
Merge PR #858: [travis] Remove CompCert version check hack.
Maxime Dénès
2017-07-11
|
\
\
|
*
|
[travis] Remove CompCert version check hack.
Emilio Jesus Gallego Arias
2017-07-05
*
|
|
Revert fiat-crypto overlay
Jason Gross
2017-07-04
|
/
/
[next]