Skip to content
Snippets Groups Projects
Commit 84c95118 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[devman] update index entry from Dataflow to Dataflow2

parent a9156f0b
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/developer/advance.tex
+ 1
− 1
View file @ 84c95118
...@@ -4246,7 +4246,7 @@ for details about the provided operations on these types. ...@@ -4246,7 +4246,7 @@ for details about the provided operations on these types.
As join operators are provided for these types, they can be easily used in As join operators are provided for these types, they can be easily used in
abstract interpretation analyses\index{Abstract Interpretation} (which can abstract interpretation analyses\index{Abstract Interpretation} (which can
themselves be implemented thanks to one of functors of module themselves be implemented thanks to one of functors of module
\texttt{Dataflow2}\codeidx{Dataflow}. \texttt{Dataflow2}\codeidx{Dataflow2}.
\subsection{Map Indexed by Locations}\label{memory:map} \subsection{Map Indexed by Locations}\label{memory:map}
......
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