Taddeus Kroes 7462e88b3d Added warning and constant propagation check for division by zero 12 năm trước cách đây
..
assemble.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 năm trước cách đây
bool_op.ml 305c63426c Bugfixes 12 năm trước cách đây
constant_propagation.ml 7462e88b3d Added warning and constant propagation check for division by zero 12 năm trước cách đây
context_analysis.ml 26898cdb76 Removed debug message 12 năm trước cách đây
desug.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 năm trước cách đây
dim_reduce.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 năm trước cách đây
extern_vars.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 năm trước cách đây
index_analysis.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 năm trước cách đây
load.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 năm trước cách đây
output.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 năm trước cách đây
parse.ml fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 12 năm trước cách đây
peephole.ml 4d50c33953 Fixed verbosity level 12 năm trước cách đây
print.ml f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 năm trước cách đây
typecheck.ml 7462e88b3d Added warning and constant propagation check for division by zero 12 năm trước cách đây