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
*
Making detyping potentially lazy.
Pierre-Marie Pédrot
2017-09-04
*
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
|
/
/
*
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-07-04
|
\
\
*
\
\
Merge PR#779: Each user overlay goes into its own file.
Maxime Dénès
2017-06-20
|
\
\
\
|
|
*
|
Remove -j ${NJOBS} from make invocations in the ci
Jason Gross
2017-06-16
|
|
*
|
Fix ci-fiat-crypto to have a proper lite target
Jason Gross
2017-06-16
|
*
|
|
Each user overlay goes into its own file.
Théo Zimmermann
2017-06-16
*
|
|
|
Merge PR#778: Revert "[travis] temporary UniMath overlay"
Maxime Dénès
2017-06-15
|
\
\
\
\
|
|
|
|
*
Update fiat-parsers overlay
Jason Gross
2017-06-15
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
Remove bedrock from test suite.
Maxime Dénès
2017-06-15
|
|
/
/
|
/
|
|
*
|
|
Merge PR#771: [travis overlay] Partially Revert 013c0232953f1f58
Maxime Dénès
2017-06-14
|
\
\
\
*
|
|
|
Temporary overlays because fewer plugins are loaded at startup.
Maxime Dénès
2017-06-14
*
|
|
|
[travis] overlay for fiat-crypto (a Require Import FunInd)
Pierre Letouzey
2017-06-14
*
|
|
|
[travis] overlays for CompCert and VST (an extra Require Export FunInd)
Pierre Letouzey
2017-06-14
*
|
|
|
[travis] fix Software Foundation (one added Require Extraction)
Pierre Letouzey
2017-06-14
*
|
|
|
[travis] fix CoLoR by inserting some Require Import FunInd
Pierre Letouzey
2017-06-14
*
|
|
|
Temporary overlays for bignums.
Maxime Dénès
2017-06-14
|
|
*
|
Revert "[travis] temporary UniMath overlay"
Théo Zimmermann
2017-06-13
*
|
|
|
[travis] overlay for corn
Pierre Letouzey
2017-06-13
*
|
|
|
[travis] extra test ci-bignums (+factorize other scripts)
Pierre Letouzey
2017-06-13
*
|
|
|
[travis] overlay + extra deps for math-classes (and formal-topology)
Pierre Letouzey
2017-06-13
*
|
|
|
[travis] adapt CoLoR compilation to depend on the bignum package
Pierre Letouzey
2017-06-13
|
|
/
/
|
/
|
|
*
|
|
Merge PR#764: Point ci-hott at a newer version of HoTT
Maxime Dénès
2017-06-13
|
\
\
\
*
\
\
\
Merge PR#715: Add coq-dpdgraph ci
Maxime Dénès
2017-06-12
|
\
\
\
\
|
|
|
*
|
[travis overlay] Partially Revert 013c0232953f1f58
Jason Gross
2017-06-12
|
|
_
|
/
/
|
/
|
|
|
*
|
|
|
Temporary overlay, waiting for upstream PR merges.
Maxime Dénès
2017-06-12
*
|
|
|
add overlays
Matej Košík
2017-06-12
|
|
*
|
Point ci-hott at a newer version of HoTT
Jason Gross
2017-06-11
|
|
/
/
|
/
|
|
|
*
|
Mirror dpdgraph's travis test more accurately
Jason Gross
2017-06-08
|
*
|
Remove coq-dpdgraph overlay
Jason Gross
2017-06-08
*
|
|
Merge branch 'v8.6'
Pierre-Marie Pédrot
2017-06-08
|
\
\
\
|
|
|
/
|
|
/
|
*
|
|
Remove overlay.
Maxime Dénès
2017-06-08
*
|
|
add overlays
Matej Košík
2017-06-07
*
|
|
Overlay.
Maxime Dénès
2017-06-06
*
|
|
Remove some overlays.
Maxime Dénès
2017-06-06
*
|
|
Overlays.
Maxime Dénès
2017-06-06
*
|
|
Merge PR#723: [travis] [fiat] Test also fiat-core.
Maxime Dénès
2017-06-06
|
\
\
\
|
|
|
*
Add an overlay for coq-dpdgraph for 8.7
Jason Gross
2017-06-02
|
|
|
*
Add coq-dpdgraph CI
Jason Gross
2017-06-02
|
*
|
|
[travis] [fiat] Test also fiat-core.
Emilio Jesus Gallego Arias
2017-06-02
|
|
|
/
|
|
/
|
*
/
|
Adding overlay for math-comp.
Hugo Herbelin
2017-05-31
|
/
/
[next]