aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
* Merge PR #7152: [api] Remove dependency of library on Vernacexpr.Gravatar Pierre-Marie Pédrot2018-04-23
|\
* \ Merge PR #7240: [doc] [engine] Document `abort_on_undefined_evars`.Gravatar Pierre-Marie Pédrot2018-04-23
|\ \
* \ \ Merge PR #7320: [ci] Also make some display targets for fiat-cryptoGravatar Emilio Jesus Gallego Arias2018-04-21
|\ \ \
| * | | [ci] Also make some display targets for fiat-cryptoGravatar Jason Gross2018-04-20
* | | | CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
|/ / /
* | | 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
| | | * | [doc] [engine] Document `abort_on_undefined_evars`.Gravatar Emilio Jesus Gallego Arias2018-04-15
| |_|/ / |/| | |
| * | | 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
|\ \ \ \ \
| | | | | * [api] Remove dependency of library on Vernacexpr.Gravatar Emilio Jesus Gallego Arias2018-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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 14:06:38 +0000