Skip to content
GitLab
Explore
Sign in
Open
19
Merged
637
Closed
97
All
753
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: Added counterExamples to reducer
!577
· created
Dec 26, 2024
by
Усачев Даниил Сергеевич
Closed
updated
Jan 09, 2025
MatrixGeneratorTest fixed
!576
· created
Dec 26, 2024
by
Усачев Даниил Сергеевич
Merged
updated
Dec 26, 2024
Added mergeCells(entryID1, entryID2) to reducer
!575
· created
Dec 26, 2024
by
Усачев Даниил Сергеевич
Merged
updated
Dec 26, 2024
Prev fix
!574
· created
Dec 25, 2024
by
Усачев Даниил Сергеевич
Merged
updated
Dec 25, 2024
Techmap quiet option
!573
· created
Dec 25, 2024
by
Черток Никита Дмитриевич
TechMapper
Merged
updated
Dec 25, 2024
Techmap integration
!572
· created
Dec 25, 2024
by
Черток Никита Дмитриевич
TechMapper
Merged
updated
Dec 25, 2024
Frequent NPN6 mincodes.
!571
· created
Dec 24, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Dec 25, 2024
dbgen log.
!570
· created
Dec 24, 2024
by
Вершков Максим Дмитриевич
Merged
2
updated
Dec 26, 2024
Turned Slew into vector
!569
· created
Dec 24, 2024
by
Штренев Владислав
TechMapper
Merged
updated
Dec 27, 2024
synth_lec_test-update
!568
· created
Dec 24, 2024
by
Соснин Артём Олегович
Merged
updated
Jul 01, 2025
dbgen: schemes generation optimization.
!567
· created
Dec 23, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Dec 24, 2024
Fix in verilog printer in module instantiation.
!566
· created
Dec 23, 2024
by
Григоров Иван Александрович
Merged
updated
Dec 24, 2024
Move design to context
!565
· created
Dec 23, 2024
by
Черток Никита Дмитриевич
Merged
updated
Dec 24, 2024
Add warmup-cache option
!564
· created
Dec 23, 2024
by
Черток Никита Дмитриевич
Merged
updated
Dec 24, 2024
ADD: Testa zero-cost replacemet
!563
· created
Dec 19, 2024
by
Романов Никита Сергеевич
Merged
updated
Dec 20, 2024
Graphml printer
!562
· created
Dec 19, 2024
by
Черток Никита Дмитриевич
Merged
6
updated
Dec 20, 2024
Removing extra asserts on max arity argument in MIG synthesizers.
!561
· created
Dec 18, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Dec 19, 2024
Move PPA_Estimator to the Techmapper's directory
!560
· created
Dec 17, 2024
by
Штренев Владислав
Merged
updated
Dec 18, 2024
Fixed fillMapping(...) for SubnetView (cases, when PI and PO in the inner mapping intersect).
!559
· created
Dec 17, 2024
by
Ершов Михаил Алексеевич
Model
Merged
updated
Dec 18, 2024
Create frontier cut propagator
!558
· created
Dec 13, 2024
by
Пащенко Ярослав Владимирович
updated
Jan 17, 2025
Prev
1
…
7
8
9
10
11
12
13
14
15
…
38
Next