OnionGrief/Chipollino Issues
Методы Abstract Machine
Updated 2Минимизация по Хопкрофту
UpdatedЛинтер рефала
UpdatedPDA Class
Updated 4для нужд веб-сервера
UpdatedSemDet (#рефалстиль)
Updated 10Прогрессбар
UpdatedМетод `Compare`
UpdatedМультиформатные метаданные
UpdatedОбобщение Subset
UpdatedMergeBisim быстрее, чем Minimize
Updated 1Readme
UpdatedBisimilarity
Updated 2Перепроверить докер
UpdatedRewriting automata
Updated 5Выпилить label из FA
UpdatedПарсинг по MFA
ClosedБаг преобразования arden
Closed 1Сделать метод Equal для MFA
UpdatedРасширение автотестов
UpdatedПоддержка отрицания для Regex
Updated 2Тест на генерацию логов
UpdatedПреобразования в классе MFA
Closed 1Создание нормальных unit тестов
Closed 2Актуализация рефала
Updated 3Colorize
Updated 5Метаданные автомата
Updated 1Избавление от хардкода
UpdatedБудущее проекта
UpdatedFollow-эквивалентность
Closed 2Напутствие и прощание
Closed 3Линеаризующиеся эпсилоны
Closed 1Таблица МН
Updated 5RemEps и RemEps+
Closed 4