aboutsummaryrefslogtreecommitdiff
path: root/test-suite/Makefile
AgeCommit message (Expand)Author
2018-12-10[test-suite] Fail when the checker failsVincent Laporte
2018-12-10[test-suite] Run `coqchk` on most test casesVincent Laporte
2018-11-16Print logs in appveyor test suite runGaëtan Gilbert
2018-10-11[test-suite] Use the right OCAMLPATH separator on Windows.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 #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-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[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-09Refactoring of Micromega code using a Simplex linear solverFrédéric Besson
2018-10-04test-suite: cleaningVincent Laporte
2018-10-02Move the compat-update-process to right after branchingJason Gross
2018-09-13Move test suite report script to standalone script fileGaëtan Gilbert
2018-09-12Merge PR #8243: Remove xargs from "make clean" so it won't fail on CygwinEnrico Tassi
2018-09-05Fixing #8416 (Print Assumptions missing module information from compiled files).Hugo Herbelin
2018-08-30Replace use of xargs in "make clean", which tends to fail on Windows/Cygwin.Jim Fehrle
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-06-22Fix #7704: get_toplevel_path needs normalised argv.(0)Gaëtan Gilbert
2018-06-04test suite: make target to regenerate failing output testsGaëtan Gilbert
2018-05-25Allow make clean to work on a fresh cloneJason Gross
2018-05-16Modify make system to include Makefile.common in the test suiteGaëtan Gilbert
2018-05-16add unit tests to test suitePaul Steckler
2018-05-15[ssr] import ssreflect test suite from math-compEnrico Tassi
2018-04-22test suite: clean more things (glob, MExtraction.out, distclean aux)Gaëtan Gilbert
2018-04-22test suite: print message for failing tests as they comeGaëtan Gilbert
2018-04-22test suite Makefile: do not use %.stamp for subsystem targetsGaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-11Fix undefined variables in test-suite/Makefile + add PRINT_LOGSGaëtan Gilbert
2017-12-20Merge PR #6234: Make the micromega extraction check a regular output test.Maxime Dénès
2017-12-14Circle CI: cat failed test suite logsGaëtan Gilbert
2017-11-28Make the micromega extraction check a regular output test.Gaëtan Gilbert
2017-11-25Universe binders survive sections, modules and compilation.Gaëtan Gilbert
2017-11-23Merge PR #6123: Nix fileMaxime Dénès
2017-11-13Fixing encoding in coqdoc output tests.Hugo Herbelin
2017-11-09Introduce default.nix for Nix users.Théo Zimmermann
2017-10-03add coqwc testsPaul Steckler
2017-08-29Avoid running interactive tests on Windows.Maxime Dénès
2017-08-21Fix coqdoc test-suite target on Windows.Théo Zimmermann
2017-08-16Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...Maxime Dénès
2017-07-20fake_ide: do as coqide to find out coqtop pathEnrico Tassi
2017-07-20Remove trailing CR before diff in output and misc tests.Maxime Dénès
2017-07-20Print failure logs on appveyor.Maxime Dénès
2017-07-20Make coqlib relative in test suite (revert 024a7ab20b0)Maxime Dénès
2017-07-17Adding a coqdoc target to test-suite.Hugo Herbelin
2017-06-10Fix Travis sectioningJason Gross
2017-06-09Better sectioning on travis log printing in test-suiteJason Gross
2017-06-02Merge PR#711: [gitlab] Artifact test suite logs on failure.Maxime Dénès
2017-06-01Merge PR#704: Fix empty parentheses display in test-suiteMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 20:21:17 +0000