.gitignore · d28f995712799349ab3445f3d1870e68da414e46 · Fresco / Capla / Compiler · GitLab

Mentions légales du service

Jul 03, 2024
afb7fd2e
Build: Support TIMING and PROFILING like coq_makefile (#512) · afb7fd2e
Gaëtan Gilbert authored Jul 03, 2024
```
Should be useful to identify changes more precisely in the Coq benchmarking.
```
afb7fd2e
Build: Support TIMING and PROFILING like coq_makefile (#512)
Gaëtan Gilbert authored Jul 03, 2024
```
Should be useful to identify changes more precisely in the Coq benchmarking.
```