Easier debugging of MARS.
[jars.git] / Makefile
2020-05-11 plugdUpdated makefile.
2020-05-08 plugdAdded static compilation sequence to makefile.
2019-12-28 plugdOption to disable visualization in run-mars.
2019-12-28 plugdUpdated makefile.
2019-12-28 plugdAdded run-mars utility.