Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Draft: Btor2 correctness witness translation
Code
Review changes
Check out branch
Download
Patches
Plain diff
Po-Chun Chien
requested to merge
correctness-witness-backannotation
into
main
Jul 11, 2023
Overview
1
Commits
64
Pipelines
49
Changes
10
Expand
Add a script that translates the invariants in an SW-witness into Btor2 format
Edited
Jul 11, 2023
by
Po-Chun Chien
Merge request reports