Taddeus Kroes 3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications před 12 roky
..
assemble.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process před 12 roky
bool_op.ml 305c63426c Bugfixes před 12 roky
constant_propagation.ml 3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications před 12 roky
context_analysis.ml 26898cdb76 Removed debug message před 12 roky
desug.ml b418c7c589 Generated array dimension names are now unique to avoid weird error messages when array definitions have name clashes před 12 roky
dim_reduce.ml 0b8bbab84a Fixed index calculation in array dimension reduction před 12 roky
extern_vars.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process před 12 roky
index_analysis.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process před 12 roky
load.ml 5a1093419e Fixed verbosity level for log message před 12 roky
output.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option před 12 roky
parse.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option před 12 roky
peephole.ml 4d50c33953 Fixed verbosity level před 12 roky
print.ml 494df9d5b5 Assembly printer now prints opimized load instructions před 12 roky
typecheck.ml f496ce57f6 Made some better error messages for array assignments před 12 roky