aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
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-11Adding an overlay for Ltac2.Pierre-Marie Pédrot
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
2018-04-08Merge script does not warn when the remote is set to HTTPS.Théo Zimmermann
2018-04-08Merge script: use fetch URL for the remote.Théo Zimmermann
2018-04-08Merge PR #6809: Improve shell scriptsMichael Soegtrop
2018-04-06Merge PR #6960: [api] Move some types to their proper module.Pierre-Marie Pédrot
2018-04-06Merge PR #7178: Fixes issue #7172 (don't include MinGW make in install)Enrico Tassi
2018-04-06[api] Remove dependency of library on Vernacexpr.Emilio Jesus Gallego Arias
2018-04-05Improve shell scriptszapashcanon
2018-04-05Fixes issue #7172 (don't include MinGW make in install)Michael Soegtrop
2018-04-05Add note for homebrew users.Théo Zimmermann
2018-04-05Some advice about merge script dependencies.Théo Zimmermann
2018-04-05Improve the MERGING doc.Théo Zimmermann
2018-04-04check-owners.sh: add --show-patterns and --owner optionsGaëtan Gilbert
2018-04-04Script to identify the code owner for given filesGaëtan Gilbert
2018-04-03merge-pr.sh: cache github API callsGaëtan Gilbert
2018-04-02[api] Move some types to their proper module.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 19:43:00 +0000