Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
stdpp
Merge requests
!433
option.v: Add option_guard_decide and option_guard_bool_decide
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Paolo G. Giarrusso
requested to merge
Blaisorblade/stdpp:paolo/option-guard-bool-decide
into
master
Dec 13, 2022
Overview
10
Commits
1
Pipelines
1
Changes
1
Motivated by
https://mattermost.mpi-sws.org/iris/pl/cz6f4bxwsir78jkunk7nt3bawo
.