Taddeus Kroes 1ba7a9c726 Integer bound check now uses Nativeint module so that it works on all platforms 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 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once 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 fc5a38d30a Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option 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 f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process 12 лет назад
typecheck.ml 1ba7a9c726 Integer bound check now uses Nativeint module so that it works on all platforms 12 лет назад