Skip to content
GitLab
Explore
Sign in
Open
12
Merged
402
Closed
67
All
481
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Image circt installation
!170
· created
Feb 05, 2024
by
Грицун Тимофей Юрьевич
Merged
updated
Feb 05, 2024
Dot printer
!167
· created
Jan 31, 2024
by
Ржевская Мария Михайловна
Model
Merged
9
updated
Feb 05, 2024
Resolve "Исправление массива переменной длины (с-style)"
!162
· created
Jan 25, 2024
by
Знатнов Егор Павлович
LogOptimizer
Merged
5
updated
Feb 02, 2024
Small changes in rnd_checker2.
!169
· created
Feb 01, 2024
by
Знатнов Егор Павлович
108-style
Merged
updated
Feb 01, 2024
Moved fir_to_model2 translator; merge & readme fixes.
!165
· created
Jan 29, 2024
by
Григоров Иван Александрович
Merged
5
updated
Jan 31, 2024
readme: fix CIRCT-related chapters
!163
· created
Jan 26, 2024
by
Sergey Smolov
Documentation
Merged
updated
Jan 29, 2024
De Micheli algorithm and test: small fixes.
!166
· created
Jan 29, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Jan 29, 2024
size_t idx[InNum] -> std::vector<int> idx(InNum, 0)
!161
· created
Jan 25, 2024
by
Федотова Анна Алексеевна
LogOptimizer
Merged
5
updated
Jan 29, 2024
Fix in 'fir_to_model2_wrapper.cpp'.
!164
· created
Jan 26, 2024
by
Григоров Иван Александрович
Merged
updated
Jan 26, 2024
Reed muller fix
!159
· created
Jan 25, 2024
by
Знатнов Егор Павлович
108-style
Merged
Approved
updated
Jan 25, 2024
'FIRRTL' to 'model2' translator added (along with the tests).
!121
· created
Dec 18, 2023
by
Григоров Иван Александрович
Merged
updated
Jan 25, 2024
LEC refactoring v2
!158
· created
Jan 23, 2024
by
Кашинцев Илья Константинович
LogVerifier
Merged
5
updated
Jan 25, 2024
Cascade max arity
!145
· created
Jan 11, 2024
by
Федотова Анна Алексеевна
LogOptimizer
Merged
20
updated
Jan 25, 2024
Rm max arity
!148
· created
Jan 13, 2024
by
Знатнов Егор Павлович
LogOptimizer
Merged
17
updated
Jan 25, 2024
Fixing doxygen warnings.
!157
· created
Jan 19, 2024
by
Ершов Михаил Алексеевич
Model
Merged
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
Prev
1
…
11
12
13
14
15
16
17
18
19
…
21
Next