Skip to content
GitLab
Explore
Sign in
Open
19
Merged
677
Closed
102
All
798
Recent searches
Loading
{{ 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}}
Created date
Ml aiger
!822
· created
Jul 18, 2025
by
Курганская Анастасия Сергеевна
11
updated
Jul 18, 2025
Fix yosys sigabrt handle
!817
· created
Jul 17, 2025
by
Чернявских Илья Игоревич
updated
Jul 17, 2025
Design API
!809
· created
Jul 15, 2025
by
Черток Никита Дмитриевич
Model
updated
Jul 15, 2025
Lec mapping
!807
· created
Jul 14, 2025
by
Усачев Даниил Сергеевич
14
updated
Jul 18, 2025
Add "--log <logPath>" option
!795
· created
Jul 10, 2025
by
Ржевская Мария Михайловна
5
updated
Jul 18, 2025
command "mutate"
!784
· created
Jul 07, 2025
by
Ржевская Мария Михайловна
1
updated
Jul 18, 2025
Parallel tests integration
!782
· created
Jul 07, 2025
by
Панова София Максимовна
DevOps
16
Approved
updated
Jul 18, 2025
lcov-only coverage stage
!780
· created
Jul 05, 2025
by
Дыскина Дарья Алексеевна
DevOps
2
Approved
updated
Jul 08, 2025
Update docs yosys: add sed usage && make git clone shorter
!770
· created
Jun 25, 2025
by
Чернявских Илья Игоревич
updated
Jun 30, 2025
Added SccExtractor.
!763
· created
Jun 20, 2025
by
Ершов Михаил Алексеевич
Model
updated
Jul 02, 2025
This branch likely will be deleted later (testing).
!757
· created
Jun 18, 2025
by
Григоров Иван Александрович
1
updated
Jun 24, 2025
Draft: Statistics EQY
!686
· created
Mar 27, 2025
by
Ржевская Мария Михайловна
updated
Mar 30, 2025
Draft: Lec tests update
!684
· created
Mar 25, 2025
by
Соснин Артём Олегович
updated
Jul 01, 2025
Draft: Technology dependent synthesizer
!681
· created
Mar 24, 2025
by
Гаряев Даниил Ренатович
updated
Apr 03, 2025
Draft: Buffering
!677
· created
Mar 18, 2025
by
Белин Егор Сергеевич
7
updated
Apr 02, 2025
Draft: add using of checkers vector in all tests
!664
· created
Mar 11, 2025
by
Соснин Артём Олегович
19
updated
Jul 01, 2025
Draft: Corasick mapping
!270
· created
Apr 17, 2024
by
Федотова Анна Алексеевна
updated
Jun 21, 2024
Removed not synth ops & reduce ops.
!228
· created
Mar 13, 2024
by
Григоров Иван Александрович
6
updated
Mar 18, 2024
Draft: Reorganize CMake build scripts
4 of 6 checklist items completed
!196
· created
Feb 18, 2024
by
Artem Kotsynyak
1
updated
Oct 21, 2024