Skip to content
GitLab
Explore
Sign in
Open
21
Merged
602
Closed
93
All
716
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
Draft: Introduced DesignSimulator
!740
· created
May 27, 2025
by
Ершов Михаил Алексеевич
Model
Simulator
updated
May 27, 2025
Draft: checker for 2 designs
!739
· created
May 26, 2025
by
Усачев Даниил Сергеевич
updated
May 26, 2025
Draft: Lec design checker
!734
· created
May 20, 2025
by
Усачев Даниил Сергеевич
updated
May 27, 2025
Draft: EQY and additional libraries
!733
· created
May 18, 2025
by
Ржевская Мария Михайловна
4
updated
May 27, 2025
Draft: update CI and Docker structure according to DevOps guidelines
!732
· created
May 16, 2025
by
Кабанов Федор Александрович
CI/CD & Testing
3
updated
May 27, 2025
Testing release build.
!729
· created
May 12, 2025
by
Григоров Иван Александрович
updated
May 12, 2025
Aiger
!701
· created
Apr 09, 2025
by
Петрушина Юлия
31
updated
Apr 21, 2025
Add builder from rtlil
!687
· created
Mar 28, 2025
by
Чернявских Илья Игоревич
updated
May 26, 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
May 07, 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: Use kuehlmann and EQY checkers
!666
· created
Mar 11, 2025
by
Соснин Артём Олегович
updated
Apr 08, 2025
Draft: add using of checkers vector in all tests
!664
· created
Mar 11, 2025
by
Соснин Артём Олегович
19
updated
May 07, 2025
Draft: Merge and update reports
!624
· created
Feb 12, 2025
by
Соснин Артём Олегович
updated
Feb 12, 2025
Draft: Data from last pipeline
!602
· created
Jan 27, 2025
by
Соснин Артём Олегович
updated
May 07, 2025
Create kuehlmann checker
!590
· created
Jan 15, 2025
by
Пащенко Ярослав Владимирович
updated
May 27, 2025
Create frontier cut propagator
!558
· created
Dec 13, 2024
by
Пащенко Ярослав Владимирович
updated
Jan 17, 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
Prev
1
2
Next