Merge requests · mvg / Utopia EDA · GitLab

ParserV outs tests and nOuts method

!9 · created Jun 22, 2023 by Кашинцев Илья Константинович
Model
- Merged
- 3
updated Jan 17, 2024
getNet moved to gate_verilog_parser

!6 · created Jun 20, 2023 by Кашинцев Илья Константинович
Translator
- Merged
- 4
updated Jan 17, 2024
gnet: fix incorrect subnet index in addNet()

!5 · created Jun 20, 2023 by Кашинцев Илья Константинович
Model
- Merged
- 1
updated Jan 17, 2024
Counter example in CheckerResult version 2

!32 · created Jul 25, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 5
updated Jan 17, 2024
Find cut parameter

!26 · created Jul 19, 2023 by Щербакова Елизавета Александровна
LogOptimizer
- Merged
- 10
updated Jan 17, 2024
Yml script for auto building

!28 · created Jul 20, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 3
updated Jan 17, 2024
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

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