aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
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-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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:25:52 +0000