afp-mirror/Extended_Finite_State_Machine_Inference
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
7 Commits 1 Branch 3 Tags 90 KiB
main
Commit Graph

7 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Achim D. Brucker
d5c6f8533a Changed name to reflect development status.
All checks were successful
ci/woodpecker/push/build Pipeline was successful
Details
2022-03-26 08:55:24 +00:00
Achim D. Brucker
bf8d7c7dc0 Switched from Jenkins to Woodpecker CI.
Some checks failed
ci/woodpecker/push/build Pipeline failed
Details
2022-03-26 08:51:34 +00:00
Achim D. Brucker
f8e96ecf25 Renamed upstream repository. 2021-12-31 08:42:15 +00:00
Achim D. Brucker
7e2f942e0a Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-31 08:42:15 +00:00
Achim D. Brucker
1f29340b1b Import of AFP for Isabelle 2021. 2021-02-27 16:34:10 +00:00
Achim D. Brucker
2863b3552a Initial commit. 2020-12-19 10:03:17 +00:00
Achim D. Brucker
bc6cffa54d Initial import from AFP. 2020-12-19 09:35:49 +00:00