aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
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 FunIndPierre Letouzey
2017-06-14Temporary overlays for bignums.Maxime Dénès
2017-06-13[travis] overlay for cornPierre 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 packagePierre Letouzey
2017-06-13Merge PR#764: Point ci-hott at a newer version of HoTTMaxime Dénès
2017-06-12Merge PR#715: Add coq-dpdgraph ciMaxime Dénès
2017-06-12Temporary overlay, waiting for upstream PR merges.Maxime Dénès
2017-06-12add overlaysMatej Košík
2017-06-11Point ci-hott at a newer version of HoTTJason Gross
2017-06-08Mirror dpdgraph's travis test more accuratelyJason Gross
2017-06-08Remove coq-dpdgraph overlayJason Gross
2017-06-08Merge branch 'v8.6'Pierre-Marie Pédrot
2017-06-08Remove overlay.Maxime Dénès
2017-06-07add overlaysMatej Košík
2017-06-06Overlay.Maxime Dénès
2017-06-06Remove some overlays.Maxime Dénès
2017-06-06Overlays.Maxime Dénès
2017-06-06Merge PR#723: [travis] [fiat] Test also fiat-core.Maxime Dénès
2017-06-02Add an overlay for coq-dpdgraph for 8.7Jason Gross
2017-06-02Add coq-dpdgraph CIJason Gross
2017-06-02[travis] [fiat] Test also fiat-core.Emilio Jesus Gallego Arias
2017-05-31Adding overlay for math-comp.Hugo Herbelin
2017-05-29Merge PR#687: Gitlab CIMaxime Dénès
2017-05-28Gitlab CIGaëtan Gilbert
2017-05-27[coqlib] Move `Coqlib` to `library/`.Emilio Jesus Gallego Arias
2017-05-27[travis] temporary UniMath overlayMaxime Dénès
2017-05-25Merge PR#481: [option] Remove support for non-synchronous options.Maxime Dénès
2017-05-25Merge PR#406: coq makefile2Maxime Dénès
2017-05-25[location] [travis] Add overlays for located_switchEmilio Jesus Gallego Arias
2017-05-24Merge branch 'trunk' into located_switchEmilio Jesus Gallego Arias
2017-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2017-05-23Add parsers-examples target to fiat-parsers ciJason Gross
2017-05-23overlay for UniMathEnrico Tassi
2017-05-17Merge branch 'v8.6'Pierre-Marie Pédrot
2017-05-10Switch bedrock to mit-plv baseJason Gross
2017-05-01Add bmsherman/topology to the ciJason Gross
2017-04-27Merge PR#568: Remove tactic compatibility layerMaxime Dénès
2017-04-27Merge branch 'v8.6'Pierre-Marie Pédrot
2017-04-25[travis] mathcomp and fiat overlay for #402Emilio Jesus Gallego Arias
2017-04-24Adding a dedicated travis overlay for fiat-parsers.Pierre-Marie Pédrot
2017-04-20Add bedrock targets src and facadeJason Gross
2017-04-15Merge branch 'v8.6' into trunkMaxime Dénès
2017-04-14[travis] Use the lite target for fiat-crypto.Maxime Dénès
2017-04-07[travis] Overlay for PR#461: Camlp4 removal.Emilio Jesus Gallego Arias
2017-03-24[travis] Backport from trunk: VSTEmilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 05:37:32 +0000