Taddeus Kroes b418c7c589 Generated array dimension names are now unique to avoid weird error messages when array definitions have name clashes 12 年 前
..
assemble.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 年 前
bool_op.ml 305c63426c Bugfixes 12 年 前
constant_propagation.ml 7462e88b3d Added warning and constant propagation check for division by zero 12 年 前
context_analysis.ml 26898cdb76 Removed debug message 12 年 前
desug.ml b418c7c589 Generated array dimension names are now unique to avoid weird error messages when array definitions have name clashes 12 年 前
dim_reduce.ml 0b8bbab84a Fixed index calculation in array dimension reduction 12 年 前
extern_vars.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 年 前
index_analysis.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 年 前
load.ml 5a1093419e Fixed verbosity level for log message 12 年 前
output.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 年 前
parse.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 年 前
peephole.ml 4d50c33953 Fixed verbosity level 12 年 前
print.ml 494df9d5b5 Assembly printer now prints opimized load instructions 12 年 前
typecheck.ml 4f4ff50e16 Now using Int32 for integer bounds checking 12 年 前