aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-02-23[vernac] Unify declaration hooks.Emilio Jesus Gallego Arias
2019-02-22overlay for EquationsEnrico Tassi
2019-02-22Merge PR #9561: [dev] Add include versions for Dune builds.Théo Zimmermann
2019-02-21Merge PR #9588: [azure] [ci] Build on Windows using Dune.Gaëtan Gilbert
2019-02-21Merge PR #9618: [dev/tools/create_overlays] remove trailing whitespaceEmilio Jesus Gallego Arias
2019-02-21remove meta trailing whitespaceEnrico Tassi
2019-02-21Merge PR #9388: merge-pr.sh: fix #9387: quick_conf doesn't work in emacs shel...Emilio Jesus Gallego Arias
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-18Merge PR #9597: [ci] Resolve commit corresponding to branch when downloading ...Emilio Jesus Gallego Arias
2019-02-18Merge PR #9592: Fix per-commit linting with bot mergesEmilio Jesus Gallego Arias
2019-02-18[dev] Add include versions for Dune builds.Emilio Jesus Gallego Arias
2019-02-18Remove undefined install_printer ppcumulativity_infoGaëtan Gilbert
2019-02-18[ci] Resolve commit corresponding to branch when downloading tarball.Théo Zimmermann
2019-02-18Merge PR #9590: [gitlab] [docker] [ci] Remove "edge" compiler switch.Gaëtan Gilbert
2019-02-18Fix per-commit linting with bot mergesGaëtan Gilbert
2019-02-18[gitlab] [docker] [ci] Remove "edge" compiler switch.Emilio Jesus Gallego Arias
2019-02-17Separate variance and universe fields in inductives.Gaëtan Gilbert
2019-02-12[tactics] Remove dependency of abstract on global proof state.Emilio Jesus Gallego Arias
2019-02-11Merge PR #9465: [Nix-CI] Add iris and lambda-rustMaxime Dénès
2019-02-11[ocamldebug] Fix load order after gramlib refactoring.Emilio Jesus Gallego Arias
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-08Update overlay fileMatthieu Sozeau
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 overlay for EquationsMatthieu Sozeau
2019-02-08Add overlays for unicoq and mtac2Matthieu Sozeau
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-05[Nix-CI] Add lambda-rustVincent Laporte
2019-02-05[Nix-CI] Add IrisVincent Laporte
2019-02-05[Nix-CI] Fix UnicoqVincent Laporte
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 16:22:01 +0000