v0.0.1

Enhancements

• MARCO is now usable through a Python script that transparently pulls the latest Docker production image and runs the compiler in a containerized environment. A companion Python script is also provided to run the produced simulation binary in the same environment.

Bug fixes

• Array equations with self-dependencies on the array-level, but not on the scalar level, are preserved. An example of such equation is the following:

for i in 1:100 loop
  x[i] = x[i - 1];
end for;

• The reduction of the system equations passed to IDA was not correctly computing the indices of the equations resulting from expression substitution.