aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-10-11Merge PR #8699: [quote] Remove spurious file after deletion of quote plugin.Théo Zimmermann
2018-10-11Merge PR #8697: [dune] Fix public name of tool: coq_tex -> coq-texThéo Zimmermann
2018-10-11Merge PR #8648: Add minimal CHANGES entry about deprecated compat notationsThéo Zimmermann
2018-10-11Merge PR #186: [RFC] Coqlib cleanupPierre-Marie Pédrot
2018-10-11Merge PR #8709: [test-suite] Use the right OCAMLPATH separator on Windows.Vincent Laporte
2018-10-11[test-suite] Use the right OCAMLPATH separator on Windows.Emilio Jesus Gallego Arias
2018-10-11Merge PR #8161: Implement VERNAC EXTEND in coqppMaxime Dénès
2018-10-11Merge PR #8644: [build] enable warnings on kernel/% in make based buildsMaxime Dénès
2018-10-11Merge PR #8701: Fix build of Nix package with sandbox.Vincent Laporte
2018-10-10Add minimal CHANGES entry about compat notationsJason Gross
2018-10-10Fix build of Nix package with sandbox.Théo Zimmermann
2018-10-10Merge PR #8384: Small fixes in attribute documentation.Clément Pit-Claudel
2018-10-10[quote] Remove spurious file after deletion of quote plugin.Emilio Jesus Gallego Arias
2018-10-10[dune] Tweaks on `tools/dune`Emilio Jesus Gallego Arias
2018-10-10Merge PR #8692: [test-suite] Don't reset `OCAMLPATH`, but append to it.Enrico Tassi
2018-10-10[coqlib] Rebindable Coqlib namespace.Emilio Jesus Gallego Arias
2018-10-10[test-suite] Don't reset `OCAMLPATH`, but append to it.Emilio Jesus Gallego Arias
2018-10-10Merge PR #8693: [test-suite] rename a filePierre-Marie Pédrot
2018-10-10[test-suite] rename a fileVincent Laporte
2018-10-10Merge PR #8651: [dune] Provide an optimized build profile with inlining reports.Pierre-Marie Pédrot
2018-10-10Merge PR #6218: Fix #5197, handling of algebraic universesPierre-Marie Pédrot
2018-10-10Merge PR #8602: [test-suite] Use ocamlfind to locate Coq libraries in unit te...Enrico Tassi
2018-10-10Merge PR #8679: [test suite] Compile test cases, instead of only loading themEnrico Tassi
2018-10-10Merge PR #8457: Refactoring of Micromega plugin (including new Simplex based ...Vincent Laporte
2018-10-09Merge PR #8673: Remove dead code in universe handling in the abstract tactical.Gaëtan Gilbert
2018-10-09[dune] Provide an optimized build profile with inlining reports.Emilio Jesus Gallego Arias
2018-10-09[default.nix] Add install dir to OCAMLPATH before running the test-suiteVincent Laporte
2018-10-09[test-suite] use “-async-proofs-cache force” when compilingVincent Laporte
2018-10-09[default.nix] some fixesVincent Laporte
2018-10-09[test-suite] Use ocamlfind to locate Coq libraries in unit tests.Emilio Jesus Gallego Arias
2018-10-09[test-suite] compile (rather than load) test casesVincent Laporte
2018-10-09[test-suite] ensure file names are valid module namesVincent Laporte
2018-10-09Refactoring of Micromega code using a Simplex linear solverFrédéric Besson
2018-10-09Merge PR #8632: [ide] [dune] [test-suite] Reorganize `fake_ide` build.Pierre-Marie Pédrot
2018-10-08Merge PR #8676: Fixes #8672: ill-formed pattern substitution in notation with...Emilio Jesus Gallego Arias
2018-10-08Merge PR #8674: [ci] Add aac-tactics.Emilio Jesus Gallego Arias
2018-10-08Fixes #8672 (ill-formed pattern substitution in notation with "let").Hugo Herbelin
2018-10-08[ide] [dune] [test-suite] Reorganize `fake_ide` build.Emilio Jesus Gallego Arias
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
2018-10-08Merge PR #8677: [dune] Fix bad interaction among PR #8627 and #8657Maxime Dénès
2018-10-08[dune] Fix bad interaction among PR #8627 and #8657Emilio Jesus Gallego Arias
2018-10-08Merge PR #8657: [dune] Refactor files following advice from upstream.Théo Zimmermann
2018-10-08Merge PR #8654: Remove FCast from CClosure.fterm.Maxime Dénès
2018-10-08Fix #5197, handling of algebraic universesMatthieu Sozeau
2018-10-08Remove dead code in universe handling in the abstract tactical.Pierre-Marie Pédrot
2018-10-08Merge PR #8660: Issue 8659 not always build all addonsThéo Zimmermann
2018-10-08Merge PR #8627: [dune] [opam] Install `revision` file when building with Dune.Théo Zimmermann
2018-10-08Merge PR #8585: Simplify declaration of universe namesPierre-Marie Pédrot
2018-10-08Merge PR #8668: Missing headers in two filesThéo Zimmermann
2018-10-08Merge PR #8630: Some cleaning in the test suiteEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 22:57:38 +0000