diff options
Diffstat (limited to 'handwritten_support/.mem_metadata.aux')
| -rw-r--r-- | handwritten_support/.mem_metadata.aux | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/handwritten_support/.mem_metadata.aux b/handwritten_support/.mem_metadata.aux new file mode 100644 index 0000000..cfce1c3 --- /dev/null +++ b/handwritten_support/.mem_metadata.aux @@ -0,0 +1,3 @@ +COQAUX1 693b57d74f776ae8bd215fbfc8b03df3 /home/aditya/dev/firrtl-proof/sail-riscv/handwritten_support/mem_metadata.v +183 386 context_used "" +0 0 vo_compile_time "0.304" |