aboutsummaryrefslogtreecommitdiff
path: root/dev
AgeCommit message (Expand)Author
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-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-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-03merge-pr.sh: cache github API callsGaëtan Gilbert
2018-04-02[api] Move some types to their proper module.Emilio Jesus Gallego Arias
2018-03-31[econstr] Forbid calling `to_constr` in open terms.Emilio Jesus Gallego Arias
2018-03-31Merge PR #6950: pre-commit, linter: verify user overlay extensions (must be sh)Emilio Jesus Gallego Arias
2018-03-31Linter: verify overlay extensions.Gaëtan Gilbert
2018-03-31pre-commit: verify user overlay extensions (must be .sh).Gaëtan Gilbert
2018-03-29Remove outdated patch from ci-sfJasper Hugunin
2018-03-26Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...Maxime Dénès
2018-03-26Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.Enrico Tassi
2018-03-23Merge PR #7029: improve merge-pr scriptMaxime Dénès
2018-03-23improve merge-pr scriptEnrico Tassi
2018-03-23More precise wording about the merge process.Maxime Dénès
2018-03-21Refine a bit the decentralized merging process.Maxime Dénès
2018-03-19Describe new merging process.Maxime Dénès
2018-03-15[win] update bignums to tag V8.8+beta1Enrico Tassi
2018-03-11[vernac] Move `Quit` and `Drop` to the toplevel layer.Emilio Jesus Gallego Arias
2018-03-10[ssreflect] Fix module scoping problems due to packing and mli files.Emilio Jesus Gallego Arias
2018-03-09[located] Push inner locations in `reference` to a CAst.t node.Emilio Jesus Gallego Arias
2018-03-09[located] More work towards using CAst.tEmilio Jesus Gallego Arias
2018-03-09Merge PR #6775: Allow using cumulativity without forcing strict constraints.Maxime Dénès
2018-03-09Overlay for Elpi.Gaëtan Gilbert
2018-03-09Add an overlay for Equations and Ltac2.Pierre-Marie Pédrot
2018-03-08Merge PR #6817: [configure]: support for profilesMaxime Dénès
2018-03-08Merge PR #6881: [windows] support -addon in build scriptMaxime Dénès
2018-03-06document -profile in dev/doc/setup.txtEnrico Tassi
2018-03-06Standard headers for C and Python.Maxime Dénès
2018-03-06Hack to make bignum build on windowsEnrico Tassi
2018-03-06build: win: turn off build/installation of gnu MakeEnrico Tassi
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-03-04Merge PR #935: Handling evars in the VMMaxime Dénès
2018-03-04Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.Maxime Dénès
2018-03-04Merge PR #6876: Unify Const_sorts and Const_type, and remove VsortMaxime Dénès
2018-03-04Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872]Maxime Dénès
2018-03-04Merge PR #6676: [proofview] goals come with a stateMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:42:47 +0000