move old figures

secure-foundations · Feb 21, 2023 · 0a045dd · 0a045dd
1 parent ffba0a2
commit 0a045dd
Show file tree

Hide file tree

Showing 32 changed files with 0 additions and 135 deletions.
diff --git a/fig/all.pdf → fig/initial/all.pdf b/fig/all.pdf → fig/initial/all.pdf
diff --git a/...failure_correlation/D_FVBKV_Z3_summary.md → ...failure_correlation/D_FVBKV_Z3_summary.md b/...failure_correlation/D_FVBKV_Z3_summary.md → ...failure_correlation/D_FVBKV_Z3_summary.md
diff --git a/fig/failure_correlation/D_KOMODO_summary.md → ...l/failure_correlation/D_KOMODO_summary.md b/fig/failure_correlation/D_KOMODO_summary.md → ...l/failure_correlation/D_KOMODO_summary.md
diff --git a/fig/failure_correlation/FS_DICE_summary.md → ...al/failure_correlation/FS_DICE_summary.md b/fig/failure_correlation/FS_DICE_summary.md → ...al/failure_correlation/FS_DICE_summary.md
diff --git a/fig/failure_correlation/FS_VWASM_summary.md → ...l/failure_correlation/FS_VWASM_summary.md b/fig/failure_correlation/FS_VWASM_summary.md → ...l/failure_correlation/FS_VWASM_summary.md
diff --git a/fig/failure_correlation/S_KOMODO_summary.md → ...l/failure_correlation/S_KOMODO_summary.md b/fig/failure_correlation/S_KOMODO_summary.md → ...l/failure_correlation/S_KOMODO_summary.md
diff --git a/fig/result_overall/D_FVBKV_Z3.png → fig/initial/result_overall/D_FVBKV_Z3.png b/fig/result_overall/D_FVBKV_Z3.png → fig/initial/result_overall/D_FVBKV_Z3.png
diff --git a/fig/result_overall/D_KOMODO.png → fig/initial/result_overall/D_KOMODO.png b/fig/result_overall/D_KOMODO.png → fig/initial/result_overall/D_KOMODO.png
diff --git a/fig/result_overall/D_LVBKV.png → fig/initial/result_overall/D_LVBKV.png b/fig/result_overall/D_LVBKV.png → fig/initial/result_overall/D_LVBKV.png
diff --git a/fig/result_overall/FS_DICE.png → fig/initial/result_overall/FS_DICE.png b/fig/result_overall/FS_DICE.png → fig/initial/result_overall/FS_DICE.png
diff --git a/fig/result_overall/FS_VWASM.png → fig/initial/result_overall/FS_VWASM.png b/fig/result_overall/FS_VWASM.png → fig/initial/result_overall/FS_VWASM.png
diff --git a/fig/result_overall/S_KOMODO.png → fig/initial/result_overall/S_KOMODO.png b/fig/result_overall/S_KOMODO.png → fig/initial/result_overall/S_KOMODO.png
diff --git a/fig/sizes.pdf → fig/initial/sizes.pdf b/fig/sizes.pdf → fig/initial/sizes.pdf
diff --git a/fig/time_mixed/D_FVBKV_Z3.png → fig/initial/time_mixed/D_FVBKV_Z3.png b/fig/time_mixed/D_FVBKV_Z3.png → fig/initial/time_mixed/D_FVBKV_Z3.png
diff --git a/fig/time_mixed/D_KOMODO.png → fig/initial/time_mixed/D_KOMODO.png b/fig/time_mixed/D_KOMODO.png → fig/initial/time_mixed/D_KOMODO.png
diff --git a/fig/time_mixed/D_LVBKV.png → fig/initial/time_mixed/D_LVBKV.png b/fig/time_mixed/D_LVBKV.png → fig/initial/time_mixed/D_LVBKV.png
diff --git a/fig/time_mixed/FS_DICE.png → fig/initial/time_mixed/FS_DICE.png b/fig/time_mixed/FS_DICE.png → fig/initial/time_mixed/FS_DICE.png
diff --git a/fig/time_mixed/FS_VWASM.png → fig/initial/time_mixed/FS_VWASM.png b/fig/time_mixed/FS_VWASM.png → fig/initial/time_mixed/FS_VWASM.png
diff --git a/fig/time_mixed/S_KOMODO.png → fig/initial/time_mixed/S_KOMODO.png b/fig/time_mixed/S_KOMODO.png → fig/initial/time_mixed/S_KOMODO.png
diff --git a/fig/time_overall/D_FVBKV_Z3.png → fig/initial/time_overall/D_FVBKV_Z3.png b/fig/time_overall/D_FVBKV_Z3.png → fig/initial/time_overall/D_FVBKV_Z3.png
diff --git a/fig/time_overall/D_KOMODO.png → fig/initial/time_overall/D_KOMODO.png b/fig/time_overall/D_KOMODO.png → fig/initial/time_overall/D_KOMODO.png
diff --git a/fig/time_overall/D_LVBKV.png → fig/initial/time_overall/D_LVBKV.png b/fig/time_overall/D_LVBKV.png → fig/initial/time_overall/D_LVBKV.png
diff --git a/fig/time_overall/FS_DICE.png → fig/initial/time_overall/FS_DICE.png b/fig/time_overall/FS_DICE.png → fig/initial/time_overall/FS_DICE.png
diff --git a/fig/time_overall/FS_VWASM.png → fig/initial/time_overall/FS_VWASM.png b/fig/time_overall/FS_VWASM.png → fig/initial/time_overall/FS_VWASM.png
diff --git a/fig/time_overall/S_KOMODO.png → fig/initial/time_overall/S_KOMODO.png b/fig/time_overall/S_KOMODO.png → fig/initial/time_overall/S_KOMODO.png
diff --git a/fig/time_success/D_FVBKV_Z3.png → fig/initial/time_success/D_FVBKV_Z3.png b/fig/time_success/D_FVBKV_Z3.png → fig/initial/time_success/D_FVBKV_Z3.png
diff --git a/fig/time_success/D_KOMODO.png → fig/initial/time_success/D_KOMODO.png b/fig/time_success/D_KOMODO.png → fig/initial/time_success/D_KOMODO.png
diff --git a/fig/time_success/D_LVBKV.png → fig/initial/time_success/D_LVBKV.png b/fig/time_success/D_LVBKV.png → fig/initial/time_success/D_LVBKV.png
diff --git a/fig/time_success/FS_DICE.png → fig/initial/time_success/FS_DICE.png b/fig/time_success/FS_DICE.png → fig/initial/time_success/FS_DICE.png
diff --git a/fig/time_success/FS_VWASM.png → fig/initial/time_success/FS_VWASM.png b/fig/time_success/FS_VWASM.png → fig/initial/time_success/FS_VWASM.png
diff --git a/fig/time_success/S_KOMODO.png → fig/initial/time_success/S_KOMODO.png b/fig/time_success/S_KOMODO.png → fig/initial/time_success/S_KOMODO.png
diff --git a/fig/timeout_boundary.txt b/fig/timeout_boundary.txt