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