Skip to content
GitLab
Explore
Sign in
GraPA
Rust
Mimung
Merge requests
Open
0
Merged
30
Closed
7
All
37
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{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
devops#7
!1
· created
Nov 13, 2021
by
Leon Stichternath
Merged
0
updated
Nov 13, 2021
Resolve "IDE files are not in gitignore"
!2
· created
Nov 16, 2021
by
Philipp Haker
Merged
0
updated
Nov 16, 2021
Local search#10
!4
· created
Nov 19, 2021
by
Leon Stichternath
Merged
Approved
0
updated
Nov 22, 2021
Changed long pre-commit hook to check if rust files were actually changed...
!5
· created
Nov 19, 2021
by
Philipp Haker
Merged
Approved
0
updated
Nov 22, 2021
Resolve "Fix reader"
!7
· created
Nov 26, 2021
by
Leon Stichternath
Merged
0
updated
Nov 26, 2021
Resolve "common structures"
!6
· created
Nov 26, 2021
by
Leon Stichternath
Merged
1
updated
Dec 05, 2021
Cycle finding#6
1 of 1 checklist item completed
!11
· created
Dec 06, 2021
by
Leon Stichternath
Merged
0
updated
Jan 13, 2022
Datareducktion rules
!10
· created
Dec 03, 2021
by
Kenneth Dietrich
Merged
Approved
22
updated
Jan 25, 2022
change ci container to :latest
!15
· created
Feb 01, 2022
by
Leon Stichternath
Merged
0
updated
Feb 01, 2022
Resolve "custom graph structure"
!14
· created
Jan 18, 2022
by
Leon Stichternath
Merged
Approved
9
updated
Feb 04, 2022
Resolve "Benchmark datareduction rules"
!17
· created
Feb 04, 2022
by
Kenneth Dietrich
Merged
Approved
8
updated
Feb 07, 2022
remove dbg macros from fleischer
!18
· created
Feb 08, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Feb 08, 2022
Resolve "rework current reduction rules to use montex"
!20
· created
Feb 23, 2022
by
Kenneth Dietrich
Critical
Merged
Approved
0
updated
Feb 24, 2022
Resolve "port the dfvs verifier to rust, it seems to be broken"
!24
· created
Feb 25, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Feb 25, 2022
local search ideas
!22
· created
Feb 25, 2022
by
Leon Stichternath
Merged
Approved
1
updated
Feb 25, 2022
add branching context
!21
· created
Feb 24, 2022
by
Leon Stichternath
Merged
0
updated
Mar 01, 2022
Resolve "Graph cycle count analyzer (for thorben)"
!13
· created
Jan 18, 2022
by
Leon Stichternath
Merged
1
updated
Mar 04, 2022
Resolve "Get started with heuristic"
!25
· created
Mar 07, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Mar 08, 2022
Resolve "use rustc_hash for hash-stuff"
!26
· created
Mar 08, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Mar 08, 2022
merge new graphs into main
!30
· created
Mar 29, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Apr 04, 2022
Prev
1
2
Next