diff options
Diffstat (limited to 'handwritten_support/.riscv_extras.aux')
| -rw-r--r-- | handwritten_support/.riscv_extras.aux | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/handwritten_support/.riscv_extras.aux b/handwritten_support/.riscv_extras.aux new file mode 100644 index 0000000..d53d7e5 --- /dev/null +++ b/handwritten_support/.riscv_extras.aux @@ -0,0 +1,23 @@ +COQAUX1 9f6e940694efb436e57a7a26d0b1b3b3 /home/aditya/dev/firrtl-proof/sail-riscv/handwritten_support/riscv_extras.v +3801 3993 context_used "" +3994 4194 context_used "" +4195 4402 context_used "" +4403 4604 context_used "" +4605 4814 context_used "" +4815 5031 context_used "" +7223 7331 context_used "" +7333 7442 context_used "" +7444 7565 context_used "" +8744 8878 context_used "" +9948 9983 context_used "" +10049 10053 proof_build_time "0.017" +0 0 euclid_modulo "0.017" +10005 10048 context_used "" +10049 10053 proof_check_time "0.004" +10096 10182 context_used "" +10183 10267 context_used "" +11004 11008 proof_build_time "0.001" +0 0 n_leading_spaces_fact "0.001" +10997 11003 context_used "" +11004 11008 proof_check_time "0.001" +0 0 vo_compile_time "0.514" |