Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
QCheck.v: defined triple_value, Test_sc: see QCheck for triple_value; replaced Z.op_plus with add to fix definition
Code
Review changes
Check out branch
Download
Patches
Plain diff
7A1T
requested to merge
143-verify-test_sc_rollup_tick_repr-v
into
master
May 09, 2022
Overview
1
Commits
1
Pipelines
2
Changes
2
Expand
Closes
#143 (closed)
Proofs are still required
Merge request reports