clean dead code
fix a bug with mem dependency detection
now output trace works with Dinero IV, update the README
formatting README
test and compare shared L1 and seperate L1
test run automation
dinero program added
main parameter updated