Dataset for REMaQE evaluation

Dataset for evaluation of REMaQE This dataset contains 3,137 randomly generated math equations, that have been compiled into ARM 32-bit HardFloat binaries using C and Simulink implementations, with 4 different optimization levels. The binaries are reverse engineered to math equations by REMaQE, and this dataset covers a wide variety of binary implementations to evaluate REMaQE's performance. Each generated equation is implemented as a C function and a Simulink model. Simulink is popular for modelling controllers, and it provides features to compile the models into binaries for embedded targets. The C function is compiled for ARM32-HF target using the GCC compiler (arm-linux-gnueabhihf-gcc). The Simulink model is compiled for the same target using Simulink's code generation feature. Four optimization levels from "-O0" to "-O3" are used during compilation to obtain a variety of implementations.