update examples (#109)

statycc · May 4, 2023 · e9073e6 · e9073e6
1 parent de64a6b
commit e9073e6
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 6 deletions.
diff --git a/c_files/readme.md b/c_files/readme.md
@@ -48,11 +48,13 @@
 |                      | `gcd.c`               | Greatest common divisor by subtraction                    |
 |                      | `long.c`              | Longer program with multiple loops and nested statements  |
 |                      | `simplified_dense.c`  | Simplified dense matrix                                   |
-| Tool paper           | `ex1_1.c`             | Example 1 from tool paper                                 |
-|                      | `ex2_1_2.c`           | Example 2 from tool paper                                 |
-|                      | `ex2_1_3.c`           | Example 3 from tool paper                                 |
-|                      | `t19.c`               | Example t19.c from Carbonneaux et al. 2015                |
-|                      | `t20.c`               | Example t20.c from Carbonneaux et al. 2015                |
-|                      | `t47.c`               | Example t47.c from Carbonneaux et al. 2015                |
+| Tool paper           | `tool_ex_1.c`         | Example 1 from pymwp tool paper                           |
+|                      | `tool_ex_2.c`         | Example 2 from pymwp tool paper                           |
+|                      | `tool_ex_3.c`         | Example 3 from pymwp tool paper                           |
+|                      | `t19.c_c4b`           | Example t19.c from Carbonneaux et al. 2015[^1]            |
+|                      | `t20.c_c4b`           | Example t20.c from Carbonneaux et al. 2015[^1]            |
+|                      | `t47.c_c4b`           | Example t47.c from Carbonneaux et al. 2015[^1]            |
+
+[^1]: Syntax of these examples is adjusted to semantically equivalent statements supported by pymwp, e.g., unary `x++` must be expressed as `x = x + 1`.
 
 <!--end-->
diff --git a/c_files/tool_paper/t19.c → c_files/tool_paper/t19_c4b.c b/c_files/tool_paper/t19.c → c_files/tool_paper/t19_c4b.c
diff --git a/c_files/tool_paper/t20.c → c_files/tool_paper/t20_c4b.c b/c_files/tool_paper/t20.c → c_files/tool_paper/t20_c4b.c
diff --git a/c_files/tool_paper/t47.c → c_files/tool_paper/t47_c4b.c b/c_files/tool_paper/t47.c → c_files/tool_paper/t47_c4b.c
diff --git a/c_files/tool_paper/ex1_1.c → c_files/tool_paper/tool_ex_1.c b/c_files/tool_paper/ex1_1.c → c_files/tool_paper/tool_ex_1.c
diff --git a/c_files/tool_paper/ex2_1_2.c → c_files/tool_paper/tool_ex_2.c b/c_files/tool_paper/ex2_1_2.c → c_files/tool_paper/tool_ex_2.c
diff --git a/c_files/tool_paper/ex2_1_3.c → c_files/tool_paper/tool_ex_3.c b/c_files/tool_paper/ex2_1_3.c → c_files/tool_paper/tool_ex_3.c