Skip to content
Snippets Groups Projects
user avatar
Virgile Prevosto authored
a priori, we start from a well-ordered AST, so that not all symbols are
concerned by a possible recursion, but this nevertheless might be the case
for aggregate and function definitions, as well as ACSL types and
functions/predicates.
bf621290
History
Name Last commit Last update
..