Skip to content
GitLab
Explore
Sign in
Assurance Verification Redesign
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marcus Hardt
requested to merge
assurance
into
master
Feb 25, 2020
Overview
3
Commits
3
Pipelines
0
Changes
4
Expand
Arbitrary boolean Assurance verification expressions
Also remove the overkill hard-to-maintain REFEDS assurance parser
Edited
Mar 05, 2020
by
Marcus Hardt
Merge request reports
Loading