Skip to content
GitLab
Explore
Sign in
Open
15
Merged
820
Closed
111
All
946
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
Introduce Design class to replace NetDecomposer::result
!550
· created
Dec 05, 2024
by
Черток Никита Дмитриевич
Merged
updated
Dec 09, 2024
LecCheckerSat test
!549
· created
Dec 04, 2024
by
Усачев Даниил Сергеевич
Merged
updated
Dec 05, 2024
Throw exception if npndb file not found
!548
· created
Dec 04, 2024
by
Черток Никита Дмитриевич
Merged
updated
Dec 04, 2024
Synth lec test update
!547
· created
Dec 02, 2024
by
Соснин Артём Олегович
DevOps
Merged
41
updated
Jul 01, 2025
New format of databases storing with truth tables.
!546
· created
Dec 02, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Dec 05, 2024
Fix: dbgen set width
!545
· created
Dec 02, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Dec 05, 2024
Added prev in attributes SimBits.
!544
· created
Dec 02, 2024
by
Ершов Михаил Алексеевич
Model
Merged
updated
Dec 02, 2024
DesignBuilder::findArcs(...) method optimization.
!543
· created
Nov 29, 2024
by
Ершов Михаил Алексеевич
Model
Merged
updated
Nov 29, 2024
Resolve "Relative URLs for submodules cause cloning problems"
!542
· created
Nov 29, 2024
by
Sergey Smolov
Build
Merged
updated
Nov 29, 2024
Resolve "mv 'DbStat.md' contents to 'CLI.md'"
!541
· created
Nov 28, 2024
by
Сватухин Алексей Михайлович
Documentation
Merged
updated
Nov 29, 2024
Resolve "mv 'DbStat.md' contents to 'CLI.md'"
!540
· created
Nov 28, 2024
by
Сватухин Алексей Михайлович
Documentation
Closed
updated
Nov 28, 2024
Some updates for cell activity estimation
!539
· created
Nov 28, 2024
by
Ягжов Алексей Александрович
Merged
Approved
updated
Nov 28, 2024
Added mergeCells(...) in SubnetTransformable
!538
· created
Nov 28, 2024
by
Ершов Михаил Алексеевич
Model
Merged
updated
Nov 28, 2024
Remove cout usage from techmap
!537
· created
Nov 27, 2024
by
Черток Никита Дмитриевич
TechMapper
Merged
updated
Nov 29, 2024
Dbgen updating.
!536
· created
Nov 26, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Nov 26, 2024
Use indexer
!535
· created
Nov 25, 2024
by
Белин Егор Сергеевич
Merged
updated
Nov 25, 2024
techmap changes from experiment-1.1.1 branch
!534
· created
Nov 25, 2024
by
Черток Никита Дмитриевич
TechMapper
Merged
Approved
updated
Nov 25, 2024
Fix: Resubstitutor, Don't care evaluation.
!533
· created
Nov 20, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Nov 20, 2024
Equivalence estimator update2
!532
· created
Nov 20, 2024
by
Усачев Даниил Сергеевич
Merged
updated
Nov 20, 2024
Fixed replace evaluation.
!531
· created
Nov 19, 2024
by
Ершов Михаил Алексеевич
Model
Merged
updated
Nov 20, 2024
Prev
1
…
18
19
20
21
22
23
24
25
26
…
48
Next