Skip to content
GitLab
Explore
Sign in
Open
10
Merged
61
Closed
14
All
85
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}}
Updated date
Dockerfile additional refactoring
!63
· created
Jun 10, 2025
by
Кабанов Федор Александрович
DevOps
Merged
Approved
updated
Jun 10, 2025
Dockerfile refactoring
!62
· created
Jun 09, 2025
by
Кабанов Федор Александрович
DevOps
Merged
Approved
updated
Jun 10, 2025
update CI and Docker structure according to DevOps guidelines
!60
· created
May 16, 2025
by
Кабанов Федор Александрович
DevOps
Merged
4
updated
Jun 05, 2025
Resolve "M1.v-vs-M2.v testcase for EQY-based checker"
!59
· created
May 02, 2025
by
Ржевская Мария Михайловна
Merged
8
updated
May 27, 2025
For activity estimators updatings
!56
· created
Mar 12, 2025
by
Ягжов Алексей Александрович
Merged
updated
Mar 13, 2025
Resolve "Missing CSV artifacts"
!52
· created
Feb 05, 2025
by
Sergey Smolov
DevOps
Merged
updated
Feb 11, 2025
CI: measure memory upon testing and at all
!49
· created
Jan 23, 2025
by
Sergey Smolov
Merged
updated
Jan 28, 2025
fix_equivalence_estimator_test
!50
· created
Jan 24, 2025
by
Усачев Даниил Сергеевич
Merged
updated
Jan 24, 2025
refactoring & Yosys removal
!46
· created
Nov 11, 2024
by
Sergey Smolov
Build
Merged
updated
Nov 25, 2024
Draft: Timeout util & GraphML LEC tests
!33
· created
Aug 05, 2024
by
Кашинцев Илья Константинович
LogVerification
Merged
16
updated
Nov 21, 2024
RandomNet LEC test
!13
· created
Jun 14, 2024
by
Грицун Тимофей Юрьевич
LogVerification
Merged
10
updated
Nov 19, 2024
graphml test for Equivalence estimator
!47
· created
Nov 18, 2024
by
Усачев Даниил Сергеевич
Merged
updated
Nov 18, 2024
Fixed designs and connected optimizations tests.
!45
· created
Oct 17, 2024
by
Ершов Михаил Алексеевич
LogOpt
Merged
updated
Oct 18, 2024
Renamed: "gate/analyzer" -> "gate/estimator"
!44
· created
Sep 13, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Sep 13, 2024
Premapper testing
!40
· created
Aug 27, 2024
by
Вершков Максим Дмитриевич
LogOpt
Merged
updated
Sep 02, 2024
Renamed utils -> util
!41
· created
Aug 30, 2024
by
Вершков Максим Дмитриевич
Merged
updated
Aug 30, 2024
Added design analysis to utopia-testing.
!39
· created
Aug 19, 2024
by
Ершов Михаил Алексеевич
Merged
updated
Aug 20, 2024
Resolve "КЭ 1.1.1 test suite (OpenABC-D)"
!35
· created
Aug 07, 2024
by
Sergey Smolov
LogVerification
TechMap
Translator
Merged
updated
Aug 14, 2024
Update verilog_firrtl_test.cpp
!37
· created
Aug 09, 2024
by
Ушаков Александр Николаевич
Merged
1
updated
Aug 12, 2024
Update verilog_firrtl_test.cpp
!34
· created
Aug 07, 2024
by
Ушаков Александр Николаевич
DevOps
Translator
Merged
updated
Aug 07, 2024
Prev
1
2
3
4
Next
