aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Overlay for econstr in Evd.Gravatar Gaëtan Gilbert2018-04-13
* Evar maps contain econstrs.Gravatar Gaëtan Gilbert2018-04-13
* Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...Gravatar Pierre-Marie Pédrot2018-04-13
|\
* | Merge script: adds a way for confirmation to expect a newline.Gravatar Théo Zimmermann2018-04-09
* | Add sanity check in merge script: local branch is up-to-date.Gravatar Théo Zimmermann2018-04-09
* | Document requirement to have git >= 2.7 to use the merge script.Gravatar Théo Zimmermann2018-04-08
* | Merge script does not warn when the remote is set to HTTPS.Gravatar Théo Zimmermann2018-04-08
* | Merge script: use fetch URL for the remote.Gravatar Théo Zimmermann2018-04-08
* | Merge PR #6809: Improve shell scriptsGravatar Michael Soegtrop2018-04-08
|\ \
* \ \ Merge PR #6960: [api] Move some types to their proper module.Gravatar Pierre-Marie Pédrot2018-04-06
|\ \ \
* \ \ \ Merge PR #7178: Fixes issue #7172 (don't include MinGW make in install)Gravatar Enrico Tassi2018-04-06
|\ \ \ \
| | | * | Improve shell scriptsGravatar zapashcanon2018-04-05
| |_|/ / |/| | |
| * | | Fixes issue #7172 (don't include MinGW make in install)Gravatar Michael Soegtrop2018-04-05
* | | | Add note for homebrew users.Gravatar Théo Zimmermann2018-04-05
* | | | Some advice about merge script dependencies.Gravatar Théo Zimmermann2018-04-05
* | | | Improve the MERGING doc.Gravatar Théo Zimmermann2018-04-05
|/ / /
* | | merge-pr.sh: cache github API callsGravatar Gaëtan Gilbert2018-04-03
| * | [api] Move some types to their proper module.Gravatar Emilio Jesus Gallego Arias2018-04-02
|/ /
| * [econstr] Forbid calling `to_constr` in open terms.Gravatar Emilio Jesus Gallego Arias2018-03-31
|/
* Merge PR #6950: pre-commit, linter: verify user overlay extensions (must be sh)Gravatar Emilio Jesus Gallego Arias2018-03-31
|\
| * Linter: verify overlay extensions.Gravatar Gaëtan Gilbert2018-03-31
| * pre-commit: verify user overlay extensions (must be .sh).Gravatar Gaëtan Gilbert2018-03-31
* | Remove outdated patch from ci-sfGravatar Jasper Hugunin2018-03-29
|/
* Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...Gravatar Maxime Dénès2018-03-26
|\
* \ Merge PR #6970: [vernac] Move `Quit` and `Drop` to the toplevel layer.Gravatar Enrico Tassi2018-03-26
|\ \
* \ \ Merge PR #7029: improve merge-pr scriptGravatar Maxime Dénès2018-03-23
|\ \ \
| * | | improve merge-pr scriptGravatar Enrico Tassi2018-03-23
* | | | More precise wording about the merge process.Gravatar Maxime Dénès2018-03-23
* | | | Refine a bit the decentralized merging process.Gravatar Maxime Dénès2018-03-21
|/ / /
* | | Describe new merging process.Gravatar Maxime Dénès2018-03-19
* | | [win] update bignums to tag V8.8+beta1Gravatar Enrico Tassi2018-03-15
| * | [vernac] Move `Quit` and `Drop` to the toplevel layer.Gravatar Emilio Jesus Gallego Arias2018-03-11
|/ /
* | [ssreflect] Fix module scoping problems due to packing and mli files.Gravatar Emilio Jesus Gallego Arias2018-03-10
* | [located] Push inner locations in `reference` to a CAst.t node.Gravatar Emilio Jesus Gallego Arias2018-03-09
* | [located] More work towards using CAst.tGravatar Emilio Jesus Gallego Arias2018-03-09
* | Merge PR #6775: Allow using cumulativity without forcing strict constraints.Gravatar Maxime Dénès2018-03-09
|\ \
| * | Overlay for Elpi.Gravatar Gaëtan Gilbert2018-03-09
* | | Add an overlay for Equations and Ltac2.Gravatar Pierre-Marie Pédrot2018-03-09
|/ /
* | Merge PR #6817: [configure]: support for profilesGravatar Maxime Dénès2018-03-08
|\ \
* \ \ Merge PR #6881: [windows] support -addon in build scriptGravatar Maxime Dénès2018-03-08
|\ \ \
| | * | document -profile in dev/doc/setup.txtGravatar Enrico Tassi2018-03-06
* | | | Standard headers for C and Python.Gravatar Maxime Dénès2018-03-06
| * | | Hack to make bignum build on windowsGravatar Enrico Tassi2018-03-06
| * | | build: win: turn off build/installation of gnu MakeGravatar Enrico Tassi2018-03-06
* | | | Merge PR #6855: Update headers following #6543.Gravatar Maxime Dénès2018-03-05
|\ \ \ \
* \ \ \ \ Merge PR #935: Handling evars in the VMGravatar Maxime Dénès2018-03-04
|\ \ \ \ \ | |_|_|/ / |/| | | |
* | | | | Merge PR #6511: [econstr] Continue consolidation of EConstr API under `interp`.Gravatar Maxime Dénès2018-03-04
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6876: Unify Const_sorts and Const_type, and remove VsortGravatar Maxime Dénès2018-03-04
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #6873: [toplevel] Update state when `Drop` exception is thrown [#6872]Gravatar Maxime Dénès2018-03-04
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR #6676: [proofview] goals come with a stateGravatar Maxime Dénès2018-03-04
|\ \ \ \ \ \ \ \