trailofbits / differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements
GNU Affero General Public License v3.0
67 stars 4 forks source link

Add campaigns for differ evaluation and fix original campaigns #92

Closed reytchison closed 10 months ago

reytchison commented 1 year ago

This PR contains all campaign configs and other changes used in the final differ evaluation. Any fixes to the evaluation campaigns were applied to the original campaigns. This PR is rather big, so I will describe the commits, split up by day they were committed:

10/4 (8 commits)