aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-05-14Merge PR #7170: Script to identify the code owner for given filesMaxime Dénès
2018-05-14Merge PR #7337: dir-locals: add bug-reference-mode variablesEmilio Jesus Gallego Arias
2018-05-14Merge PR #7482: Update CI documentation following recent evolutions.Emilio Jesus Gallego Arias
2018-05-14Merge PR #7344: Windows packaging build with Gitlab CIGaëtan Gilbert
2018-05-14Update CI documentation following recent evolutions.Théo Zimmermann
2018-05-11Merge PR #7470: use at least 6 Xs in mktemp filename templatesGaëtan Gilbert
2018-05-11coqdev.el: add bug-reference-mode variablesGaëtan Gilbert
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-09use at least 6 Xs in mktemp filename templatesSven M. Hallberg
2018-05-09Merge PR #7435: [gitlab] Add bleeding-edge flambda build.Gaëtan Gilbert
2018-05-07[gitlab] Add bleeding-edge flambda build.Emilio Jesus Gallego Arias
2018-05-07Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging)Maxime Dénès
2018-05-07[ci] Add ounit to the base Docker package set.Emilio Jesus Gallego Arias
2018-05-06Merge PR #7387: [gitlab] [circleci] Use a Docker base image for CIGaëtan Gilbert
2018-05-05[gitlab] [circleci] Use a Custom Docker Image as base CI setup.Emilio Jesus Gallego Arias
2018-05-04[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Emilio Jesus Gallego Arias
2018-05-03Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...Michael Soegtrop
2018-05-03Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomlyMichael Soegtrop
2018-05-03Merge PR #7400: ci-vst.sh: use -o progsEmilio Jesus Gallego Arias
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-05-01ci-vst.sh: use -o progsGaëtan Gilbert
2018-05-01[ci] Fix #7396: VST is brokenEmilio Jesus Gallego Arias
2018-04-27Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni...Emilio Jesus Gallego Arias
2018-04-26Merge PR #7350: Updating CI to recent changes in Mtac2 (former MetaCoq)Emilio Jesus Gallego Arias
2018-04-26Add check-owners-pr.sh wrapper around check-ownersGaëtan Gilbert
2018-04-26Always print explanation for univ inconsistency, rm Flags.univ_printGaëtan Gilbert
2018-04-25updating CI for Mtac2Beta Ziliani
2018-04-25Merge PR #7290: Update debugging.mdHugo Herbelin
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-04-23Merge PR #7152: [api] Remove dependency of library on Vernacexpr.Pierre-Marie Pédrot
2018-04-23Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`.Pierre-Marie Pédrot
2018-04-21Merge PR #7320: [ci] Also make some display targets for fiat-cryptoEmilio Jesus Gallego Arias
2018-04-20[ci] Also make some display targets for fiat-cryptoJason Gross
2018-04-20CI: add fcsl-pcmAnton Trunov
2018-04-19Merge PR #7219: merge script support https + typos in docMaxime Dénès
2018-04-18CI: extract iris git version without using opamRalf Jung
2018-04-18fix iris-lambda-rust CIRalf Jung
2018-04-17Merge PR #7242: Update the CI branch for Equations.Gaëtan Gilbert
2018-04-17pre-commit : do not fail miserably if git config has `apply.whitespace = fix`Pierre Letouzey
2018-04-15Update debugging.mdJasper Hugunin
2018-04-15[doc] [engine] Document `abort_on_undefined_evars`.Emilio Jesus Gallego Arias
2018-04-13Update the CI branch for Equations.Théo Zimmermann
2018-04-13Overlay for econstr in Evd.Gaëtan Gilbert
2018-04-13Evar maps contain econstrs.Gaëtan Gilbert
2018-04-13Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...Pierre-Marie Pédrot
2018-04-11merge script support https + typos in docPierre Courtieu
2018-04-09Merge script: adds a way for confirmation to expect a newline.Théo Zimmermann
2018-04-09Add sanity check in merge script: local branch is up-to-date.Théo Zimmermann
2018-04-08Document requirement to have git >= 2.7 to use the merge script.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:57:57 +0000