aboutsummaryrefslogtreecommitdiff
path: root/test-suite/Makefile
AgeCommit message (Expand)Author
2020-06-24[test-suite] Fix dependencies of modules/ filesJason Gross
2020-05-22[coqchk] Add testPierre Roux
2020-05-20Merge PR #12350: [test-suite] Ensure copies of files are writableGaëtan Gilbert
2020-05-18Merge PR #12289: test-suite: fix bug causing unit tests to be skippedHugo Herbelin
2020-05-18[test-suite] Ensure copies of files are writableEmilio Jesus Gallego Arias
2020-05-18test-suite/Makefile: fix incomplete prerequisite listGaëtan Gilbert
2020-05-17Revert "[test] unit tests for ide/coq_lex.ml" + makefile supportGaëtan Gilbert
2020-05-17test-suite: fix bug causing unit tests to be skippedGaëtan Gilbert
2020-04-21Merge PR #12082: Fixes #11808: support for test-suite in -byte-only modeGaëtan Gilbert
2020-04-12Exporting BEST as OPT for the tests using coq_makefile-generated Makefile.Hugo Herbelin
2020-04-12[test-suite] Remove deprecated -I option of coqchk in MakefilePierre Roux
2020-03-26Fix calling test suite makefile with a dune built coqGaëtan Gilbert
2020-03-22Test-suite: Assume coqtop output is text even with non-printable characters.Hugo Herbelin
2020-03-20Merge PR #11814: Document coq_makefile behavior wrt -native-compiler yesEnrico Tassi
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-03-16Fix coq-makefile/native1 testPierre Roux
2020-02-28Makefile in test-suite: More separation of concerns as suggested by Enrico.Hugo Herbelin
2020-02-28Fixed some escaping problems with arguments containing spaces in IDE's Compil...Ike Mulder
2020-01-13Merge PR #11280: Fix #11195 and add other improvements: try loading .vio (and...Pierre-Marie Pédrot
2020-01-04Fixing status reporting for complexity tests.Hugo Herbelin
2019-12-19Remove trailing \r in complexity measures for WindowsJason Gross
2019-12-19Better error reporting when res is not what is expectedJason Gross
2019-12-19Fix complexity test-suite failure reporting on WinJason Gross
2019-12-19Revert "Fix #11303: skip complexity tests on windows even if bogomips found"Jason Gross
2019-12-19Fix #11303: skip complexity tests on windows even if bogomips foundGaëtan Gilbert
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-11-27Display more information when complexity tests failJason Gross
2019-11-01Merge PR #9867: Add primitive floats (binary64 floating-point numbers)Maxime Dénès
2019-11-01Implementing support for vos/vok files.charguer
2019-11-01Add tests for primitive floatsGuillaume Bertholon
2019-10-14test-suite/Makefile: work when manually involved for dune-compiled CoqGaëtan Gilbert
2019-06-25Merge PR #10412: Add output-coqtop test directory that runs output tests with...Enrico Tassi
2019-06-24Merge PR #10394: [ide] chop sentences taking into account QUOTATION tokenPierre-Marie Pédrot
2019-06-20Add output-coqtop test directory that runs output tests with coqtopJim Fehrle
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:31:50 +0000