afp-mirror
/
Extended_Finite_State_Machine_Inference
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
main
afp-current-Isabelle2021-1
afp-current-Isabelle2021
afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Extended_Finite_State_Machi.../Extended_Finite_State_Machi...
History
Achim D. Brucker d5c6f8533a
ci/woodpecker/push/build Pipeline was successful Details
Changed name to reflect development status. 		1 year ago
..
code-targets Migration to Isabelle 2021-1 (based on afp-2021-12-28). 1 year ago
document Migration to Isabelle 2021-1 (based on afp-2021-12-28). 1 year ago
examples Changed name to reflect development status. 1 year ago
heuristics Import of AFP for Isabelle 2021. 2 years ago
Code_Generation.thy Import of AFP for Isabelle 2021. 2 years ago
EFSM_Dot.thy Initial import from AFP. 2 years ago
Inference.thy Initial import from AFP. 2 years ago
ROOT Initial commit. 2 years ago
SelectionStrategies.thy Initial import from AFP. 2 years ago
Subsumption.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 1 year ago
efsm2sal.thy Initial import from AFP. 2 years ago