aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2017-06-06Overlays.Maxime Dénès
2017-06-06Merge PR#723: [travis] [fiat] Test also fiat-core.Maxime Dénès
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-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
2017-03-24[travis] Add VSTEmilio Jesus Gallego Arias
2017-03-22[travis] Fix iris-coq build.Emilio Jesus Gallego Arias
2017-03-22[travis] [8.6.only] Backport latest changes from trunk.Emilio Jesus Gallego Arias
2017-03-21trivial: fix commentMatej Kosik
2017-03-13[travis] Basic support for overlays.Emilio Jesus Gallego Arias
2017-03-10[travis] Make the git_checkout function more reliable.Théo Zimmermann
2017-03-10[travis] Adding a template file and using it for all targets.Théo Zimmermann
2017-03-10[travis] Change headband for wider compatibility.Théo Zimmermann
2017-03-10Improve build of travis target on local machine.Théo Zimmermann
2017-03-10[travis] Move GeoCoq to allow fail.Emilio Jesus Gallego Arias
2017-03-09[travis] Move GeoCoq to allow fail.Emilio Jesus Gallego Arias
2017-03-02[travis] Backport trunk's travis support.Emilio Jesus Gallego Arias
2017-02-24[travis] [External CI] fiat-parsersEmilio Jesus Gallego Arias
2017-02-21[travis] track an 8.7 specific branch of HoTT.Maxime Dénès
2017-02-15[travis] [External CI] CompCert official 8.6 support + UniMathEmilio Jesus Gallego Arias
2017-02-15[travis] [External CI] Factor out math-comp installs.Emilio Jesus Gallego Arias
2017-02-07Merge PR#425: [travis] [External CI] [geocoq] don't build slow fileMaxime Dénès
2017-02-07[travis] [External CI] [geocoq] don't build slow fileEmilio Jesus Gallego Arias
2017-02-07[travis] [External CI] iris-coq: fix dependenciesEmilio Jesus Gallego Arias
2017-02-07[travis] [External CI] GeoCoqEmilio Jesus Gallego Arias
2017-02-07[travis] Move ci files from `tools` to `dev`.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:26:20 +0000