| commit | 9516d18432d0e84d0cb700449b867acb651535a7 | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 2 Oct 2024 17:26:06 +0000 (2 19:26 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Wed, 2 Oct 2024 17:26:06 +0000 (2 19:26 +0200) | ||
| tree | 34c3dc529fbcb0ce58c2e87f0fc7bc1234872b65 | treesnapshot (tar.gz zip) |
| parent | 31856ab18a96d6d8315e12718f5b903179365455 | commitdiff |
extraction to C: extract global variables
| bench/bench | diffblobblamehistory | |
| examples/tests/c_extraction.mlw | diffblobblamehistory | |
| src/extract/c.ml | diffblobblamehistory |