aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
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-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
2018-12-17Merge PR #8856: [gitlab] Test Ocaml trunk.Gaëtan Gilbert
2018-12-17Fix git line ending conversion in windowsGaëtan Gilbert
2018-12-17Merge PR #9220: Move shallow state logic to the function preparing state for ...Enrico Tassi
2018-12-16Merge PR #9172: [proof] Rework proof interface.Pierre-Marie Pédrot
2018-12-14Fix issue: Windows CI: cygwin install cache is not reused #9212Michael Soegtrop
2018-12-14[dune] [gitlab] Test OCaml trunk.Emilio Jesus Gallego Arias
2018-12-14Merge PR #9147: [dune] [doc] Support for building the reference manual with D...Théo Zimmermann
2018-12-14[proof] Rework proof interface.Emilio Jesus Gallego Arias
2018-12-13Add overlayMaxime Dénès
2018-12-13Merge PR #9210: Fix issue #9176 : Windows: change cygwin repoThéo Zimmermann
2018-12-13[dune] [doc] Support for building the reference manual with Dune.Emilio Jesus Gallego Arias
2018-12-13Merge PR #9217: [ci] [appveyor] Temporally disable test suite on Appveyor.Gaëtan Gilbert
2018-12-13[ci] [appveyor] Temporally disable test suite on Appveyor.Emilio Jesus Gallego Arias
2018-12-12Higher-level libobject API for objects with fixed scopesMaxime Dénès
2018-12-12Fix issue #9176 : Windows: change cygwin repoMichael Soegtrop
2018-12-12Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comme...Maxime Dénès
2018-12-12Fix issue #9188 : Enable VST and aactactics in masterMichael Soegtrop
2018-12-12Fix issue #9191 : Windows: parallel build is not enabled for some modules whi...Michael Soegtrop
2018-12-12Fix issue #9190 : Windows: overlay names changed in ci-basic-overlay.sh but h...Michael Soegtrop
2018-12-12Fix issue #9175 Windows: VST addon does not work if CompCert is also installedMichael Soegtrop
2018-12-11Fixing imports in debug printers: gramlib depends on Loc which is in lib.cma.Hugo Herbelin
2018-12-11[ci] Clean overlay folder.Emilio Jesus Gallego Arias
2018-12-10Merge PR #9077: Rename generated directory gramlib__pack -> gramlib/.packEmilio Jesus Gallego Arias
2018-12-09fix copy-paste error in CI_ARCHIVEURLChristian Doczkal
2018-12-09add relation-algebra to CI test suiteChristian Doczkal
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-12-05[ci] Add four color theorem proof to CIEmilio Jesus Gallego Arias
2018-12-05Merge PR #9065: [gramlib] Remove `Ploc.t` in favor of `Loc.t`Pierre-Marie Pédrot
2018-12-05Merge PR #8705: [vernac] [hooks] Refactor towards optional hooks.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:00:20 +0000