Для этого сайта требуется поддержка JavaScript.
Панель управления
Обзор
Помощь
Вход
afp-mirror
/
Extended_Finite_State_Machine_Inference
Следить
1
В избранное
0
Форкнуть
Вы уже форкнули Extended_Finite_State_Machine_Inference
0
Код
Задачи
Запросы на слияние
Релизы
Вики
Активность
Сравнить коммиты
базовая ветка: afp-mirror:main
Ветки
Теги
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
...
взять из: afp-mirror:main
Ветки
Теги
afp-mirror:main
afp-mirror:afp-current-Isabelle2021-1
afp-mirror:afp-current-Isabelle2021
afp-mirror:afp-Extended_Finite_State_Machine_Inference-current-Isabelle2020
Нечего сравнивать, родительская и текущая ветка одинаковые.