| .. |
|
CMakeLists.txt
|
feat(library/compiler): add reduce_arity compilation step
|
2018-11-09 14:30:33 -08:00 |
|
compiler.cpp
|
feat(library/compiler): add reduce_arity compilation step
|
2018-11-09 14:30:33 -08:00 |
|
compiler.h
|
feat(library/compiler): new compiler entry point (skeleton)
|
2018-10-05 17:30:27 -07:00 |
|
cse.cpp
|
fix(library/compiler/cse): must take a flag indicating whether we are applying optimization after/before erasure
|
2018-11-07 16:38:24 -08:00 |
|
cse.h
|
fix(library/compiler/cse): must take a flag indicating whether we are applying optimization after/before erasure
|
2018-11-07 16:38:24 -08:00 |
|
csimp.cpp
|
feat(library/compiler/csimp): inline recursive functions marked with [inline_if_reduce]
|
2018-11-09 10:15:47 -08:00 |
|
csimp.h
|
feat(library/compiler/csimp): float all cases
|
2018-10-25 15:41:11 -07:00 |
|
elim_dead_let.cpp
|
feat(library/compiler): add cse to new compiler stack
|
2018-09-14 17:48:18 -07:00 |
|
elim_dead_let.h
|
feat(library/compiler): new dead let removal
|
2018-09-14 08:41:55 -07:00 |
|
emit_bytecode.cpp
|
feat(library/compiler): add _apply and _closure instructions to LLNF
|
2018-11-07 13:30:28 -08:00 |
|
emit_bytecode.h
|
feat(library/compiler/compiler): switch to new compiler frontend
|
2018-10-08 17:38:17 -07:00 |
|
erase_irrelevant.cpp
|
refactor(library/compiler): move mk_runtime_type to util
|
2018-11-07 15:19:24 -08:00 |
|
erase_irrelevant.h
|
feat(library/compiler): new compiler entry point (skeleton)
|
2018-10-05 17:30:27 -07:00 |
|
extract_closed.cpp
|
feat(library/compiler): (try to) improve reduce_arity
|
2018-11-09 15:53:45 -08:00 |
|
extract_closed.h
|
feat(library/compiler): add extract_closed skeleton
|
2018-10-19 16:14:59 -07:00 |
|
init_module.cpp
|
feat(library/compiler): add to_ir skeleton
|
2018-11-05 17:04:23 -08:00 |
|
init_module.h
|
|
|
|
ir.cpp
|
feat(library/compiler/ir): basics
|
2018-11-05 17:04:23 -08:00 |
|
ir.h
|
feat(library/compiler): add to_ir skeleton
|
2018-11-05 17:04:23 -08:00 |
|
lambda_lifting.cpp
|
feat(library/compiler/lambda_lifting): preserve join points when performing lambda lifting
|
2018-11-01 16:04:25 -07:00 |
|
lambda_lifting.h
|
feat(library/compiler/lambda_lifting): new lambda lifting
|
2018-10-08 15:04:59 -07:00 |
|
lcnf.cpp
|
fix(library/compiler/lcnf): nat.zero ==> literal
|
2018-11-01 11:59:17 -07:00 |
|
lcnf.h
|
feat(library/compiler): new compiler entry point (skeleton)
|
2018-10-05 17:30:27 -07:00 |
|
ll_infer_type.cpp
|
feat(library/compiler): add type inference for ENF and LLNF
|
2018-11-09 13:17:11 -08:00 |
|
ll_infer_type.h
|
feat(library/compiler): add type inference for ENF and LLNF
|
2018-11-09 13:17:11 -08:00 |
|
llnf.cpp
|
chore(library/compiler/llnf): remove dead code
|
2018-11-07 16:48:32 -08:00 |
|
llnf.h
|
feat(library/compiler): add _apply and _closure instructions to LLNF
|
2018-11-07 13:30:28 -08:00 |
|
procedure.h
|
chore(library/compiler): simplify procedure class
|
2018-10-05 17:30:27 -07:00 |
|
reduce_arity.cpp
|
fix(library/compiler/reduce_arity): incorrect assertion
|
2018-11-11 11:58:19 -08:00 |
|
reduce_arity.h
|
feat(library/compiler): (try to) improve reduce_arity
|
2018-11-09 15:53:45 -08:00 |
|
simp_app_args.cpp
|
chore(library/compiler/simp_app_args): use ll_infer_type
|
2018-11-09 13:18:28 -08:00 |
|
simp_app_args.h
|
feat(library/compiler): make sure application arguments are free variables or neutral terms in LLNF
|
2018-11-07 17:25:20 -08:00 |
|
specialize.cpp
|
fix(library/compiler/specialize): remove bogus optimization
|
2018-11-07 18:00:28 -08:00 |
|
specialize.h
|
feat(library/compiler/specialize): code specialization
|
2018-10-16 15:50:42 -07:00 |
|
util.cpp
|
chore(library/compiler/util): remove leftover
|
2018-11-09 15:10:28 -08:00 |
|
util.h
|
perf(library/compiler/csimp): avoid unnecessary local decl
|
2018-11-08 17:03:34 -08:00 |
