aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2019-02-09remove VERBOSE=1, gitlab log shows that `-async-proofs-tac-j 1` was indeed pa...Samuel Gruetter
2019-02-08Workaround for CI not having enough RAM for bedrock2: `-async-proofs-tac-j 1`Samuel Gruetter
2019-02-08Merge PR #9504: Add print_pure_econstr signatureGaëtan Gilbert
2019-02-08Merge PR #9513: Edit release-process.md to ease upcoming releases of Coq in D...Théo Zimmermann
2019-02-08Add item in release-process.md to ease upcoming releases of Coq in Docker HubErik Martin-Dorel
2019-02-07Add print_pure_econstr signatureThierry Martinez
2019-02-05OverlaysMaxime Dénès
2019-02-04Merge PR #9470: the default branch of Mtac2 changed to masterEmilio Jesus Gallego Arias
2019-02-04the default branch of Mtac2 changed to masterbeta
2019-02-04Remove AppVeyor: superseded by Azure.Théo Zimmermann
2019-02-04Overlays.Maxime Dénès
2019-02-04Primitive integersMaxime Dénès
2019-02-04Dockerfile: update menhir from 20180530 to 20181113Vincent Laporte
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2019-01-29Merge PR #9417: Update update-compat.py scriptThéo Zimmermann
2019-01-29Update update-compat.py scriptJason Gross
2019-01-29Use \mathcal instead of \calGaëtan Gilbert
2019-01-29Merge PR #9383: Remove travisVincent Laporte
2019-01-27Merge PR #9263: [STM] explicit handling of parsing statesEmilio Jesus Gallego Arias
2019-01-24Update update-compat.py and release-process.mdJason Gross
2019-01-24Update update-compat.py scriptJason Gross
2019-01-24Add OverlaysMaxime Dénès
2019-01-24[nix-CI] Split the build inputsVincent Laporte
2019-01-24[Nix-ci] Add QuickChickVincent Laporte
2019-01-24[Nix-ci] Fix UnicoqVincent Laporte
2019-01-24[Nix-ci] Add formal-topologyVincent Laporte
2019-01-23Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`Michael Soegtrop
2019-01-23Merge PR #9239: [ci] [appveyor] Pass -j2 to Appveyor's build and build test s...Maxime Dénès
2019-01-22Remove travisGaëtan Gilbert
2019-01-22Merge PR #9225: Fix issue: Windows CI: cygwin install cache is not reused #9212Maxime Dénès
2019-01-17Fix merge-pr.sh when multiple review commentsGaëtan Gilbert
2019-01-17Merge PR #9345: [ci] Update fiat-crypto to the new pipelineGaëtan Gilbert
2019-01-17Merge PR #9192: Issue #9175, #9190, #9191 (various minor Windows build issues)Maxime Dénès
2019-01-17Merge PR #9242: merge-pr: add reviewer info to commit messageMaxime Dénès
2019-01-16[ci] Update fiat-crypto to the new pipelineJason Gross
2019-01-11Merge pull request #8778 from SkySkimmer/merge-plugin-tutoYves Bertot
2019-01-08[ci] Update fiat-crypto legacyJason Gross
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2019-01-08merge-pr: add reviewer info to commit messageGaëtan Gilbert
2019-01-07Merge PR #9309: [ci] Add Verdi Raft with dependencies to CIEmilio Jesus Gallego Arias
2019-01-05[ci] Add Verdi Raft with dependencies to CIKarl Palmskog
2019-01-04Remove formal-topology from CIMaxime Dénès
2018-12-27Merge PR #9224: Move lint job to gitlabEmilio Jesus Gallego Arias
2018-12-25[windows] Cleanup cruft from `dev/build/windows`Emilio Jesus Gallego Arias
2018-12-25[ci] [appveyor] Pass -j2 to Appveyor's build.Emilio Jesus Gallego Arias
2018-12-21Move lint job to gitlabGaëtan Gilbert
2018-12-20Fix line ending issuesGaëtan Gilbert
2018-12-18Merge PR #9215: Set up CI with Azure PipelinesEmilio Jesus Gallego Arias
2018-12-17Merge PR #9153: [api] Move reduction modules to `tactics`Pierre-Marie Pédrot
2018-12-17Set up CI with Azure PipelinesGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:25:22 +0000