[asl reference] replace console splicing by generated console macros - #1919

[asl reference] replace console splicing by generated console macros#1919

Roman-Manevich wants to merge 4 commits into

masterherd/herdtools7:masterfrom

asl-reference-console-macrosherd/herdtools7:asl-reference-console-macrosCopy head branch name to clipboard