aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Merge PR #7219: merge script support https + typos in docGravatar Maxime Dénès2018-04-19
|\
* | CI: extract iris git version without using opamGravatar Ralf Jung2018-04-18
* | fix iris-lambda-rust CIGravatar Ralf Jung2018-04-18
* | Merge PR #7242: Update the CI branch for Equations.Gravatar Gaëtan Gilbert2018-04-17
|\ \
* | | pre-commit : do not fail miserably if git config has `apply.whitespace = fix`Gravatar Pierre Letouzey2018-04-17
| * | Update the CI branch for Equations.Gravatar Théo Zimmermann2018-04-13
* | | 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 support https + typos in docGravatar Pierre Courtieu2018-04-11
| |/ |/|
* | 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