Taddeus Kroes dcca84a05b Changed binary name to civcc 11 年 前
..
assemble.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
assemble.mli 99f05a88f6 Documented assembly and peephole phases 12 年 前
boolop.ml a574d8ace5 IntVal now takes a 32-bit int as argument (not 31 or 63), and integer bound check is moved to lexer 12 年 前
boolop.mli 8259c48821 Updated phases documentation 11 年 前
constprop.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
constprop.mli 8259c48821 Updated phases documentation 11 年 前
context.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
context.mli 8259c48821 Updated phases documentation 11 年 前
desug.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
desug.mli 8259c48821 Updated phases documentation 11 年 前
dimreduce.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
dimreduce.mli 8259c48821 Updated phases documentation 11 年 前
index.ml ec7babc046 Started implementing VM changes of extern variables 11 年 前
index.mli 8259c48821 Updated phases documentation 11 年 前
load.ml 885fa4bc95 Changed the way errors are represented + context analysis now prints multiple errors before exiting 12 年 前
load.mli 7a45964f5e Module titles can only be one sentence 12 年 前
output.ml 903ac1f057 Fixed hline being printed before assembly code at verbosity=1 12 年 前
output.mli dcca84a05b Changed binary name to civcc 11 年 前
parse.ml 885fa4bc95 Changed the way errors are represented + context analysis now prints multiple errors before exiting 12 年 前
parse.mli 8259c48821 Updated phases documentation 11 年 前
peephole.ml a574d8ace5 IntVal now takes a 32-bit int as argument (not 31 or 63), and integer bound check is moved to lexer 12 年 前
peephole.mli 8259c48821 Updated phases documentation 11 年 前
print.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
print.mli c41cb56442 Documented Print phase 12 年 前
typecheck.ml ec7babc046 Started implementing VM changes of extern variables 11 年 前
typecheck.mli ec7babc046 Started implementing VM changes of extern variables 11 年 前
unroll.ml cd575763a0 Extern variables now use the .exportvar/.importvar directives + some general fixes 11 年 前
unroll.mli b530c36dde Generated variable names now have leading underscores instead of dollar signs 12 年 前