aboutsummaryrefslogtreecommitdiff
path: root/test-suite/coq-makefile
AgeCommit message (Expand)Author
2020-01-08Merge PR #11341: Add non-utf8 timing testPierre-Marie Pédrot
2020-01-07Merge PR #11245: [tools] Remove support for python2Théo Zimmermann
2020-01-03coq_makefile: test with CAMLPKGS and mllibGaëtan Gilbert
2020-01-03[tools] Remove support for python2Emilio Jesus Gallego Arias
2019-12-26Add non-utf8 timing testJason Gross
2019-11-20From CoqIDE or -vos or -vok compilation, load .vo when .vos is missing (fixin...charguer
2019-11-01[test-suite] acknowledge coq_mafile installs .vosEnrico Tassi
2019-04-29More robust timing test.Jason Gross
2019-04-08coq_makefile install target: error if any file is missingGaëtan Gilbert
2019-03-31[pretty-timing scripts] Don't barf on non-utf-8Jason Gross
2018-11-13coq_makefile: Fix ocamldep ignoring mlg filesGaëtan Gilbert
2018-11-05Pass native and VM flags to the kernel through environmentMaxime Dénès
2018-10-19Porting the test-suite to coqpp.Pierre-Marie Pédrot
2018-08-24Fix ordering of before/after in print-pretty-timed-*Jason Gross
2018-07-04Convert timing tools to run with both python2 and python3Jasper Hugunin
2018-04-26[ci] Fix another issue with the timing testsJason Gross
2018-04-05Improve shell scriptszapashcanon
2018-04-02Update coq_makefile timing testJason Gross
2018-02-28Merge PR #6756: Fix issue with spurious timing test failuresMaxime Dénès
2018-02-24[test-suite] Move sed scripts into bash arraysJason Gross
2018-02-15Merge PR #1073: new quick2vo target: like vio2vo, but smarterMaxime Dénès
2018-02-15disable tests: vio2vo is broken in WindowsRalf Jung
2018-02-15also test vio2voRalf Jung
2018-02-15test "make quick2vo"Ralf Jung
2018-02-15coq_makefile: Support "" as the prefix in _CoqProjectJoachim Breitner
2018-02-13Fix issue with spurious timing test failuresJason Gross
2018-01-08Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsMaxime Dénès
2017-12-31Trim more trailing whitespace in coq-makefile timing testJason Gross
2017-12-27Add TIMING_SORT_BY and --sort-by to timing scriptsJason Gross
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-15Do dependencies in 1 command per file class.Gaëtan Gilbert
2017-11-28Merge PR #6235: Fixing failing mkdir in test-suite for coq-makefile.Maxime Dénès
2017-11-27Merge PR #6237: coq_makefile tests: build in easily removed temporary subdire...Maxime Dénès
2017-11-24coq_makefile tests: build in easily removed temporary subdirectory.Gaëtan Gilbert
2017-11-24Fixing failing mkdir in test-suite for coq-makefile.Hugo Herbelin
2017-11-22Add test-suite tests for timing scriptsJason Gross
2017-11-17Have the coq_makefile timing test-suite print moreJason Gross
2017-11-08Remove dependency of test-suite on git (fix #5725).Théo Zimmermann
2017-10-19Handle ∞ in coq-makefile timing test-suiteJason Gross
2017-09-22Make a test for coq_makefile portable.Pierre-Marie Pédrot
2017-09-04fix test-suite/coq-makefile/findlib-package on windowsEnrico Tassi
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-08-29coq_makefile: use dedicated variable for extra packagesEnrico Tassi
2017-08-29coq_makefile: test using findlib's packageEnrico Tassi
2017-07-20more verbose logs for coq-makefileEnrico Tassi
2017-07-20coq-makefile: make test suite detect more errorsEnrico Tassi
2017-07-11Add timing scriptsJason Gross
2017-06-15Remove dependency on -compat flag in coq_makefile test suite.Maxime Dénès
2017-06-12Merge PR#709: Bytecode compilation apart from 'make world', againMaxime Dénès
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 06:06:14 +0000