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}}
Created 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
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
Pipeliner class.
!392
· created
Aug 11, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Aug 12, 2024
Sythesizer based on precomputed XAG NPN4 database.
!383
· created
Aug 05, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
6
updated
Aug 06, 2024
Resubstitutor.
!375
· created
Jul 26, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Aug 01, 2024
Resubstitutor update.
!371
· created
Jul 23, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Jul 23, 2024
Prev
1
2
3
4
5
…
7
Next
