Taddeus Kroes 7462e88b3d Added warning and constant propagation check for division by zero %!s(int64=12) %!d(string=hai) anos
..
assemble.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process %!s(int64=12) %!d(string=hai) anos
bool_op.ml 305c63426c Bugfixes %!s(int64=12) %!d(string=hai) anos
constant_propagation.ml 7462e88b3d Added warning and constant propagation check for division by zero %!s(int64=12) %!d(string=hai) anos
context_analysis.ml 26898cdb76 Removed debug message %!s(int64=12) %!d(string=hai) anos
desug.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process %!s(int64=12) %!d(string=hai) anos
dim_reduce.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process %!s(int64=12) %!d(string=hai) anos
extern_vars.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process %!s(int64=12) %!d(string=hai) anos
index_analysis.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process %!s(int64=12) %!d(string=hai) anos
load.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option %!s(int64=12) %!d(string=hai) anos
output.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option %!s(int64=12) %!d(string=hai) anos
parse.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option %!s(int64=12) %!d(string=hai) anos
peephole.ml 4d50c33953 Fixed verbosity level %!s(int64=12) %!d(string=hai) anos
print.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process %!s(int64=12) %!d(string=hai) anos
typecheck.ml 7462e88b3d Added warning and constant propagation check for division by zero %!s(int64=12) %!d(string=hai) anos