sedeve-kit, use .svg figure

ybbh · Jul 10, 2024 · 18c7d1c · 18c7d1c
1 parent a22dffe
commit 18c7d1c
Show file tree

Hide file tree

Showing 11 changed files with 378 additions and 2 deletions.
diff --git a/doc/deterministic_testing.md b/doc/deterministic_testing.md
@@ -2,11 +2,11 @@
 
 When running deterministic testing, the message channel would be taken over by the *deterministic player*.
 
-![deterministic testing](../doc/figure/dtm_testing.jpg)
+![deterministic testing](../doc/figure/dtm_testing.svg)
 
 The figure below illustrates how the *deterministic player* reorders the actions based on predefined orders.
 
-![reorder_action](../doc/figure/reorder_actions.png)
+![reorder_action](../doc/figure/reorder_actions.svg)
 
 The physical system will align with the logical model, ensuring consistency.
 Our framework incorporates various macros to facilitate the implementation of *anchor actions*

diff --git a/doc/figure/architecture.png b/doc/figure/architecture.png
diff --git a/doc/figure/design_to_impl.png b/doc/figure/design_to_impl.png
diff --git a/doc/figure/dtm_testing.jpg b/doc/figure/dtm_testing.jpg
diff --git a/doc/figure/dtm_testing.svg b/doc/figure/dtm_testing.svg
diff --git a/doc/figure/gen_trace.jpg b/doc/figure/gen_trace.jpg
diff --git a/doc/figure/keyframe.jpg b/doc/figure/keyframe.jpg
diff --git a/doc/figure/reorder_actions.png b/doc/figure/reorder_actions.png
diff --git a/doc/figure/reorder_actions.svg b/doc/figure/reorder_actions.svg
diff --git a/doc/figure/verifying.png b/doc/figure/verifying.png
diff --git a/doc/figure/workflow.png b/doc/figure/workflow.png