Add support for (mutually) recursive MLCFG definitions (!409) · Merge requests · Why3 / why3

Xavier Denis requested to merge recursive-cfg into master Nov 09, 2020

This PR addresses part of #487 by adding support for (mutually) recursive MLCFG declarations. I haven't properly tested this yet so I'm not sure the mutual recursion works properly.

Edited Nov 27, 2020 by MARCHE Claude

Add support for (mutually) recursive MLCFG definitions

Merge request reports