Taddeus Kroes 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
..
assemble.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 år sedan
boolop.ml 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
constprop.ml 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
context.ml 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
desug.ml b418c7c589 Generated array dimension names are now unique to avoid weird error messages when array definitions have name clashes 12 år sedan
dimreduce.ml 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
extern.ml 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
index.ml 3458dfbadd Phase filenames now match identifiers in phases list 12 år sedan
load.ml 5a1093419e Fixed verbosity level for log message 12 år sedan
output.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 år sedan
parse.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 år sedan
peephole.ml 4d50c33953 Fixed verbosity level 12 år sedan
print.ml 494df9d5b5 Assembly printer now prints opimized load instructions 12 år sedan
typecheck.ml f496ce57f6 Made some better error messages for array assignments 12 år sedan