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
fix readme links
!40
· created
Jun 01, 2022
by
Leon Stichternath
Merged
0
updated
Jun 01, 2022
Final release
!39
· created
Jun 01, 2022
by
Leon Stichternath
Merged
0
updated
Jun 01, 2022
Draft: Random order opt and vertex_cover
!36
· created
May 12, 2022
by
Ghost User
Merged
0
updated
Jun 01, 2022
Draft: Vertex cover
!32
· created
Apr 22, 2022
by
Ghost User
Merged
0
updated
Jun 01, 2022
Reduction in approx
!37
· created
May 19, 2022
by
Leon Stichternath
Merged
0
updated
Jun 01, 2022
Add License
!38
· created
May 31, 2022
by
Leon Stichternath
Merged
0
updated
May 31, 2022
small cleanup + another ca. 2x speedup
!34
· created
May 11, 2022
by
Leon Stichternath
Merged
Approved
0
updated
May 11, 2022
Fleischer opt
!33
· created
May 11, 2022
by
Leon Stichternath
Merged
Approved
0
updated
May 11, 2022
Resolve "Implement more reduction rules"
!28
· created
Mar 22, 2022
by
Kenneth Dietrich
Merged
Approved
0
updated
May 04, 2022
merge new graph changes into main
!31
· created
Apr 08, 2022
by
Leon Stichternath
Merged
0
updated
Apr 22, 2022
merge new graphs into main
!30
· created
Mar 29, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Apr 04, 2022
Resolve "use rustc_hash for hash-stuff"
!26
· created
Mar 08, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Mar 08, 2022
Resolve "Get started with heuristic"
!25
· created
Mar 07, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Mar 08, 2022
Resolve "Graph cycle count analyzer (for thorben)"
!13
· created
Jan 18, 2022
by
Leon Stichternath
Merged
1
updated
Mar 04, 2022
add branching context
!21
· created
Feb 24, 2022
by
Leon Stichternath
Merged
0
updated
Mar 01, 2022
local search ideas
!22
· created
Feb 25, 2022
by
Leon Stichternath
Merged
Approved
1
updated
Feb 25, 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
Resolve "rework current reduction rules to use montex"
!20
· created
Feb 23, 2022
by
Kenneth Dietrich
Critical
Merged
Approved
0
updated
Feb 24, 2022
remove dbg macros from fleischer
!18
· created
Feb 08, 2022
by
Leon Stichternath
Merged
Approved
0
updated
Feb 08, 2022
Resolve "Benchmark datareduction rules"
!17
· created
Feb 04, 2022
by
Kenneth Dietrich
Merged
Approved
8
updated
Feb 07, 2022
Prev
1
2
Next