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 година