Skip to content

Tony TS2EB Project Merge Request

Yanjun Jiang requested to merge jiangy76/jtet:Tony_TS2EB into master

I have finished all the first stage development. Now, we can generate EventB project (files) from Tabular Specification under four kinds of different mode. Namely, Single Output No Refinement (SONR), Multiple Output No Refinement (MONR), Single Output With Refinement (SOWR), Multiple Output With Refinement (MOWR).

Merge request reports