Skip to content
GitLab
Explore
Sign in
Open
0
Merged
105
Closed
13
All
118
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
maxArity in bi-decomposition and Minato-Morreale
!117
· created
Dec 09, 2023
by
Ягжов Алексей Александрович
LogOptimizer
Merged
updated
Jan 17, 2024
Draft: Reed muller max arity
!114
· created
Dec 02, 2023
by
Знатнов Егор Павлович
LogOptimizer
Closed
4
updated
Jan 13, 2024
Bugfix in entries iterating.
!113
· created
Dec 01, 2023
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Jan 11, 2024
maxArity parameter for synthesizers.
!109
· created
Nov 29, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
5
updated
Dec 04, 2023
Resynthesis contest
!108
· created
Nov 27, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Dec 01, 2023
Draft: model2/list.h assertion
!107
· created
Nov 23, 2023
by
Ягжов Алексей Александрович
LogOptimizer
Closed
updated
Dec 24, 2023
Power statistic
!100
· created
Nov 18, 2023
by
Ягжов Алексей Александрович
LogOptimizer
Merged
91
updated
Dec 22, 2023
Cut storage class.
!96
· created
Nov 13, 2023
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
8
updated
Jan 11, 2024
Minato-Morreale
!91
· created
Nov 02, 2023
by
Ягжов Алексей Александрович
LogOptimizer
Merged
9
updated
Nov 20, 2023
Akers: dummy inputs.
!89
· created
Oct 29, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Oct 30, 2023
Akers algorithm. Refactoring. Bug fixing.
!84
· created
Oct 23, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
1
updated
Oct 24, 2023
ReedMullerModel2, fixed merge conflicts
!83
· created
Oct 22, 2023
by
Знатнов Егор Павлович
LogOptimizer
Merged
11
updated
Jan 17, 2024
Cascade
!81
· created
Oct 10, 2023
by
Федотова Анна Алексеевна
LogOptimizer
Merged
11
updated
Oct 18, 2023
Tests for synthesizers
!79
· created
Oct 09, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
19
updated
Oct 24, 2023
Draft: Reed muller model2
!75
· created
Oct 01, 2023
by
Знатнов Егор Павлович
LogOptimizer
Closed
79
updated
Oct 22, 2023
The deletion of copy of the class UnitizedTable
!73
· created
Sep 28, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
1
updated
Oct 02, 2023
Added NPNDatabase class. (Implements rewrite database based on NPN matching)
!70
· created
Sep 26, 2023
by
Рамалданов Рустамхан Ражудинович
LogOptimizer
Merged
36
updated
Oct 05, 2023
Dsd to subnet
!69
· created
Sep 23, 2023
by
Романов Никита Сергеевич
LogOptimizer
Merged
176
updated
Feb 06, 2024
BiDecomposition
!68
· created
Sep 21, 2023
by
Ягжов Алексей Александрович
LogOptimizer
Merged
updated
Jan 17, 2024
Draft: Upgraded findCuts method.
!67
· created
Sep 19, 2023
by
Щербакова Елизавета Александровна
LogOptimizer
Closed
16
updated
May 17, 2024
Prev
1
2
3
4
5
6
Next