Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | | | | | | | [pkg:nix] Add more comments and allow overriding extra substituters. | Théo Zimmermann | 2018-07-06 | |
| * | | | | | | | | | | Add test for #8004. | Gaëtan Gilbert | 2018-07-06 | |
|/ / / / / / / / / / | ||||
| | | * / / / / / / | Fix compilation of Coq with camlp5 master branch. | Pierre-Marie Pédrot | 2018-07-06 | |
| |_|/ / / / / / / |/| | | | | | | | | ||||
* | | | | | | | | | Merge PR #7990: Convert timing tool to python3 | Jason Gross | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ | ||||
| | * | | | | | | | | refine: obey the use_unification_heuristics flag | Matthieu Sozeau | 2018-07-05 | |
| |/ / / / / / / / |/| | | | | | | | | ||||
* | | | | | | | | | Merge PR #7991: Make Travis faster by removing more builds. | Emilio Jesus Gallego Arias | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #7994: Make bin/ in makefile, not configure. | Emilio Jesus Gallego Arias | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ \ | ||||
| | | | * | | | | | | | [pkg:nix] Stop using lib.inNixShell. | Théo Zimmermann | 2018-07-05 | |
| | | | * | | | | | | | [pkg:nix] Change the download method. | Théo Zimmermann | 2018-07-05 | |
| | | | * | | | | | | | [pkg:nix] Pass through the ocamlPackages version used to build. | Théo Zimmermann | 2018-07-05 | |
| | | | * | | | | | | | [pkg:nix] Cache the build using Cachix when signing key is set. | Théo Zimmermann | 2018-07-05 | |
| |_|_|/ / / / / / / |/| | | | | | | | | | ||||
| | * | | | | | | | | Remove some Travis jobs to make the build faster. | Théo Zimmermann | 2018-07-05 | |
| |/ / / / / / / / |/| | | | | | | | | ||||
| | | | | | | | * | Turn a dead branch into an assertion failure in VM reification. | Pierre-Marie Pédrot | 2018-07-05 | |
| |_|_|_|_|_|_|/ |/| | | | | | | | ||||
* | | | | | | | | Merge PR #7746: Many small cleanups removing unused arguments and functions | Pierre-Marie Pédrot | 2018-07-05 | |
|\ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ | Merge PR #7979: TACTIC EXTEND in coqpp | Emilio Jesus Gallego Arias | 2018-07-05 | |
|\ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ | Merge PR #7973: Add a test build on NixOS to GitLab CI. | Gaëtan Gilbert | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ | ||||
* \ \ \ \ \ \ \ \ \ \ | Merge PR #7989: [ci] Avoid annoying detached head warning. | Gaëtan Gilbert | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | * | | | | | | Convert timing tools to run with both python2 and python3 | Jasper Hugunin | 2018-07-04 | |
* | | | | | | | | | | | | Merge PR #7993: doc: Fix markup in Calculus of Inductive Constructions | Théo Zimmermann | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ \ \ | ||||
| | | | | | | | | | * | | | Remove letouzey from CODEOWNERS since he left the Coq organization. | Gaëtan Gilbert | 2018-07-04 | |
| | | | | | | | |_|/ / / | | | | | | | |/| | | | | ||||
| * | | | | | / | | | | | doc: Fix markup in Calculus of Inductive Constructions | Fabian | 2018-07-04 | |
| | |_|_|_|_|/ / / / / | |/| | | | | | | | | | ||||
* | | | | | | | | | | | Merge PR #7992: Print something after the build completed if it wasn't a runn... | Gaëtan Gilbert | 2018-07-04 | |
|\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | | | ||||
| * | | | | | | | | | | Print something after the build completed if it wasn't a runner failure. | Théo Zimmermann | 2018-07-04 | |
|/ / / / / / / / / / | ||||
| * / / / / / / / / | [ci] Avoid annoying detached head warning. | Emilio Jesus Gallego Arias | 2018-07-04 | |
|/ / / / / / / / / | ||||
| | | | * / / / / | Make bin/ in makefile, not configure. | Gaëtan Gilbert | 2018-07-04 | |
| |_|_|/ / / / / |/| | | | | | | | ||||
| * | | | | | | | Add a shell.nix that is not pinned to satisfy some developers' preference. | Théo Zimmermann | 2018-07-03 | |
| * | | | | | | | Refactor default.nix to use optionals. | Théo Zimmermann | 2018-07-03 | |
| * | | | | | | | Fix timing tools on NixOS. | Théo Zimmermann | 2018-07-03 | |
| | | | | | | * | [test suite] Test case for attributes | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | Document attributes. | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | fix syntax of .mlg | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | Describe attributes in the documentation. | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] use a record for the contents of the “deprecated” attribute | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] use plain strings as attribute names | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] indentation | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] Generic syntax for flags/attributes | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] Generic parsing rules for attributes | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] Add a “deprecated” attribute | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | Allow “Let”-defined coercions | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] Concrete syntax for attributes | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] mk_atts: an atts record with default values | Vincent Laporte | 2018-07-03 | |
| | | | | | | * | [vernac] attribute_of_flags | Vincent Laporte | 2018-07-03 | |
| |_|_|_|_|_|/ |/| | | | | | | ||||
| * | | | | | | Add a test build of Nix package to GitLab CI. | Théo Zimmermann | 2018-07-03 | |
| * | | | | | | Adapt default.nix to allow nix-build to run the test-suite. | Théo Zimmermann | 2018-07-03 | |
|/ / / / / / | ||||
* | | | | | | Merge PR #7978: [ci] [docker] Make sure we don't install optional packages wi... | Gaëtan Gilbert | 2018-07-03 | |
|\ \ \ \ \ \ | ||||
| | | * | | | | Add overlay for equations. | Gaëtan Gilbert | 2018-07-03 | |
| | | * | | | | Library: use ocaml typing to show that we find at most 2 files | Gaëtan Gilbert | 2018-07-03 | |
| | | * | | | | Library.register_loaded_library: remove unused variable | Gaëtan Gilbert | 2018-07-03 | |
| | | * | | | | Glob_ops.rename_glob_vars: fix typo | Gaëtan Gilbert | 2018-07-03 | |
| | | * | | | | Glob_ops.fix_kind_eq: fix typo | Gaëtan Gilbert | 2018-07-03 |