Skip to content
GitLab
Explore
Sign in
Open
12
Merged
31
Closed
3
All
46
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
Merge Combinations onto Locations
!46
· created
May 29, 2025
by
Петров Олег Максимович
locations
updated
May 29, 2025
Combinations
!45
· created
May 29, 2025
by
Петров Олег Максимович
updated
May 29, 2025
SMG: abstract lists of elements with the same color
!44
· created
May 29, 2025
by
Петров Олег Максимович
updated
May 29, 2025
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
SMG: CI: add tests for handleUnknownFunctions and handleUnknownDereferenceAsSafe
!41
· created
May 22, 2025
by
Петров Олег Максимович
Merged
Approved
updated
May 27, 2025
SMG: add tests for singly linked lists with colored elements
!40
· created
May 19, 2025
by
Петров Олег Максимович
Merged
Approved
updated
May 28, 2025
SMG: add 'festoon' tests for colored data in lists
!39
· created
May 19, 2025
by
Петров Олег Максимович
Merged
Approved
updated
May 27, 2025
Refactor SMGRegion: use one constructor, add subclasses
!38
· created
May 15, 2025
by
Петров Олег Максимович
SMG
refactor
Merged
2
Approved
updated
May 23, 2025
Add and use common SMGObject#toString
!37
· created
May 15, 2025
by
Петров Олег Максимович
Merged
5
Approved
updated
May 15, 2025
Update CI script and readme wording
!36
· created
May 13, 2025
by
Петров Олег Максимович
ci
Merged
Approved
updated
May 13, 2025
SMGOptionalObject: allow colored optional
!35
· created
Apr 30, 2025
by
Петров Олег Максимович
SMG
refactor
Merged
1
Approved
updated
May 14, 2025
Add SMGAbstractObject to SMGObject hierarchy proper
!34
· created
Apr 28, 2025
by
Петров Олег Максимович
Merged
Approved
updated
May 13, 2025
SMG: use pointer value even if address is unknown
!33
· created
Apr 25, 2025
by
Петров Олег Максимович
Closed
2
updated
May 19, 2025
SMG: Forbid abstraction of colored objects
!32
· created
Apr 22, 2025
by
Петров Олег Максимович
Merged
Approved
updated
Apr 24, 2025
Draft: Combinations for state prioritization in waitlist
!31
· created
Apr 04, 2025
by
Петров Олег Максимович
updated
Apr 07, 2025
Add state prioritization by visit count for the program location
!30
· created
Apr 04, 2025
by
Петров Олег Максимович
4
updated
May 30, 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
Prev
1
2
3
Next
