Merge requests · mvg / Utopia EDA · GitLab

Fixing doxygen warnings.

!157 · created Jan 19, 2024 by Ершов Михаил Алексеевич
Model
updated Jan 24, 2024
GraphML to Subnet parser for OpenABC benchmark

!128 · created Dec 24, 2023 by Ягжов Алексей Александрович
Translator
- Merged
- 5
updated Jan 19, 2024
links inversion (fix of Tests failing)

!155 · created Jan 19, 2024 by Ягжов Алексей Александрович
- Merged
updated Jan 19, 2024
Mutator

!93 · created Nov 08, 2023 by Ржевская Мария Михайловна
CI/CD & Testing
- Merged
- 64
updated Jan 18, 2024
bi-decomposition and Minato-Morrealle updating

!151 · created Jan 14, 2024 by Ягжов Алексей Александрович
- Merged
updated Jan 18, 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
Extra BUF gates removed from miter

!30 · created Jul 24, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 1
updated Jan 17, 2024
Unitized Table for Akers algorithm

!17 · created Jul 06, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 81
updated Jan 17, 2024
Verilog lec tests version №2

!24 · created Jul 17, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 32
updated Jan 17, 2024
Mitering at default checker

!21 · created Jul 11, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 12
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
Hints creation function

!23 · created Jul 16, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024
getter methods for simulator & minor bug fix

!18 · created Jul 07, 2023 by Кашинцев Илья Константинович
Simulator
- Merged
- 5
updated Jan 17, 2024
Fixed bug: GateVerilogParser doesn't create OUT gates.

!14 · created Jun 30, 2023 by Щербакова Елизавета Александровна
Translator
- Merged
- 26
updated Jan 17, 2024
More bases

!16 · created Jul 03, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024
GNet->BDD Converter add MAJ3

!15 · created Jul 01, 2023 by Рамалданов Рустамхан Ражудинович
Model
- Merged
updated Jan 17, 2024
Rnd checker fixed

!13 · created Jun 29, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 5
updated Jan 17, 2024
Ril LEC tests

!10 · created Jun 23, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 28
updated Jan 17, 2024
GraphML printer and test suite

!4 · created Jun 19, 2023 by Мешочков Данила Михайлович
Model
- Merged
- 24
updated Jan 17, 2024

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