Dataset for REMaQE

Dataset for REMaQE

Each generated equation is present in its own folder in one of the `batch*` folders.
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.

Build

The `build_c.sh` and `build_simulink.sh` scripts build the binaries.

Schema

The JSON schema of each generated file.

"expressions.json": {
  "inputs": [], 
  "outputs": [],
  "constants": {
    :
  },
  "expressions": {
    :
  }
}

"simplified.json": {
  : {
    "simplified": ,
    "good": ,
    "error":  
  },
  ...
}

"*_reversed.json": {
  "inputs": {
    : ,
    ...
  },
  "outputs": {
      : {
      "storage": ,
      "expression": ,
      "simplified": ,
      "parsed": ,
      "error":
    },
    ...
  },
  "constants": {
    : {
      "storage": ,
      "value":
    }
  }
}

"accuracy.json": {
  "matched": ,
  "error": ,
  : {
    : {
      "matched": ,
      "mismatches": [],
      "symbol_map": {
        : ,
        ...
      }
    }
  },
  ...
}