Skip to content

Mtk preuve : initiating proof activities

Khuu Minh Thang requested to merge mtk-preuve into master
  • 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