Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | | | | * | | fixed typo for assert_suceed | 2018-07-10 | ||
| |_|_|_|_|/ / |/| | | | | | | ||||
| * | | | | | | [travis] Try to workaround the repeated APT failures by using Jason Gross's s... | 2018-07-10 | ||
|/ / / / / / | ||||
| * / / / / | Remove auto-retry in GitLab CI now that @coqbot is handling it. | 2018-07-10 | ||
|/ / / / / | ||||
* | | | | | Merge PR #7899: My recent improvements to the backport script. | 2018-07-10 | ||
|\ \ \ \ \ | ||||
* \ \ \ \ \ | Merge PR #7983: Turn a dead branch into an assertion failure in VM reification. | 2018-07-10 | ||
|\ \ \ \ \ \ | ||||
* \ \ \ \ \ \ | Merge PR #8028: Fix a few typos | 2018-07-10 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #8025: Fix rst syntax for `quote ident {ident}` | 2018-07-10 | ||
|\ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | Add new options --no-conflict and --no-signature-check to backport script. | 2018-07-10 | ||
| |_|_|/ / / / / |/| | | | | | | | ||||
| | * | | | | | | Fix typo in doc/proof-engine/tactics.rst. | 2018-07-10 | ||
| | * | | | | | | Fix typo in Init.Logic. | 2018-07-10 | ||
| |/ / / / / / |/| | | | | | | ||||
* | | | | | | | Merge PR #7920: Generic syntax for attributes | 2018-07-09 | ||
|\ \ \ \ \ \ \ | ||||
| | * | | | | | | Fix rst syntax for `quote ident {ident}` | 2018-07-09 | ||
| |/ / / / / / |/| | | | | | | ||||
* | | | | | | | Merge PR #7884: Fix #5719: Uncaught exception Invalid_argument. | 2018-07-09 | ||
|\ \ \ \ \ \ \ | ||||
| | | | | | | * | Introduce a team of code owners for the CI system. | 2018-07-09 | ||
| |_|_|_|_|_|/ |/| | | | | | | ||||
* | | | | | | | Merge PR #8015: Output UTF-8 explicitly in timing tools | 2018-07-08 | ||
|\ \ \ \ \ \ \ | ||||
| | | | | | | * | Get rid of horrendous hack limiting the size of parsed integers | 2018-07-08 | ||
| |_|_|_|_|_|/ |/| | | | | | | ||||
* | | | | | | | Merge PR #7985: Remove letouzey from CODEOWNERS since he left the Coq organiz... | 2018-07-08 | ||
|\ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ | Merge PR #8020: Modify URLs in xml-protocol.md | 2018-07-08 | ||
|\ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | Modify URLs in xml-protocol.md | 2018-07-08 | ||
| * | | | | | | | | Modify URLs in xml-protocol.md | 2018-07-08 | ||
|/ / / / / / / / | ||||
* | | | | | | | | Merge PR #7843: Remove Emacs modes | 2018-07-08 | ||
|\ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | Mention the removal of Emacs modes in CHANGES. | 2018-07-08 | ||
| * | | | | | | | | Remove Emacs modes. | 2018-07-08 | ||
|/ / / / / / / / | ||||
| | | | | | | * | make diff sort by difference, not absolute difference | 2018-07-07 | ||
| | | | | | | * | make-both-single-timing-files: fix --sort-by=diff | 2018-07-07 | ||
| |_|_|_|_|_|/ |/| | | | | | | ||||
| | * | | | | | Output UTF-8 explicitly in timing tools | 2018-07-07 | ||
* | | | | | | | Merge PR #7921: Archive the `gallina` tool | 2018-07-07 | ||
|\ \ \ \ \ \ \ | ||||
| | | | | | | * | Add an overlay. | 2018-07-07 | ||
* | | | | | | | | Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq... | 2018-07-07 | ||
|\ \ \ \ \ \ \ \ | ||||
| | | | | | | | * | Introduce a Pcoq.Entry module for functions that ought to be exported. | 2018-07-07 | ||
| | | | | | | | * | Remove dead code that used to be there for CamlpX compatibility. | 2018-07-07 | ||
| |_|_|_|_|_|_|/ |/| | | | | | | | ||||
* | | | | | | | | Merge PR #8005: Fix compilation of Coq with camlp5 master branch. | 2018-07-07 | ||
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | | ||||
* | | | | | | | | Merge PR #8001: Cache the build of the Nix package using Cachix. | 2018-07-06 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #7821: [refine] obey the use_unification_heuristics flag | 2018-07-06 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #8008: Add test for #8004. | 2018-07-06 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
| | | * | | | | | | | | [pkg:nix] Add more comments and allow overriding extra substituters. | 2018-07-06 | ||
| * | | | | | | | | | | Add test for #8004. | 2018-07-06 | ||
|/ / / / / / / / / / | ||||
| | | * / / / / / / | Fix compilation of Coq with camlp5 master branch. | 2018-07-06 | ||
| |_|/ / / / / / / |/| | | | | | | | | ||||
* | | | | | | | | | Merge PR #7990: Convert timing tool to python3 | 2018-07-05 | ||
|\ \ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | refine: obey the use_unification_heuristics flag | 2018-07-05 | ||
| |/ / / / / / / / |/| | | | | | | | | ||||
* | | | | | | | | | Merge PR #7991: Make Travis faster by removing more builds. | 2018-07-05 | ||
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #7994: Make bin/ in makefile, not configure. | 2018-07-05 | ||
|\ \ \ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | | | [pkg:nix] Stop using lib.inNixShell. | 2018-07-05 | ||
| | | | * | | | | | | | [pkg:nix] Change the download method. | 2018-07-05 | ||
| | | | * | | | | | | | [pkg:nix] Pass through the ocamlPackages version used to build. | 2018-07-05 | ||
| | | | * | | | | | | | [pkg:nix] Cache the build using Cachix when signing key is set. | 2018-07-05 | ||
| |_|_|/ / / / / / / |/| | | | | | | | | | ||||
| | * | | | | | | | | Remove some Travis jobs to make the build faster. | 2018-07-05 | ||
| |/ / / / / / / / |/| | | | | | | | | ||||
| | | | | | | | * | Turn a dead branch into an assertion failure in VM reification. | 2018-07-05 | ||
| |_|_|_|_|_|_|/ |/| | | | | | | | ||||
* | | | | | | | | Merge PR #7746: Many small cleanups removing unused arguments and functions | 2018-07-05 | ||
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #7979: TACTIC EXTEND in coqpp | 2018-07-05 | ||
|\ \ \ \ \ \ \ \ \ |