coq/test-suite/.csdp.cache.test-suite, branch master The formal proof system Regenerate the csdp cache for the test-suite. 2020-11-24T16:58:20+00:00 Pierre-Marie Pédrot 2020-11-18T17:36:30+00:00 f384a9163378a4b46c292ebbbdbaea0e866c043a 






Updated .csdp.cache.test-suite and minor fixes
2020-09-15T13:56:39+00:00

BESSON Frederic

2020-09-11T15:22:50+00:00

6b379b22f445c970237d815cbbbf9dfa33e055d2

-  merlin.in : added zarith
- test-suite/Makefile remove .csdp.cache on make clean

updated .csdp.cache.test-suite





-  merlin.in : added zarith
- test-suite/Makefile remove .csdp.cache on make clean

updated .csdp.cache.test-suite







[micromega] [test-suite] Update csdp cache for num -> zarith migration
2020-09-15T13:56:39+00:00

Emilio Jesus Gallego Arias

2020-09-10T17:16:10+00:00

43ad95fc6723bd82960b15dda708600073fc7435












[test-suite] Ensure copies of files are writable
2020-05-18T15:53:04+00:00

Emilio Jesus Gallego Arias

2020-05-18T15:34:27+00:00

17de81c8c006e89088b2173d1aeaae24b4c09cfa

This is needed for the case the sources are set to read-only mode, for
example when using Dune >= 2.5 [needed for the global cache support]

Fixes #12264

Co-authored-by: Ignat Insarov <kindaro@gmail.com>





This is needed for the case the sources are set to read-only mode, for
example when using Dune >= 2.5 [needed for the global cache support]

Fixes #12264

Co-authored-by: Ignat Insarov <kindaro@gmail.com>