Merge requests · mvg / Utopia EDA · GitLab

Image circt installation

!170 · created Feb 05, 2024 by Грицун Тимофей Юрьевич
- Merged
updated Feb 05, 2024
Small changes in rnd_checker2.

!169 · created Feb 01, 2024 by Знатнов Егор Павлович 108-style
- Merged
updated Feb 01, 2024
Dot printer

!167 · created Jan 31, 2024 by Ржевская Мария Михайловна
Model
- Merged
- 9
updated Feb 05, 2024
De Micheli algorithm and test: small fixes.

!166 · created Jan 29, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 29, 2024
Moved fir_to_model2 translator; merge & readme fixes.

!165 · created Jan 29, 2024 by Григоров Иван Александрович
- Merged
- 5
updated Jan 31, 2024
Fix in 'fir_to_model2_wrapper.cpp'.

!164 · created Jan 26, 2024 by Григоров Иван Александрович
updated Jan 26, 2024
readme: fix CIRCT-related chapters

!163 · created Jan 26, 2024 by Sergey Smolov
Documentation
updated Jan 29, 2024
Resolve "Исправление массива переменной длины (с-style)"

!162 · created Jan 25, 2024 by Знатнов Егор Павлович
LogOptimizer
- Merged
- 5
updated Feb 02, 2024
size_t idx[InNum] -> std::vector<int> idx(InNum, 0)

!161 · created Jan 25, 2024 by Федотова Анна Алексеевна
LogOptimizer
- Merged
- 5
updated Jan 29, 2024
Draft: Resolve "Исправление массива переменной длины (с-style)"

!160 · created Jan 25, 2024 by Знатнов Егор Павлович
- Closed
updated Jan 25, 2024
Reed muller fix

!159 · created Jan 25, 2024 by Знатнов Егор Павлович 108-style
- Merged
- Approved
updated Jan 25, 2024
LEC refactoring v2

!158 · created Jan 23, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 5
updated Jan 25, 2024
Fixing doxygen warnings.

!157 · created Jan 19, 2024 by Ершов Михаил Алексеевич
Model
updated Jan 24, 2024
CutMutator

!156 · created Jan 19, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 31
updated Feb 22, 2024
links inversion (fix of Tests failing)

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

!154 · created Jan 17, 2024 by Кашинцев Илья Константинович
LogVerifier
- Closed
- 49
updated Jan 23, 2024
Added output port and invertor flag in cones.

!153 · created Jan 16, 2024 by Ершов Михаил Алексеевич
LogOptimizer
- Merged
- 1
updated Jan 17, 2024
Draft: Switching activity estimating in OpenABC-D (GraphMl)

!152 · created Jan 14, 2024 by Ягжов Алексей Александрович
- Closed
- 1
updated Jun 24, 2024
bi-decomposition and Minato-Morrealle updating

!151 · created Jan 14, 2024 by Ягжов Алексей Александрович
- Merged
updated Jan 18, 2024
Refactoring AigMapper.

!150 · created Jan 13, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 17, 2024

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