From 6b4681b153b3b793ad342b0097703b419f3b1db7 Mon Sep 17 00:00:00 2001 From: Neea Date: Wed, 10 May 2023 20:24:11 -0400 Subject: [PATCH] update docs --- c_files/readme.md | 13 +++++++------ docs/examples.md | 2 +- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/c_files/readme.md b/c_files/readme.md index 1d730719..c6da0f35 100644 --- a/c_files/readme.md +++ b/c_files/readme.md @@ -49,13 +49,14 @@ | | `long.c` | Longer program with multiple loops and nested statements | | | `simplified_dense.c` | Simplified dense matrix | | | `xnu.c` | SPEC CPU2006 hmmer/src/masks.c XNU function | -| 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] | +| Tool paper[^2] | `tool_ex_1.c` | Sect 1. Example 1 from pymwp tool paper | +| | `tool_ex_2.c` | Sect 2.2 Example 2 from pymwp tool paper | +| | `tool_ex_3.c` | Sect 2.2 Example 3 from pymwp tool paper | +| | `t19.c_c4b` | Table 1: t19.c from Carbonneaux et al. 2015[^1] | +| | `t20.c_c4b` | Table 1: t20.c from Carbonneaux et al. 2015[^1] | +| | `t47.c_c4b` | Table 1: 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`. +[^2]: Sect 4.2 Example 4 is `infinite/infinite_3.c` diff --git a/docs/examples.md b/docs/examples.md index fb0a21cf..9d26b512 100644 --- a/docs/examples.md +++ b/docs/examples.md @@ -17,7 +17,7 @@ The project repository `c_files` directory contains many examples. : :material-asterisk:   **Implementation Paper**
Examples from "mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity". - : :material-language-python:  : **Tool paper**
Examples from pymwp tool paper. + : :material-language-python:   **Tool paper**
Examples from "pymwp: A Static Analyzer Determining Polynomial Growth Bounds". : :material-dots-horizontal:   **Other**
Other programs of interest.