| commit | 876ba541c2177051c5127aae030c6bc4d37b2d48 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 2 Oct 2024 17:26:07 +0000 (2 19:26 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 2 Oct 2024 17:26:07 +0000 (2 19:26 +0200) | ||
| tree | 1436d4d9ad71d4a33290739f8110d13c502be3a4 | treesnapshot (tar.gz zip) |
| parent | 0b60347e574245ce00a1c5f0f112004750a20d1b | commitdiff |
| parent | 9516d18432d0e84d0cb700449b867acb651535a7 | commitdiff |
Merge branch 'c_extraction_global_variables' into 'master'
extraction to C: extract global variables
Closes #872
See merge request why3/why3!1119
extraction to C: extract global variables
Closes #872
See merge request why3/why3!1119
| examples/tests/c_extraction.mlw | diff1 | diff2 | blobhistory |