| .. |
|
assemble.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
assemble.mli
|
99f05a88f6
Documented assembly and peephole phases
|
12 năm trước cách đây |
|
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 năm trước cách đây |
|
boolop.mli
|
8259c48821
Updated phases documentation
|
11 năm trước cách đây |
|
constprop.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
constprop.mli
|
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec
|
11 năm trước cách đây |
|
context.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
context.mli
|
8259c48821
Updated phases documentation
|
11 năm trước cách đây |
|
desug.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
desug.mli
|
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec
|
11 năm trước cách đây |
|
dimreduce.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
dimreduce.mli
|
8259c48821
Updated phases documentation
|
11 năm trước cách đây |
|
index.ml
|
ec7babc046
Started implementing VM changes of extern variables
|
11 năm trước cách đây |
|
index.mli
|
8259c48821
Updated phases documentation
|
11 năm trước cách đây |
|
load.ml
|
885fa4bc95
Changed the way errors are represented + context analysis now prints multiple errors before exiting
|
12 năm trước cách đây |
|
load.mli
|
7a45964f5e
Module titles can only be one sentence
|
12 năm trước cách đây |
|
output.ml
|
903ac1f057
Fixed hline being printed before assembly code at verbosity=1
|
12 năm trước cách đây |
|
output.mli
|
dcca84a05b
Changed binary name to civcc
|
11 năm trước cách đây |
|
parse.ml
|
885fa4bc95
Changed the way errors are represented + context analysis now prints multiple errors before exiting
|
12 năm trước cách đây |
|
parse.mli
|
8259c48821
Updated phases documentation
|
11 năm trước cách đây |
|
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 năm trước cách đây |
|
peephole.mli
|
8259c48821
Updated phases documentation
|
11 năm trước cách đây |
|
print.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
print.mli
|
c41cb56442
Documented Print phase
|
12 năm trước cách đây |
|
typecheck.ml
|
ec7babc046
Started implementing VM changes of extern variables
|
11 năm trước cách đây |
|
typecheck.mli
|
ec7babc046
Started implementing VM changes of extern variables
|
11 năm trước cách đây |
|
unroll.ml
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
11 năm trước cách đây |
|
unroll.mli
|
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec
|
11 năm trước cách đây |
Taddeus Kroes
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec