aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-07-07Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to ↵Enrico Tassi
coqtop.opt$(EXE).
2018-07-07Merge PR #8005: Fix compilation of Coq with camlp5 master branch.Emilio Jesus Gallego Arias
2018-07-06Merge PR #8001: Cache the build of the Nix package using Cachix.Gaëtan Gilbert
2018-07-06Merge PR #7821: [refine] obey the use_unification_heuristics flagPierre-Marie Pédrot
2018-07-06Merge PR #8008: Add test for #8004.Théo Zimmermann
2018-07-06[pkg:nix] Add more comments and allow overriding extra substituters.Théo Zimmermann
2018-07-06Add test for #8004.Gaëtan Gilbert
2018-07-06Fix compilation of Coq with camlp5 master branch.Pierre-Marie Pédrot
There was a conflict in the name of an exported function. A good argument in favour of PR #7898.
2018-07-05Merge PR #7990: Convert timing tool to python3Jason Gross
2018-07-05refine: obey the use_unification_heuristics flagMatthieu Sozeau
2018-07-05Merge PR #7991: Make Travis faster by removing more builds.Emilio Jesus Gallego Arias
2018-07-05Merge 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
This will allow for better reuse of the cache when the URL is different but the archive is the same.
2018-07-05[pkg:nix] Pass through the ocamlPackages version used to build.Théo Zimmermann
This will be useful for users wanting to build a plugin using this package.
2018-07-05[pkg:nix] Cache the build using Cachix when signing key is set.Théo Zimmermann
2018-07-05Remove some Travis jobs to make the build faster.Théo Zimmermann
2018-07-05Merge PR #7746: Many small cleanups removing unused arguments and functionsPierre-Marie Pédrot
2018-07-05Merge PR #7979: TACTIC EXTEND in coqppEmilio Jesus Gallego Arias
2018-07-04Merge PR #7973: Add a test build on NixOS to GitLab CI.Gaëtan Gilbert
2018-07-04Merge PR #7989: [ci] Avoid annoying detached head warning.Gaëtan Gilbert
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
2018-07-04Merge PR #7993: doc: Fix markup in Calculus of Inductive ConstructionsThéo Zimmermann
2018-07-04doc: Fix markup in Calculus of Inductive ConstructionsFabian
2018-07-04Merge PR #7992: Print something after the build completed if it wasn't a ↵Gaëtan Gilbert
runner failure.
2018-07-04Print something after the build completed if it wasn't a runner failure.Théo Zimmermann
This can then be leveraged by @coqbot to know which builds to restart.
2018-07-04[ci] Avoid annoying detached head warning.Emilio Jesus Gallego Arias
2018-07-04Make bin/ in makefile, not configure.Gaëtan Gilbert
2018-07-03Add a shell.nix that is not pinned to satisfy some developers' preference.Théo Zimmermann
2018-07-03Refactor default.nix to use optionals.Théo Zimmermann
2018-07-03Fix timing tools on NixOS.Théo Zimmermann
2018-07-03Add a test build of Nix package to GitLab CI.Théo Zimmermann
We pin default.nix again to make the CI build predictable. As in Windows builds, we need to override the default before_script. As in other test-suite jobs, we export logs as artifacts on failure.
2018-07-03Adapt default.nix to allow nix-build to run the test-suite.Théo Zimmermann
2018-07-03Merge PR #7978: [ci] [docker] Make sure we don't install optional packages ↵Gaëtan Gilbert
with apt.
2018-07-03Add overlay for equations.Gaëtan Gilbert
2018-07-03Library: use ocaml typing to show that we find at most 2 filesGaëtan Gilbert
2018-07-03Library.register_loaded_library: remove unused variableGaëtan Gilbert
This one is a bit weird. Unused since 4d95eb4e878f375a69f1b48d8833801bf555fdd0 (kept semantics, the m is the same one outside and inside the call)
2018-07-03Glob_ops.rename_glob_vars: fix typoGaëtan Gilbert
2018-07-03Glob_ops.fix_kind_eq: fix typoGaëtan Gilbert
2018-07-03Pputils: fix typoGaëtan Gilbert
2018-07-03Evarutil.(e_)new_Type: remove unused env argumentGaëtan Gilbert
2018-07-03Remove unused function Evd.whd_sort_variableGaëtan Gilbert
2018-07-03Remove unused output of Universes.normalize_univ_variablesGaëtan Gilbert
2018-07-03Remove unused env argument to fresh_sort_in_familyGaëtan Gilbert
(Universes and Evd)
2018-07-03Coq_omega: remove unused Goal.entersGaëtan Gilbert
Unused since fd7f056b155b2ebaafa3251a3c136117ebefc3e3.
2018-07-03Remove unused function Coq_omega.timing.Gaëtan Gilbert
2018-07-03Taccoerce: remove various unused arguments.Gaëtan Gilbert
2018-07-03Remove unused arguments to Ide_slave.concl_next_tac.Gaëtan Gilbert
Unused since 2285dae8af54043090ce5f8a59aa4162679714c6
2018-07-03Pptactic: remove unused argumentsGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 14:34:18 +0000