Skip to content
CI

Enhance word automation procedures WORD_ARITH and BITBLAST_RULE #77

Sign in to view logs

Enhance word automation procedures WORD_ARITH and BITBLAST_RULE

Enhance word automation procedures WORD_ARITH and BITBLAST_RULE #77

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.05, Camlp5 7.10
5m 36s
OCaml 4.14, Camlp5 8.03 (make switch)
8m 11s
13m 47s