Dataset for REMaQE

<strong>Dataset for REMaQE</strong> Each generated equation is present in its own folder in one of the `batch*` folders.<br> The `valid.list` lists all 9,726 valid generated equations. For each equation, the files present are: `c_accuracy.json`: equivalence match results `c_bin.diss`: C binary disassembly `c_bin.elf`: C binary `c_build.log`: C build log `c_reversed.json`: REMaQE reversed result of C binary `code.c`: C code `error.log`: Error log `expressions.json`: Generated math equations `simplified.json`: Simplified math equations `simulink.mdl`: Simulink model `simulink_accuracy.json`: Simulink equivalence match results `simulink_bin.diss`: Simulink binary disassembly `simulink_bin.elf`: Simulink binary `simulink_build/`: Simulink build directory `simulink_reversed.json`: REMaQE reversed result of Simulink binary The `summary.json` file contains data about all the equations like number of ops, execution time, etc. <strong>Build</strong> The `build_c.sh` and `build_simulink.sh` scripts build the binaries. <strong>Schema</strong> The JSON schema of each generated file. <pre><code>"expressions.json": { "inputs": [&lt;input-names&gt;], "outputs": [&lt;output-names&gt;], "constants": { &lt;constant-name&gt;: &lt;value&gt; }, "expressions": { &lt;block-name&gt;: &lt;block-expression&gt; } } "simplified.json": { &lt;output-name&gt;: { "simplified": &lt;expression&gt;, "good": &lt;true/false&gt;, "error": &lt;error-msg&gt; }, &lt;next-output&gt;... } "*_reversed.json": { "inputs": { &lt;input-name&gt;: &lt;storage-desc&gt;, ... }, "outputs": { &lt;output-name&gt;: { "storage": &lt;storage-desc&gt;, "expression": &lt;output-expression&gt;, "simplified": &lt;simplified-expression&gt;, "parsed": &lt;true/false&gt;, "error": &lt;error-msg&gt; }, ... }, "constants": { &lt;constant-name&gt;: { "storage": &lt;storage-desc&gt;, "value": &lt;value&gt; } } } "accuracy.json": { "matched": &lt;true/false - aggregate&gt;, "error": &lt;error-msg&gt;, &lt;rev_output&gt;: { &lt;gt_output&gt;: { "matched": &lt;true/false&gt;, "mismatches": [&lt;list of mismatches&gt;], "symbol_map": { &lt;rev_input&gt;: &lt;gt_input&gt;, ... } } }, &lt;next rev_output&gt;... }</code></pre>