gmpsec.log « montgomery64_2e254m127x2e240m1 « Specific « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/Specific/montgomery64_2e254m127x2e240m1/gmpsec.log

blob: db2f7f7ed704ba396706e31cde88692afd3b2a19 (plain)

1	`src/Specific/montgomery64_2e254m127x2e240m1 (real: 0.51, user: 0.50, sys: 0.00, mem: 1384 ko)`