Startseite Erkunden Hilfe
Anmelden
taddeus
/
civicaml
1
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: b79720f90d
Branches Tags
civicaml
/
phases
Taddeus Kroes b79720f90d Documented desugaring phase vor 12 Jahren
..
assemble.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
assemble.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
boolop.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
boolop.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
constprop.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
constprop.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
context.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
context.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
desug.ml b79720f90d Documented desugaring phase vor 12 Jahren
desug.mli b79720f90d Documented desugaring phase vor 12 Jahren
dimreduce.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
dimreduce.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
extern.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
extern.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
index.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
index.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
load.ml 3957fefea4 Documented Load phase vor 12 Jahren
load.mli 7a45964f5e Module titles can only be one sentence vor 12 Jahren
output.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
output.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
parse.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
parse.mli cb1208e018 Documented Parse phase vor 12 Jahren
peephole.ml d2ac2ab8ea Removed 'open Globals' and used 'Globals.args' instead vor 12 Jahren
peephole.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren
print.ml c41cb56442 Documented Print phase vor 12 Jahren
print.mli c41cb56442 Documented Print phase vor 12 Jahren
typecheck.ml 625095f367 Documented all global modules (phases still need to be done) vor 12 Jahren
typecheck.mli b8ec1c056c Added interface for Main module and generalised main phase function in a type vor 12 Jahren