Skip to content
Snippets Groups Projects
Commit c30f9273 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp/doc] Apply suggestion in Overflow tactic

parent f7daa4f9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/doc/manual/wp_plugin.tex
+ 1
− 1
View file @ c30f9273
...@@ -519,7 +519,7 @@ tactic to select the direction of rewriting. ...@@ -519,7 +519,7 @@ tactic to select the direction of rewriting.
\paragraph{Overflow} Integer Conversions \\ \paragraph{Overflow} Integer Conversions \\
This tactic split machine integer conversions into three cases: value in integer This tactic split machine integer conversions into three cases: value in integer
range, lower than range and upper than range. The tactic applies on expression range, lower than range and upper than range. The tactic applies on expression
with pattern $\mathtt{to\_iota(e)}$ where \texttt{iota} is a machine-integer with pattern $\mathtt{to\_iota(e)}$ where \texttt{iota} is a machine-integer type
name, \emph{eg.} \texttt{to\_uint32}. name, \emph{eg.} \texttt{to\_uint32}.
\[\TACTIC{\Delta\models G}{% \[\TACTIC{\Delta\models G}{%
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment