coq/test-suite/modules, branch master The formal proof system Remove info tactic, deprecated in 8.5 2020-05-30T18:24:24+00:00 Jim Fehrle 2020-05-28T22:25:14+00:00 044f76cf32080f0a56309544e5335e44f89725b4 






Actually deprecate the `cutrewrite` tactic
2019-11-30T11:33:17+00:00

Maxime Dénès

2019-07-25T17:04:12+00:00

cd8c4fc982c874802546769b1f7df3c2dcfc0579

The manual was already saying that it was deprecated, but no warning was
emitted.

Fixes #10572





The manual was already saying that it was deprecated, but no warning was
emitted.

Fixes #10572







Fix #9076 (warning appears when running test suite)
2018-11-27T12:25:46+00:00

Maxime Dénès

2018-11-27T12:25:46+00:00

25da65499c986f50d584d7ef38c0762f76df8b31












Test-suite: avoid explicit references to “Top”
2018-10-04T08:27:31+00:00

Vincent Laporte

2018-10-03T14:02:51+00:00

d19372209eca556bb07116b518d8740ff6385035












test-suite: cleaning
2018-10-04T08:01:40+00:00

Vincent Laporte

2018-10-02T14:06:10+00:00

1e4ac27962aaab5132c9294156ac2a0da9652a43












Change Implicit Arguments to Arguments in test-suite
2018-03-31T00:48:17+00:00

Jasper Hugunin

2018-02-23T04:06:57+00:00

0fa8b8cb53050d48187fd2577f2fef0f1a45d024












CHANGES and tests for with Definition @{univs}
2018-03-05T13:21:47+00:00

Gaëtan Gilbert

2018-03-01T13:03:20+00:00

003031beb002efa703a2f262f9501362d56da720












Merge PR #6740: Adding a sanity check on inductive variance subtyping.
2018-02-21T17:53:56+00:00

Maxime Dénès

2018-02-21T17:53:56+00:00

6ee9f47718fa9929de4d8e724d9df6d389ea9dc8












Adding a test for the construction that was broken in Coccinelle.
2018-02-16T12:27:23+00:00

Pierre-Marie Pédrot

2018-02-12T11:11:39+00:00

19b04b2bd1c5b505c70723a16505fcb3e6d41ede

There was no test in the test-suite checking for double with-def constraints
in module typing.





There was no test in the test-suite checking for double with-def constraints
in module typing.







Adding a test for variance subtyping in the module system.
2018-02-15T17:02:14+00:00

Pierre-Marie Pédrot

2018-02-12T15:58:52+00:00

d50cee3fa401246061c106248b749be03e108298