aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2020-02-02[ci] [fiat-crypto] Use the pinned bedrock2Jason Gross
2020-01-31[ci] [fiat-crypto-legacy] Use new, faster targetsJason Gross
2020-01-30Merge PR #11307: Remove the hacks relying on hardwired libobject tags.Maxime Dénès
2020-01-28Add reduction-effects to the CIJason Gross
2020-01-28Merge PR #11379: [ocaml] Remove Custom Backtrace module in favor of OCaml'sPierre-Marie Pédrot
2020-01-22Clear patches folder before each windows build runMichael Soegtrop
2020-01-22[lint] Use makefile wrapper instead of calling dune command directly.Emilio Jesus Gallego Arias
2020-01-22Fix #11421 computation of Set+2Gaëtan Gilbert
2020-01-21[xml-protocol doc] Fix link to vscoqRamkumar Ramachandra
2020-01-21[ci] Pin SF until they solve their CI issues.Emilio Jesus Gallego Arias
2020-01-19Merge PR #11406: [dune] [dbg] Add support for coqtop in dune-dbgGaëtan Gilbert
2020-01-19Merge PR #11214: Add a script to pin CI developments.Gaëtan Gilbert
2020-01-19Merge PR #11368: Turn trailing implicit warning into an errorHugo Herbelin
2020-01-19Merge PR #11398: Fix issue #11396 : Rlist hides standard list constructors co...Pierre-Marie Pédrot
2020-01-19Removing text saying XML is future of PG, adding explicitly vscoq as a userHugo Herbelin
2020-01-17Fix issue #11396 : Rlist hides standard list constructors cons and nilMichael Soegtrop
2020-01-17[dune] [dbg] Add support for coqtop in dune-dbgEmilio Jesus Gallego Arias
2020-01-15[ocaml] Remove Custom Backtrace module in favor of OCaml'sEmilio Jesus Gallego Arias
2020-01-15[Nix] Update reference to nixpkgsVincent Laporte
2020-01-15[Nix/CI] Add verdi-raftVincent Laporte
2020-01-15[Nix/CI] Update fiat_cryptoVincent Laporte
2020-01-09Merge PR #11371: [merge script] Never bypass outdated branch sanity check.Jason Gross
2020-01-08let CI test bedrock2's 'tested' branch instead of 'master'Samuel Gruetter
2020-01-07[merge script] Never bypass outdated branch sanity check.Théo Zimmermann
2020-01-07Trailing implicit error: overlaysSimonBoulier
2020-01-03Merge PR #11295: Use code owner teams for every component.Maxime Dénès
2019-12-31Merge PR #11338: Remove uses of Global in Evd API.Gaëtan Gilbert
2019-12-28Merge PR #11323: Fix mulc on 32-bit architecturesMichael Soegtrop
2019-12-27Add critical-bugs entry, tests-suite file, and code comment.Guillaume Melquiond
2019-12-26Remove uses of Global in Evd API.Pierre-Marie Pédrot
2019-12-24Update merging doc following the full move to teams.Théo Zimmermann
2019-12-24Merge PR #11316: Windows: switch OCaml to 4.08.1Emilio Jesus Gallego Arias
2019-12-23Windows: switch OCaml to 4.08.1Michael Soegtrop
2019-12-22Rename files with Class in their name to make their role clearer.Pierre-Marie Pédrot
2019-12-22Remove the hacks relying on hardwired libobject tags.Pierre-Marie Pédrot
2019-12-18Merge PR #9786: Fix Equation's ci scriptPierre-Marie Pédrot
2019-12-16Overlay for #11027Gaëtan Gilbert
2019-12-13Merge PR #11259: [make] Rename Makefile to Makefile.make and INSTALL to INSTA...Théo Zimmermann
2019-12-13Add ocamlformat dependency to Nix fileMaxime Dénès
2019-12-13[doc] [INSTALL] split make-based install instructions to its own file.Emilio Jesus Gallego Arias
2019-12-13[doc] [INSTALL] Port INSTALL to markdown format.Emilio Jesus Gallego Arias
2019-12-13[fmt] [dune] Add ocamlformat configuration.Emilio Jesus Gallego Arias
2019-12-13[ci] [docker] Install ocamlformat in docker images.Emilio Jesus Gallego Arias
2019-12-13Fix Equation's ci scriptMatthieu Sozeau
2019-12-06Adding overlay for Quickchick PR#145.Hugo Herbelin
2019-12-06Moving the diversity of constr printers to a label style.Hugo Herbelin
2019-12-06Merge PR #11174: [dune] Update to dune language version 2.0Théo Zimmermann
2019-12-04Overlay for ELPIHugo Herbelin
2019-12-04[dune] Update to dune language version 2.0Emilio Jesus Gallego Arias
2019-12-02Remove deprecated compat modifier of Notation / Infix commands.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:50:38 +0000