aboutsummaryrefslogtreecommitdiff
path: root/test-suite/Makefile
AgeCommit message (Expand)Author
2019-06-19[test-suite] support for unit-tests/ide/ tests linking coq.ideEnrico Tassi
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-06-07test suite: don't try to coqchk failed testsGaëtan Gilbert
2019-05-28Fix printers.sh test when missing coqtop.byte, print more infoGaëtan Gilbert
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-03-11Don't coqchk the test suite prerequisitesGaëtan Gilbert
2019-03-01Set COQLIB so the test suite will run locally on Windows.Jim Fehrle
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-06Makefiles: Fixes for byte compilationGaëtan Gilbert
2019-02-04Primitive integersMaxime Dénès
2019-02-04Merge PR #8690: [toplevel] Split interactive toplevel and compiler binaries.Maxime Dénès
2019-02-04Merge PR #9426: [test-suite] Fix display of check.Enrico Tassi
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2019-01-29[test-suite] Display full paths on CHECK.Emilio Jesus Gallego Arias
2019-01-29[test-suite] Fix display of check.Emilio Jesus Gallego Arias
2019-01-09Make it possible to pass flags to coq when running test suiteMaxime Dénès
2018-12-17Merge PR #8856: [gitlab] Test Ocaml trunk.Gaëtan Gilbert
2018-12-14[dune] [gitlab] Test OCaml trunk.Emilio Jesus Gallego Arias
2018-12-13[test] for join when error resiliency on and async-proofs offEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:11:02 +0000