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
Bugfix with overlapping links for different cells.
!125
· created
Dec 22, 2023
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Dec 22, 2023
ConeBuilder class.
!124
· created
Dec 20, 2023
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Jan 11, 2024
A proposal of solving issue with XNOR in addCellTree().
!120
· created
Dec 18, 2023
by
Вершков Максим Дмитриевич
LogOptimizer
Model
Merged
1
updated
Jan 17, 2024
Draft: Added max cut finding mode for CutExtractor.
!118
· created
Dec 11, 2023
by
Ершов Михаил Алексеевич
LogOptimizer
Closed
updated
Dec 20, 2023
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
Prev
1
2
3
4
5
6
7
Next