coq/test-suite/coq-makefile/quick2vo, branch master
The formal proof system
Porting the test-suite to coqpp.
2018-10-19T14:24:46+00:00
Pierre-Marie Pédrot
2018-10-19T14:21:22+00:00
266050f7aaa0ee0b090b30b1acabaccda6919889
Improve shell scripts
2018-04-05T21:05:43+00:00
zapashcanon
2018-02-21T21:42:10+00:00
250502b01340ec6bedace85c6a2d4a4e57a107cf
disable tests: vio2vo is broken in Windows
2018-02-15T09:37:20+00:00
Ralf Jung
2018-02-09T09:16:55+00:00
999a7059840bdfbdc46ce198e1a16b8621f93588
test "make quick2vo"
2018-02-15T09:37:20+00:00
Ralf Jung
2018-02-06T15:33:22+00:00
4176a769bcafc9c43cae88fc11ed3d83919263fb