coq/test-suite/misc/deps, branch master

Implementing support for vos/vok files.

2019-11-01T11:15:59+00:00

A .vos file stores the result of compiling statements (defs, lemmas)
but not proofs.
A .vok file is an empty file that denotes successful compilation of
the full contents of a .v file.
Unlike a .vio file, a .vos file does not store suspended proofs,
so it is more lightweight. It cannot be completed into a .vo file.

Adding a test for utf8 characters in directory names.

2017-09-13T17:00:42+00:00

test-suite: test checking of libraries checksum.

2016-07-04T11:30:15+00:00

test suite update after r14808

2011-12-19T13:33:58+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14826 85f007b7-540e-0410-9357-904b9bb8a0f7

Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in

2010-09-18T16:42:43+00:00

coqdep since it is now deterministic (later -R's overwriting former ones).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13432 85f007b7-540e-0410-9357-904b9bb8a0f7