Skip to content
Snippets Groups Projects
Normal view Permalink
constant_propagation.html 603 B
Newer Older
Allan Blanchard's avatar
Redirect plugins
Allan Blanchard committed
1 2 3 4 5 6 7 8 9 10 11 12 
<!DOCTYPE html>
<html>
   <head>
      <title>Semantic constant folding</title>
      <meta http-equiv = "refresh" content = "0; url=/fc-plugins/semantic-constant-folding.html" />
      <link rel="canonical" href="https://www.frama-c.com/fc-plugins/semantic-constant-folding.html" />
      <meta description = "Makes use of the results of the EVA plug-in to replace, in the source code, the constant expressions by their values." />
   </head>
   <body>
      <p>Redirect to <a href="https://www.frama-c.com/fc-plugins/semantic-constant-folding.html">Semantic Constant Folding</a></p>
   </body>
</html>