| .. |
|
assemble.ml
|
46de4b43aa
Whitespace 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
|
b65f17c932
Did some refactoring on main module and tweaked output options
|
11 年之前 |
|
constprop.mli
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
context.ml
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
context.mli
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
desug.ml
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
desug.mli
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
dimreduce.ml
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
dimreduce.mli
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
index.ml
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
index.mli
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
load.ml
|
4337398bfa
Removed some unnessecary parentheses from tuples and did some general cleanup
|
11 年之前 |
|
load.mli
|
7a45964f5e
Module titles can only be one sentence
|
12 年之前 |
|
output.ml
|
b65f17c932
Did some refactoring on main module and tweaked output options
|
11 年之前 |
|
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
|
b65f17c932
Did some refactoring on main module and tweaked output options
|
11 年之前 |
|
print.mli
|
c41cb56442
Documented Print phase
|
12 年之前 |
|
typecheck.ml
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
11 年之前 |
|
typecheck.mli
|
ec7babc046
Started implementing VM changes of extern variables
|
11 年之前 |
|
unroll.ml
|
b65f17c932
Did some refactoring on main module and tweaked output options
|
11 年之前 |
|
unroll.mli
|
cbeae1d982
Fixed some typeos in documentation, changed <allocate> to __allocate for consistency with language spec
|
11 年之前 |
Taddeus Kroes
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)