Merge requests · mvg / Utopia EDA · GitLab

Aiger

!701 · created Apr 09, 2025 by Петрушина Юлия
- 31
updated Apr 21, 2025
Add builder from rtlil

!687 · created Mar 28, 2025 by Чернявских Илья Игоревич
updated May 06, 2025
Draft: Statistics EQY

!686 · created Mar 27, 2025 by Ржевская Мария Михайловна
updated Mar 30, 2025
Draft: Lec tests update

!684 · created Mar 25, 2025 by Соснин Артём Олегович
updated May 07, 2025
Draft: Technology dependent synthesizer

!681 · created Mar 24, 2025 by Гаряев Даниил Ренатович
updated Apr 03, 2025
Draft: Buffering

!677 · created Mar 18, 2025 by Белин Егор Сергеевич
- 7
updated Apr 02, 2025
Draft: Use kuehlmann and EQY checkers

!666 · created Mar 11, 2025 by Соснин Артём Олегович
updated Apr 08, 2025
Draft: add using of checkers vector in all tests

!664 · created Mar 11, 2025 by Соснин Артём Олегович
- 19
updated May 07, 2025
Resolve "CMake presets"

!628 · created Feb 14, 2025 by Sergey Smolov
Build
- 3
updated May 06, 2025
Draft: Merge and update reports

!624 · created Feb 12, 2025 by Соснин Артём Олегович
updated Feb 12, 2025
Draft: Data from last pipeline

!602 · created Jan 27, 2025 by Соснин Артём Олегович
updated May 07, 2025
Draft: Create kuehlmann checker

!590 · created Jan 15, 2025 by Пащенко Ярослав Владимирович
updated May 06, 2025
Create frontier cut propagator

!558 · created Dec 13, 2024 by Пащенко Ярослав Владимирович
updated Jan 17, 2025
Draft: Corasick mapping

!270 · created Apr 17, 2024 by Федотова Анна Алексеевна
updated Jun 21, 2024
Removed not synth ops & reduce ops.

!228 · created Mar 13, 2024 by Григоров Иван Александрович
- 6
updated Mar 18, 2024
Draft: Reorganize CMake build scripts 4 of 6 checklist items completed

!196 · created Feb 18, 2024 by Artem Kotsynyak
- 1
updated Oct 21, 2024