Skip to content
GitLab
Explore
Sign in
Open
19
Merged
638
Closed
97
All
754
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
Area optimizer: SafePasser and delta.
!276
· created
Apr 22, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Apr 22, 2024
Draft: Model2 opt
!275
· created
Apr 21, 2024
by
Ушаков Александр Николаевич
Translator
Closed
updated
May 16, 2024
add liberty base cellType checker
!274
· created
Apr 19, 2024
by
Гаряев Даниил Ренатович
TechMapper
Merged
updated
Apr 19, 2024
Techmap boost
!273
· created
Apr 18, 2024
by
Михаил Чупилко
Merged
updated
Apr 18, 2024
Fixed typo in SafePasser method name.
!272
· created
Apr 18, 2024
by
Ершов Михаил Алексеевич
Merged
updated
Apr 18, 2024
Added safe passer.
!271
· created
Apr 17, 2024
by
Ершов Михаил Алексеевич
Merged
updated
Apr 17, 2024
Draft: Corasick mapping
!270
· created
Apr 17, 2024
by
Федотова Анна Алексеевна
updated
Jun 21, 2024
Fixing replacement effect construction.
!269
· created
Apr 13, 2024
by
Ершов Михаил Алексеевич
Merged
updated
Apr 14, 2024
Tests Yosys Converters
!268
· created
Apr 13, 2024
by
Ушаков Александр Николаевич
Translator
Merged
updated
Apr 14, 2024
Update techmap
!267
· created
Apr 12, 2024
by
Михаил Чупилко
Merged
updated
Apr 15, 2024
Area interface
!266
· created
Apr 11, 2024
by
Романов Никита Сергеевич
Main
Merged
9
updated
Apr 15, 2024
Cli tehc opt
!265
· created
Apr 11, 2024
by
Белин Егор Сергеевич
techOpt
Merged
updated
Apr 12, 2024
group tests
!264
· created
Apr 11, 2024
by
Белин Егор Сергеевич
techOpt
Merged
updated
Apr 11, 2024
Rewriter optimization
!263
· created
Apr 10, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Apr 11, 2024
Area recovery
!262
· created
Apr 10, 2024
by
Мазов Григорий Алексеевич
techOpt
Merged
updated
Apr 10, 2024
Depth evaluation fix.
!261
· created
Apr 10, 2024
by
Ершов Михаил Алексеевич
Merged
updated
Apr 10, 2024
add area recover
!260
· created
Apr 09, 2024
by
Мазов Григорий Алексеевич
techOpt
Closed
updated
Apr 10, 2024
Examples LEC tests added, test file renamed
!259
· created
Apr 08, 2024
by
Кашинцев Илья Константинович
LogVerifier
Merged
4
updated
Apr 19, 2024
Draft: YosysConverterModel2 tests
!258
· created
Apr 07, 2024
by
Ушаков Александр Николаевич
Closed
updated
Jun 30, 2024
Elimination of False Negatives
!257
· created
Apr 07, 2024
by
Чижмар Михаил Михайлович
Merged
updated
Apr 08, 2024
Prev
1
…
22
23
24
25
26
27
28
29
30
…
38
Next
