Extended_Finite_State_Machi.../Extended_Finite_State_Machi.../ROOT

37 lines
742 B
Plaintext

chapter AFP
session "Extended_Finite_State_Machine_Inference-devel" (AFP) = Extended_Finite_State_Machines +
options [timeout = 600]
directories
"heuristics"
"code-targets"
"examples"
theories
"Subsumption"
"examples/Drinks_Subsumption"
"Inference"
"SelectionStrategies"
"heuristics/Store_Reuse"
"heuristics/Store_Reuse_Subsumption"
"heuristics/Increment_Reset"
"heuristics/Same_Register"
"heuristics/Least_Upper_Bound"
"heuristics/Distinguishing_Guards"
"heuristics/Weak_Subsumption"
"heuristics/PTA_Generalisation"
"EFSM_Dot"
"efsm2sal"
"code-targets/Code_Target_List"
"code-targets/Code_Target_Set"
"code-targets/Code_Target_FSet"
"Code_Generation"
document_files
"root.tex"
"root.bib"