diff options
| author | Gaëtan Gilbert | 2019-04-02 14:42:31 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-04-02 15:24:09 +0200 |
| commit | b9f3f8eda83ccfee7f7196f8f4d7584fb1cd9940 (patch) | |
| tree | f653e8410b2c7fd0b48d16769ca7e8204e70202a /dev | |
| parent | 2f1111e4349c41e2d750795475241b919edc1fb6 (diff) | |
coqchk: use unsafe marshal for dependencies of -norec libraries
on test-suite/arithmetic/mod: 2.6s to 0.45s
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions