New input format "CFG" for control-flow graphs (!377) · Merge requests · Why3 / why3

MARCHE Claude requested to merge cfg_lang into master May 25, 2020

A new experimental input format for CFG, indeed for a ML-like language with gotos.

See documentation for details

New input format "CFG" for control-flow graphs