Skip to content
GitLab
Explore
Sign in
Open
0
Merged
109
Closed
13
All
122
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
Fixed Refactorer input-root cones replaces.
!707
· created
Apr 11, 2025
by
Ершов Михаил Алексеевич
LogOptimizer
Model
Merged
updated
Apr 11, 2025
Fixed balancing maj gates.
!690
· created
Mar 31, 2025
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Mar 31, 2025
Logopt.h: fix cmd init().
!680
· created
Mar 22, 2025
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Mar 22, 2025
Removing extra asserts on max arity argument in MIG synthesizers.
!561
· created
Dec 18, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Dec 19, 2024
size_t idx[InNum] -> std::vector<int> idx(InNum, 0)
!161
· created
Jan 25, 2024
by
Федотова Анна Алексеевна
LogOptimizer
Merged
5
updated
Dec 03, 2024
Cascade
!64
· created
Sep 12, 2023
by
Федотова Анна Алексеевна
LogOptimizer
Merged
9
updated
Dec 03, 2024
Cascade max arity
!145
· created
Jan 11, 2024
by
Федотова Анна Алексеевна
LogOptimizer
Merged
20
updated
Dec 03, 2024
Cascade
!39
· created
Jul 27, 2023
by
Федотова Анна Алексеевна
LogOptimizer
Merged
184
updated
Dec 03, 2024
Fix: Resubstitutor, Don't care evaluation.
!533
· created
Nov 20, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Nov 20, 2024
Fix: getNpnTranformation()
!503
· created
Oct 30, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Oct 31, 2024
NpnDatabaseIterator: avoiding copying.
!501
· created
Oct 30, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
1
1
updated
Oct 30, 2024
SubnetView replace inout inversion + SubnetView replace in SafePasser
!485
· created
Oct 22, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Model
Merged
updated
Oct 22, 2024
Don't care computation.
!466
· created
Oct 11, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Oct 22, 2024
Resubstitutor optimization.
!439
· created
Sep 20, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Sep 20, 2024
Added design arcs descriptors
!428
· created
Sep 07, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Sep 09, 2024
Ref: ConePremapper tests
!423
· created
Aug 30, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Aug 30, 2024
Resubstitutor: countSetBits() was replaced by standart util::count_units()
!422
· created
Aug 29, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Aug 29, 2024
Deleted Pipeliner class.
!421
· created
Aug 28, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Aug 29, 2024
SafePasser backward traversal fix + special replace case fix.
!415
· created
Aug 26, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Aug 27, 2024
New MigMapper + new options for MFFC building.
!396
· created
Aug 14, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Aug 15, 2024
Prev
1
2
3
4
5
6
Next