Merge requests · mvg / Utopia EDA · GitLab

Ci/cd building fixed

!36 · created Jul 26, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 2
updated Jan 17, 2024
solveLimited

!35 · created Jul 26, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 2
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
Revert "Merge branch 'CI/CD_test' from T. Gritsun"

!40 · created Jul 27, 2023 by Sergey Smolov
CI/CD & Testing
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
Function to merge gates

!42 · created Jul 27, 2023 by Кашинцев Илья Константинович
Model
- Merged
- 8
updated Jan 17, 2024
Ci/cd test fix

!41 · created Jul 27, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 5
updated Jan 17, 2024
Ci/cd test modify

!51 · created Aug 02, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 1
updated Jan 17, 2024
Ci/cd getinfo

!52 · created Aug 03, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
updated Jan 17, 2024
Tech map

!12 · created Jun 27, 2023 by Гаряев Даниил Ренатович
TechMapper
- Merged
- 48
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
Ci/cd code coverage

!62 · created Sep 04, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 7
updated Jan 17, 2024
ReedMullerModel2, fixed merge conflicts

!83 · created Oct 22, 2023 by Знатнов Егор Павлович
LogOptimizer
- Merged
- 11
updated Jan 17, 2024
README

!94 · created Nov 09, 2023 by Ягжов Алексей Александрович
Documentation
updated Jan 17, 2024
RndChecker2

!101 · created Nov 19, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 6
updated Jan 17, 2024
Simulator

!116 · created Dec 09, 2023 by Ягжов Алексей Александрович
Simulator
updated Jan 17, 2024
bug in subnet_truth_table.h

!119 · created Dec 17, 2023 by Ягжов Алексей Александрович
Model
updated Jan 17, 2024

Prev
1
…
13
14
15
16
17
18
19
20
21
Next