Merge branch 'succinctlabs:main' into n/rm-unused-cachedb

succinctlabs · Nov 14, 2024 · 4a395a5 · 4a395a5
2 parents 5612173 + c011495
commit 4a395a5
Show file tree

Hide file tree

Showing 13 changed files with 3,092 additions and 2,192 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,6 +19,6 @@ pgo-data.profdata
 .env
 
 # SP1 ELF files
-**/riscv32im-succinct-zkvm-elf
+elf
 
 **.csv
-Original file line number
+Diff line change
@@ Expand Up / @@ -19,6 +19,6 @@ pgo-data.profdata @@
     .env
     # SP1 ELF files
-    **/riscv32im-succinct-zkvm-elf
+    elf
     **.csv