Diffusion afp-devel 83c401b5d938

changed short name of upcoming new entry as discussed with authors
83c401b5d938
Actions

Description

changed short name of upcoming new entry as discussed with authors

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP7d13e8f13c83: Fixed broken links (missing quote)

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP83c401b5d938: changed short name of upcoming new entry as discussed with authors.Sep 19 2020, 7:56 AM

Changes (56)

Path

Size

SelectionStrategies.thy

Drinks_Subsumption.thy

heuristics

Distinguishing_Guards.thy

Group_By.thy

Increment_Reset.thy

Least_Upper_Bound.thy

PTA_Generalisation.thy

Same_Register.thy

Store_Reuse.thy

Store_Reuse_Subsumption.thy

Weak_Subsumption.thy

Extended_Finite_State_Machine_Inference

	Extended_Finite_State_Machine_Inference/
	EFSM_Inference/

SelectionStrategies.thy

code-targets/

document/

examples/

Drinks_Subsumption.thy

heuristics/

Distinguishing_Guards.thy

Group_By.thy

Increment_Reset.thy

Least_Upper_Bound.thy

PTA_Generalisation.thy

Same_Register.thy

Store_Reuse.thy

Store_Reuse_Subsumption.thy

Weak_Subsumption.thy

ROOTS

rAFP83c401b5d938

View Options

thys/EFSM_Inference/Code_Generation.thy

View Options

thys/EFSM_Inference/EFSM_Dot.thy

View Options

thys/EFSM_Inference/Inference.thy

View Options

thys/EFSM_Inference/ROOT

View Options

thys/EFSM_Inference/SelectionStrategies.thy

View Options

thys/EFSM_Inference/Subsumption.thy

View Options

thys/EFSM_Inference/code-targets/Code_Target_FSet.thy

View Options

thys/EFSM_Inference/code-targets/Code_Target_List.thy

View Options

thys/EFSM_Inference/code-targets/Code_Target_Set.thy

View Options

thys/EFSM_Inference/document/root.bib

View Options

thys/EFSM_Inference/document/root.tex

View Options

thys/EFSM_Inference/efsm2sal.thy

View Options

thys/EFSM_Inference/examples/Drinks_Subsumption.thy

View Options

thys/EFSM_Inference/heuristics/Distinguishing_Guards.thy

View Options

thys/EFSM_Inference/heuristics/Group_By.thy

View Options

thys/EFSM_Inference/heuristics/Increment_Reset.thy

View Options

thys/EFSM_Inference/heuristics/Least_Upper_Bound.thy

View Options

thys/EFSM_Inference/heuristics/PTA_Generalisation.thy

View Options

thys/EFSM_Inference/heuristics/Same_Register.thy

View Options

thys/EFSM_Inference/heuristics/Store_Reuse.thy

View Options

thys/EFSM_Inference/heuristics/Store_Reuse_Subsumption.thy

View Options

thys/EFSM_Inference/heuristics/Weak_Subsumption.thy

View Options

thys/Extended_Finite_State_Machine_Inference/Code_Generation.thy

View Options

thys/Extended_Finite_State_Machine_Inference/EFSM_Dot.thy

View Options

thys/Extended_Finite_State_Machine_Inference/Inference.thy

View Options

thys/Extended_Finite_State_Machine_Inference/ROOT

View Options

thys/Extended_Finite_State_Machine_Inference/SelectionStrategies.thy

View Options

thys/Extended_Finite_State_Machine_Inference/Subsumption.thy

View Options

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_FSet.thy

View Options

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_List.thy

View Options

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_Set.thy

View Options

thys/Extended_Finite_State_Machine_Inference/document/root.bib

View Options

thys/Extended_Finite_State_Machine_Inference/document/root.tex

View Options

thys/Extended_Finite_State_Machine_Inference/efsm2sal.thy

View Options

thys/Extended_Finite_State_Machine_Inference/examples/Drinks_Subsumption.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Distinguishing_Guards.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Group_By.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Increment_Reset.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Least_Upper_Bound.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/PTA_Generalisation.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Same_Register.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Store_Reuse.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Store_Reuse_Subsumption.thy

View Options

thys/Extended_Finite_State_Machine_Inference/heuristics/Weak_Subsumption.thy

View Options

changed short name of upcoming new entry as discussed with authors83c401b5d938Actions

Description

Details

Event Timeline

Changes (56)

rAFP83c401b5d938

thys/EFSM_Inference/Code_Generation.thy

thys/EFSM_Inference/EFSM_Dot.thy

thys/EFSM_Inference/Inference.thy

thys/EFSM_Inference/ROOT

thys/EFSM_Inference/SelectionStrategies.thy

thys/EFSM_Inference/Subsumption.thy

thys/EFSM_Inference/code-targets/Code_Target_FSet.thy

thys/EFSM_Inference/code-targets/Code_Target_List.thy

thys/EFSM_Inference/code-targets/Code_Target_Set.thy

thys/EFSM_Inference/document/root.bib

thys/EFSM_Inference/document/root.tex

thys/EFSM_Inference/efsm2sal.thy

thys/EFSM_Inference/examples/Drinks_Subsumption.thy

thys/EFSM_Inference/heuristics/Distinguishing_Guards.thy

thys/EFSM_Inference/heuristics/Group_By.thy

thys/EFSM_Inference/heuristics/Increment_Reset.thy

thys/EFSM_Inference/heuristics/Least_Upper_Bound.thy

thys/EFSM_Inference/heuristics/PTA_Generalisation.thy

thys/EFSM_Inference/heuristics/Same_Register.thy

thys/EFSM_Inference/heuristics/Store_Reuse.thy

thys/EFSM_Inference/heuristics/Store_Reuse_Subsumption.thy

thys/EFSM_Inference/heuristics/Weak_Subsumption.thy

thys/Extended_Finite_State_Machine_Inference/Code_Generation.thy

thys/Extended_Finite_State_Machine_Inference/EFSM_Dot.thy

thys/Extended_Finite_State_Machine_Inference/Inference.thy

thys/Extended_Finite_State_Machine_Inference/ROOT

thys/Extended_Finite_State_Machine_Inference/SelectionStrategies.thy

thys/Extended_Finite_State_Machine_Inference/Subsumption.thy

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_FSet.thy

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_List.thy

thys/Extended_Finite_State_Machine_Inference/code-targets/Code_Target_Set.thy

thys/Extended_Finite_State_Machine_Inference/document/root.bib

thys/Extended_Finite_State_Machine_Inference/document/root.tex

thys/Extended_Finite_State_Machine_Inference/efsm2sal.thy

thys/Extended_Finite_State_Machine_Inference/examples/Drinks_Subsumption.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Distinguishing_Guards.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Group_By.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Increment_Reset.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Least_Upper_Bound.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/PTA_Generalisation.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Same_Register.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Store_Reuse.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Store_Reuse_Subsumption.thy

thys/Extended_Finite_State_Machine_Inference/heuristics/Weak_Subsumption.thy

thys/ROOTS

changed short name of upcoming new entry as discussed with authors
83c401b5d938
Actions