Skip to content
GitLab
Explore
Sign in
Open
3
Merged
8
Closed
0
All
11
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
Remove SMGEdgeHasValueFilterByObject
!43
· created
May 23, 2025
by
Петров Олег Максимович
SMG
refactor
updated
May 27, 2025
Encapsulate SMGNullObject#INSTANCE
!42
· created
May 23, 2025
by
Петров Олег Максимович
SMG
refactor
Merged
Approved
updated
May 23, 2025
Refactor SMGRegion: use one constructor, add subclasses
!38
· created
May 15, 2025
by
Петров Олег Максимович
SMG
refactor
Merged
2
Approved
updated
May 23, 2025
SMGOptionalObject: allow colored optional
!35
· created
Apr 30, 2025
by
Петров Олег Максимович
SMG
refactor
Merged
1
Approved
updated
May 14, 2025
Refactor SMG HV-edges filtering
!29
· created
Mar 10, 2025
by
Петров Олег Максимович
SMG
refactor
1
updated
May 06, 2025
SMG: Forbid HVE with 0 bitsize
!28
· created
Mar 04, 2025
by
Петров Олег Максимович
SMG
refactor
Merged
2
Approved
updated
Mar 07, 2025
Fix SMGEdgeHasValueFilter#overlapsWith
!27
· created
Feb 17, 2025
by
Петров Олег Максимович
SMG
bug
Merged
Approved
updated
Mar 07, 2025
SMGCPA: Fix precision of addresses for witness export
!20
· created
Nov 05, 2024
by
Петров Олег Максимович
SMG
bug
Merged
Approved
updated
Nov 07, 2024
SMG: fix object inequality checks and value merge/replacement
!19
· created
Nov 05, 2024
by
Петров Олег Максимович
SMG
bug
Merged
1
Approved
updated
Nov 13, 2024
Fix SMG abstraction
!3
· created
Jun 27, 2024
by
Марченко Вадим Витальевич
SMG
SMG abstraction
Merged
10
Approved
updated
Sep 19, 2024
Draft: BAM SMG (mostly for discussion)
9 of 14 checklist items completed
!1
· created
Jan 29, 2024
by
Петров Олег Максимович
SMG
2
updated
May 14, 2024
