Merge requests · mvg / Utopia EDA · GitLab

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
Cascade

!64 · created Sep 12, 2023 by Федотова Анна Алексеевна
LogOptimizer
- Merged
- 9
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
Revert "Merge branch 'mr-origin-133' into main"

!139 · created Dec 29, 2023 by Sergey Smolov
LogOptimizer
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

Prev
1
2
3
4
5
6
Next