Merge requests · mvg / Utopia EDA · GitLab

Moved backups into context; Backup contains only subnet cnf (w/o props)

!352 · created Jun 28, 2024 by Ершов Михаил Алексеевич
LogVerifier
updated Jul 02, 2024
Verifier memory optimization.

!351 · created Jun 26, 2024 by Ершов Михаил Алексеевич
LogVerifier
updated Jun 26, 2024
Added Verifier class.

!350 · created Jun 25, 2024 by Ершов Михаил Алексеевич
LogVerifier
updated Jun 25, 2024
FraigChecker model2 & performance tests

!283 · created Apr 26, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 12
updated May 17, 2024
Examples LEC tests added, test file renamed

!259 · created Apr 08, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 4
updated Apr 19, 2024
Base checker update v2

!249 · created Apr 03, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 10
updated Apr 04, 2024
K checker

!244 · created Mar 31, 2024 by Чижмар Михаил Михайлович
LogVerifier
- Merged
- 8
updated Apr 03, 2024
Draft: Mitering in BaseChecker2, LEC and miter tests separated

!241 · created Mar 28, 2024 by Кашинцев Илья Константинович
LogVerifier
- Closed
- 13
updated Apr 04, 2024
Fix: MaxArity exceeding in miter2

!234 · created Mar 21, 2024 by Вершков Максим Дмитриевич
LogVerifier
updated Mar 21, 2024
Mutator on model2

!230 · created Mar 17, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 27
updated Apr 15, 2024
Additional tests for mutator

!217 · created Mar 04, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 2
updated Mar 06, 2024
Seq check

!207 · created Feb 28, 2024 by Портнягин Егор Романович
LogVerifier
- Merged
- 51
updated Apr 03, 2024
KChecker basic algorithm

!193 · created Feb 16, 2024 by Чижмар Михаил Михайлович
LogVerifier
- Merged
- 25
updated Feb 22, 2024
BDD checker model2

!184 · created Feb 13, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 3
updated Feb 14, 2024
LEC refactoring v2

!158 · created Jan 23, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 5
updated Jan 25, 2024
CutMutator

!156 · created Jan 19, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 31
updated Feb 22, 2024
Draft: LEC refactoring

!154 · created Jan 17, 2024 by Кашинцев Илья Константинович
LogVerifier
- Closed
- 49
updated Jan 23, 2024
Error fix

!146 · created Jan 12, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024
Updated fraig-checker for model1

!132 · created Dec 26, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 18
updated Jan 12, 2024
Checkers errors fix & CheckerResult

!127 · created Dec 23, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 6
updated Dec 27, 2023