Merge requests · mvg / Utopia EDA · GitLab

Fix: the function evaluate() in subnet_truth_table.h

!142 · created Jan 09, 2024 by Вершков Максим Дмитриевич
Model
- Merged
- 1
updated Jan 17, 2024
Image lcov installation

!143 · created Jan 11, 2024 by Грицун Тимофей Юрьевич
DevOps
- Merged
updated Jan 17, 2024
Error fix

!146 · created Jan 12, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024
Refactoring AigMapper.

!150 · created Jan 13, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 17, 2024
Fix issue "rwdatabase.cpp: warnings"

!2 · created Jun 14, 2023 by Рамалданов Рустамхан Ражудинович
LogOptimizer
- Merged
updated Jan 17, 2024
De Micheli algorithm.

!140 · created Jan 08, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 21
updated Jan 15, 2024
Refactoring Akers algorithm.

!149 · created Jan 13, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 13, 2024
Fixed cone builder

!147 · created Jan 12, 2024 by Ершов Михаил Алексеевич
LogOptimizer
updated Jan 13, 2024
Updated fraig-checker for model1

!132 · created Dec 26, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 18
updated Jan 12, 2024
Documentation generation with Doxygen

!99 · created Nov 17, 2023 by Знатнов Егор Павлович
Documentation
- Merged
- 33
updated Jan 11, 2024
ConeBuilder class.

!124 · created Dec 20, 2023 by Ершов Михаил Алексеевич
LogOptimizer
updated Jan 11, 2024
Bugfix in entries iterating.

!113 · created Dec 01, 2023 by Ершов Михаил Алексеевич
LogOptimizer
updated Jan 11, 2024
Cut storage class.

!96 · created Nov 13, 2023 by Ершов Михаил Алексеевич
LogOptimizer
- Merged
- 8
updated Jan 11, 2024
Revert "subnet_test.cpp: comment tests out till !106 fix"

!111 · created Nov 30, 2023 by Sergey Smolov
Synthesizer
updated Jan 04, 2024
Draft: De Micheli algorithm.

!133 · created Dec 26, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 17
updated Dec 29, 2023
Image update yosys

!137 · created Dec 27, 2023 by Грицун Тимофей Юрьевич
DevOps
- Merged
- 1
updated Dec 29, 2023
AigMapper for the Subnet

!138 · created Dec 27, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 1
updated Dec 28, 2023
Moved cone primary inputs at the beginning of entries array.

!129 · created Dec 25, 2023 by Ершов Михаил Алексеевич
LogOptimizer
- Merged
- 3
updated Dec 27, 2023
Checkers errors fix & CheckerResult

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

!135 · created Dec 27, 2023 by Ушаков Александр Николаевич
- Merged
updated Dec 27, 2023

Prev
1
…
26
27
28
29
30
31
32
Next