Files

 master

/

passes

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

hrutvik

Try to fix compiler/backend/passes/proofs

Feb 8, 2025

cd3aee1 · Feb 8, 2025

History

History

/

passes

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
proofs		proofs	Try to fix compiler/backend/passes/proofs	Feb 8, 2025
tests		tests	Add an inlining example that shouldn't be specialised	Sep 8, 2023
Holmakefile		Holmakefile	Add calls to empty_ffi	Sep 15, 2023
env_to_stateScript.sml		env_to_stateScript.sml	Move some definitions upwards	Oct 4, 2023
pure_comp_confScript.sml		pure_comp_confScript.sml	Pass in numbers on command line	Oct 9, 2023
pure_dead_letScript.sml		pure_dead_letScript.sml	Removal of dead let-bindings	Sep 1, 2023
pure_demands_analysisScript.sml		pure_demands_analysisScript.sml	Ignore call-site function demands	Mar 30, 2023
pure_freshenScript.sml		pure_freshenScript.sml	Prove correctness of freshening	Sep 18, 2023
pure_inline_cexpScript.sml		pure_inline_cexpScript.sml	Clean up the inliner implementation	Oct 10, 2023
pure_letrec_cexpScript.sml		pure_letrec_cexpScript.sml	Move inlining back up in the compiler	Sep 18, 2023
pure_letrec_spec_cexpScript.sml		pure_letrec_spec_cexpScript.sml	Alternative definitions of specialisation	Oct 12, 2023
pure_namesScript.sml		pure_namesScript.sml	Sketch proof of func. impl. of pure_to_thunk pass	Oct 31, 2022
pure_nestedcaseScript.sml		pure_nestedcaseScript.sml	Start to make pure_cexp use mlstrings instead of :string	Jun 9, 2022
pure_to_cakeScript.sml		pure_to_cakeScript.sml	Add flag to force GC at end of CakeML program	Mar 20, 2023
pure_to_thunkScript.sml		pure_to_thunkScript.sml	Uncheat pure_to_thunkProof	Jul 4, 2023
state_app_unitScript.sml		state_app_unitScript.sml	Fixes for opt flags	Feb 27, 2023
state_namesScript.sml		state_namesScript.sml	Move compiler impl. out of Proof files	Oct 29, 2022
state_to_cakeScript.sml		state_to_cakeScript.sml	Add flag to force GC at end of CakeML program	Mar 20, 2023
thunk_let_forceScript.sml		thunk_let_forceScript.sml	removed box from ThunkLang	Sep 8, 2023
thunk_split_Delay_LamScript.sml		thunk_split_Delay_LamScript.sml	Move some definitions upwards	Oct 4, 2023
thunk_split_Forcing_LamScript.sml		thunk_split_Forcing_LamScript.sml	removed box from ThunkLang	Sep 8, 2023
thunk_to_envScript.sml		thunk_to_envScript.sml	Move some definitions upwards	Oct 4, 2023
var_setScript.sml		var_setScript.sml	implemented new optimisation pass, still needs to be integrated and t…	Mar 18, 2023
View all files