aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* configure: make -annotate fatal, and color error and warningsGravatar Gaëtan Gilbert2018-04-22
* Merge PR #7320: [ci] Also make some display targets for fiat-cryptoGravatar Emilio Jesus Gallego Arias2018-04-21
|\
* \ Merge PR #7319: CI: add fcsl-pcmGravatar 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 #6908: Move VM global tables from C to MLGravatar Maxime Dénès2018-04-20
|\
* \ Merge PR #7282: [toplevel] allow toploop_init change Coq optionsGravatar Emilio Jesus Gallego Arias2018-04-19
|\ \
* \ \ Merge PR #7219: merge script support https + typos in docGravatar Maxime Dénès2018-04-19
|\ \ \
* \ \ \ Merge PR #7248: Assign circleci files to @SkySkimmerGravatar Maxime Dénès2018-04-19
|\ \ \ \
* \ \ \ \ Merge PR #7294: fix Iris ciGravatar Emilio Jesus Gallego Arias2018-04-19
|\ \ \ \ \
| | | | * | [toplevel] let toploop_init change Coq optionsGravatar Enrico Tassi2018-04-19
* | | | | | Merge PR #7287: [default.nix] Build doc with nix-build.Gravatar Vincent Laporte2018-04-19
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #7281: [stm] push functional API furtherGravatar Emilio Jesus Gallego Arias2018-04-18
|\ \ \ \ \ \ \
* \ \ \ \ \ \ \ Merge PR #7280: [stm] expose restore/backup since ~doc is (still) dummyGravatar Emilio Jesus Gallego Arias2018-04-18
|\ \ \ \ \ \ \ \
| | | | * | | | | CI: extract iris git version without using opamGravatar Ralf Jung2018-04-18
| | | | * | | | | fix iris-lambda-rust CIGravatar Ralf Jung2018-04-18
| |_|_|/ / / / / |/| | | | | | |
* | | | | | | | Merge PR #7275: gitlab: separate opam-boot jobs, use opam init and OPAMROOTGravatar Emilio Jesus Gallego Arias2018-04-17
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #7268: Travis: cleanup environment variables a bit.Gravatar Emilio Jesus Gallego Arias2018-04-17
|\ \ \ \ \ \ \ \ \
| | | | | * | | | | [default.nix] Build doc with nix-build.Gravatar Théo Zimmermann2018-04-17
| | | | * | | | | | [stm] push functional API furtherGravatar Enrico Tassi2018-04-17
| | | | | |_|_|/ / | | | | |/| | | |
* | | | | | | | | Merge PR #7242: Update the CI branch for Equations.Gravatar Gaëtan Gilbert2018-04-17
|\ \ \ \ \ \ \ \ \
| | | | | | | * | | Assign circleci files to @SkySkimmer, @ejgallegoGravatar Gaëtan Gilbert2018-04-17
* | | | | | | | | | Merge PR #7278: pre-commit : do not fail miserably if git config has `apply.w...Gravatar Gaëtan Gilbert2018-04-17
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / / / |/| | | | | | | | |
| | | | | * | | | | [stm] expose restore/backup since ~doc is (still) dummyGravatar Enrico Tassi2018-04-17
| | | | | |/ / / /
| * | | | / / / / pre-commit : do not fail miserably if git config has `apply.whitespace = fix`Gravatar Pierre Letouzey2018-04-17
|/ / / / / / / /
* | | | | | | | Merge PR #7277: Mention sphinxcontrib-bibtex in INSTALL.docGravatar Théo Zimmermann2018-04-17
|\ \ \ \ \ \ \ \
| * | | | | | | | Mention sphinxcontrib-bibtex in INSTALL.docGravatar Maxime Dénès2018-04-17
|/ / / / / / / /
* | | | | | | | Merge PR #7276: Add some 8.8.0 contributors in creditsGravatar Maxime Dénès2018-04-17
|\ \ \ \ \ \ \ \
| * | | | | | | | Add some 8.8.0 contributors in creditsGravatar Maxime Dénès2018-04-17
|/ / / / / / / /
* | | | | | | | Merge PR #7272: Mention other deprecations and fixes in CHANGESGravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ Merge PR #7270: Sphinx doc fix indicesGravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* | | | | | | | | | Merge PR #7264: [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
|\| | | | | | | | |
* | | | | | | | | | Merge PR #7269: Protecting against a "deprecated cofix" warning.Gravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ Merge PR #7266: Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \ \ \
| | | | * | | | | | | | Fix typo in CHANGES.Gravatar Maxime Dénès2018-04-16
* | | | | | | | | | | | Merge PR #7225: Document the Export Set/Unset commands.Gravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \ \ \ \
| | | | | * | | | | | | | Mention other deprecations and fixes in CHANGESGravatar Maxime Dénès2018-04-16
| |_|_|_|/ / / / / / / / |/| | | | | | | | | | |
| | | | | | | * | | | | gitlab: separate opam-boot jobs, use opam init and OPAMROOTGravatar Gaëtan Gilbert2018-04-16
| | | * | | | | | | | | Protecting against a "deprecated cofix" warning.Gravatar Hugo Herbelin2018-04-16
| | | | | | * | | | | | Travis: cleanup environment variables a bit.Gravatar Gaëtan Gilbert2018-04-16
| |_|_|_|_|/ / / / / / |/| | | | | | | | | |
| | * | | | | | | | | Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
| |/ / / / / / / / / |/| | | | | | | | |
| | | * | | | | | | [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
* | | | | | | | | | Merge PR #7125: Adding ML headers in setoid_ringGravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \ \
* \ \ \ \ \ \ \ \ \ \ Merge PR #7237: [ssr] fix delayed clears (fix #7045)Gravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / / / |/| | | | | | | | | |
* | | | | | | | | | | Merge PR #7215: Deprecate the "simple subst" tactic.Gravatar Hugo Herbelin2018-04-16
|\ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / / / |/| | | | | | | | | |
| | | | * | | | | | | Document the Export Set/Unset commands.Gravatar Pierre-Marie Pédrot2018-04-16
| |_|_|/ / / / / / / |/| | | | | | | | |
* | | | | | | | | | Merge PR #7263: CHANGES: document COQFLAGS changeGravatar Enrico Tassi2018-04-16
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|/ / / / / / |/| | | | | | | | |
| * | | | | | | | | CHANGES: document COQFLAGS changeGravatar Ralf Jung2018-04-16
|/ / / / / / / / /
* | | | | | | | | Merge PR #7200: [ltac] Deprecate nameless fix/cofix.Gravatar Maxime Dénès2018-04-16
|\ \ \ \ \ \ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 02:44:10 +0000