Merge requests · mvg / Utopia EDA · GitLab

A reconvergence-driven cut extracting.

!175 · created Feb 07, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 2
updated Feb 15, 2024
Added replace method.

!176 · created Feb 07, 2024 by Ершов Михаил Алексеевич
LogOptimizer
updated Feb 13, 2024
The checkers for resynthesis_contest.

!182 · created Feb 11, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 9
updated Feb 13, 2024
Dsd to subnet

!69 · created Sep 23, 2023 by Романов Никита Сергеевич
LogOptimizer
- Merged
- 176
updated Feb 06, 2024
Resolve "Исправление массива переменной длины (с-style)"

!162 · created Jan 25, 2024 by Знатнов Егор Павлович
LogOptimizer
- Merged
- 5
updated Feb 02, 2024
De Micheli algorithm and test: small fixes.

!166 · created Jan 29, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 29, 2024
Rm max arity

!148 · created Jan 13, 2024 by Знатнов Егор Павлович
LogOptimizer
- Merged
- 17
updated Jan 25, 2024
Текущая ветка: prob_estimator

!130 · created Dec 26, 2023 by Курганская Анастасия Сергеевна
LogOptimizer
- Merged
- 34
updated Jan 17, 2024
Added output port and invertor flag in cones.

!153 · created Jan 16, 2024 by Ершов Михаил Алексеевич
LogOptimizer
- Merged
- 1
updated Jan 17, 2024
Unitized Table for Akers algorithm

!17 · created Jul 06, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 81
updated Jan 17, 2024
Walker logic is separated. Cone find methods moved to util.

!25 · created Jul 18, 2023 by Щербакова Елизавета Александровна
LogOptimizer
- Merged
updated Jan 17, 2024
Find cut parameter

!26 · created Jul 19, 2023 by Щербакова Елизавета Александровна
LogOptimizer
- Merged
- 10
updated Jan 17, 2024
Added cone extraction function and example of its usage in tests.

!38 · created Jul 26, 2023 by Щербакова Елизавета Александровна
LogOptimizer
- Merged
updated Jan 17, 2024
Recursive deleting method and example of its usage in tests are added.

!44 · created Jul 28, 2023 by Щербакова Елизавета Александровна
LogOptimizer
- Merged
- 5
updated Jan 17, 2024
Adaptation Akers algorithm for subnet

!63 · created Sep 12, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 10
updated Jan 17, 2024
A new interface for bi-decomposition

!66 · created Sep 15, 2023 by Ягжов Алексей Александрович
LogOptimizer
- Merged
- 9
- Approved
updated Jan 17, 2024
BiDecomposition

!68 · created Sep 21, 2023 by Ягжов Алексей Александрович
LogOptimizer
updated Jan 17, 2024
ReedMullerModel2, fixed merge conflicts

!83 · created Oct 22, 2023 by Знатнов Егор Павлович
LogOptimizer
- Merged
- 11
updated Jan 17, 2024
maxArity in bi-decomposition and Minato-Morreale

!117 · created Dec 09, 2023 by Ягжов Алексей Александрович
LogOptimizer
updated Jan 17, 2024
A proposal of solving issue with XNOR in addCellTree().

!120 · created Dec 18, 2023 by Вершков Максим Дмитриевич
LogOptimizer Model
- Merged
- 1
updated Jan 17, 2024

Prev
1
2
3
4
5
6
Next