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
Mutator on model2

!230 · created Mar 17, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 27
updated Apr 15, 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
Seq check

!207 · created Feb 28, 2024 by Портнягин Егор Романович
LogVerifier
- Merged
- 51
updated Apr 03, 2024
Fix: MaxArity exceeding in miter2

!234 · created Mar 21, 2024 by Вершков Максим Дмитриевич
LogVerifier
updated Mar 21, 2024
Additional tests for mutator

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

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

!156 · created Jan 19, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 31
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
Extra BUF gates removed from miter

!30 · created Jul 24, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 1
updated Jan 17, 2024
Verilog lec tests version №2

!24 · created Jul 17, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 32
updated Jan 17, 2024
Mitering at default checker

!21 · created Jul 11, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 12
updated Jan 17, 2024
Hints creation function

!23 · created Jul 16, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024
More bases

!16 · created Jul 03, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024