Skip to content
GitLab
Explore
Sign in
Open
10
Merged
50
Closed
11
All
71
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
Updated package version
!69
· created
Jun 24, 2025
by
Панова София Максимовна
DevOps
Merged
1
Approved
updated
Jun 27, 2025
Change comment type
!70
· created
Jun 24, 2025
by
Козмин Илья Александрович
DevOps
Merged
Approved
updated
Jun 25, 2025
Remove Yosys_root
!68
· created
Jun 19, 2025
by
Козмин Илья Александрович
DevOps
Merged
10
Approved
updated
Jun 24, 2025
Update docker image tag
!66
· created
Jun 17, 2025
by
Козмин Илья Александрович
DevOps
Merged
updated
Jun 18, 2025
Dockerfile packages versions
!64
· created
Jun 13, 2025
by
Панова София Максимовна
DevOps
Merged
3
Approved
updated
Jun 17, 2025
Add ICCAD-2015 tests for EQY
!61
· created
Jun 05, 2025
by
Ржевская Мария Михайловна
Merged
13
Approved
updated
Jun 15, 2025
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
Prev
1
2
3
Next
