Skip to content
GitLab
Explore
Sign in
Parametrisierte Algorithmen
Rust
ceperus
Merge requests
!5
Misc improvements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Leon Stichternath
requested to merge
misc_improvements
into
master
May 01, 2021
Overview
0
Commits
9
Pipelines
6
Changes
10
Expand
sorted_p3_list in context is only validated when needed
easy local benchmark
removed random branching again, sorry
changed out nohash-hasher for rustc-hash (significantly faster hashing)
Edited
May 02, 2021
by
Leon Stichternath
Merge request reports