Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Mtk preuve : initiating proof activities
Code
Review changes
Check out branch
Download
Patches
Plain diff
Khuu Minh Thang
requested to merge
mtk-preuve
into
master
Jul 05, 2019
Overview
0
Commits
19
Pipelines
7
Changes
168
Expand
Rewriting of specification of some operations.
Overflow PO in iterator : rewriting specification of continue_xxx.
Adjusting pre-post conditions of operations.
Adding some proof theories.
Merge request reports