Skip to content
GitLab
Explore
Sign in
Open
14
Merged
428
Closed
67
All
509
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
Resolve "use relative path for ReadCells submodule"
!211
· created
Mar 01, 2024
by
Sergey Smolov
Merged
updated
Mar 01, 2024
Simulation Estimator Updating
!210
· created
Feb 29, 2024
by
Ягжов Алексей Александрович
LogOptimizer
Merged
4
updated
Mar 01, 2024
Draft: Image graphviz installation
!209
· created
Feb 28, 2024
by
Грицун Тимофей Юрьевич
CI/CD & Testing
Closed
3
updated
Mar 15, 2024
Fixed replace & CutExtractor tests.
!208
· created
Feb 28, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Feb 28, 2024
Seq check
!207
· created
Feb 28, 2024
by
Портнягин Егор Романович
LogVerifier
Merged
51
updated
Apr 03, 2024
Resolve "Отдельный проект для расширенного тестирования"
!206
· created
Feb 28, 2024
by
Sergey Smolov
CI/CD & Testing
Merged
updated
Feb 29, 2024
Translator to 'model2': fix in empty link constructor.
!205
· created
Feb 26, 2024
by
Григоров Иван Александрович
Merged
updated
Feb 28, 2024
Optimization interface.
!204
· created
Feb 23, 2024
by
Ягжов Алексей Александрович
LogOptimizer
Merged
6
updated
Mar 04, 2024
Reconvergence cut: small fix and refactoring, new test was added.
!203
· created
Feb 21, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
updated
Feb 22, 2024
Resolve "Unable to build the project with debug print (UTOPIA_DEBUG)"
!202
· created
Feb 20, 2024
by
Sergey Smolov
Merged
updated
Feb 29, 2024
Changed root element mapping for cones.
!201
· created
Feb 20, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Closed
updated
Mar 07, 2024
FIX: DSD max arity
!200
· created
Feb 19, 2024
by
Романов Никита Сергеевич
Merged
updated
Feb 20, 2024
Contest with taking into account the frequency of NPN classes for four inputs functions occurrence.
!199
· created
Feb 19, 2024
by
Вершков Максим Дмитриевич
LogOptimizer
Merged
7
updated
Feb 22, 2024
Translator Verilog to Firrtl sys test
!198
· created
Feb 19, 2024
by
Грицун Тимофей Юрьевич
CI/CD & Testing
Merged
54
updated
May 17, 2024
Draft: Smoke tests suite
!197
· created
Feb 19, 2024
by
Грицун Тимофей Юрьевич
CI/CD & Testing
Closed
3
updated
May 02, 2024
Draft: Reorganize CMake build scripts
4 of 6 checklist items completed
!196
· created
Feb 18, 2024
by
Artem Kotsynyak
1
updated
Oct 21, 2024
Changed CutExtractor & ConeBuilder entry idx type (uint64_t -> size_t)
!195
· created
Feb 16, 2024
by
Ершов Михаил Алексеевич
LogOptimizer
Merged
updated
Feb 19, 2024
FIX: cuddP changed
!194
· created
Feb 16, 2024
by
Романов Никита Сергеевич
Merged
updated
Feb 16, 2024
KChecker basic algorithm
!193
· created
Feb 16, 2024
by
Чижмар Михаил Михайлович
LogVerifier
Merged
25
updated
Feb 22, 2024
Added cycle support to model2 translator (not fully tested).
!192
· created
Feb 15, 2024
by
Григоров Иван Александрович
Merged
2
updated
Feb 19, 2024
Prev
1
…
13
14
15
16
17
18
19
20
21
…
26
Next