ajout branche allocation de registres
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1220 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- backend/Affinity_relation.v 152 additions, 0 deletionsbackend/Affinity_relation.v
- backend/Allocproof.v 3 additions, 1 deletionbackend/Allocproof.v
- backend/Coloring.v 12 additions, 7 deletionsbackend/Coloring.v
- backend/Coloringproof.v 14 additions, 5 deletionsbackend/Coloringproof.v
- backend/Conservative_criteria.v 339 additions, 0 deletionsbackend/Conservative_criteria.v
- backend/Delete_Preference_Edges_Adjacency.v 60 additions, 0 deletionsbackend/Delete_Preference_Edges_Adjacency.v
- backend/Delete_Preference_Edges_Degree.v 16 additions, 0 deletionsbackend/Delete_Preference_Edges_Degree.v
- backend/Delete_Preference_Edges_Move.v 138 additions, 0 deletionsbackend/Delete_Preference_Edges_Move.v
- backend/Edges.v 411 additions, 0 deletionsbackend/Edges.v
- backend/EqualSetMap.v 82 additions, 0 deletionsbackend/EqualSetMap.v
- backend/Freeze_WL.v 210 additions, 0 deletionsbackend/Freeze_WL.v
- backend/Graph_Facts.v 191 additions, 0 deletionsbackend/Graph_Facts.v
- backend/Graph_translation.v 3552 additions, 0 deletionsbackend/Graph_translation.v
- backend/IRC.v 122 additions, 0 deletionsbackend/IRC.v
- backend/IRCColoring.v 847 additions, 0 deletionsbackend/IRCColoring.v
- backend/IRC_Graph_Functions.v 548 additions, 0 deletionsbackend/IRC_Graph_Functions.v
- backend/IRC_graph.v 15 additions, 0 deletionsbackend/IRC_graph.v
- backend/IRC_termination.v 397 additions, 0 deletionsbackend/IRC_termination.v
- backend/InterfGraph.v 5 additions, 1 deletionbackend/InterfGraph.v
- backend/InterfGraphMapImp.v 9401 additions, 0 deletionsbackend/InterfGraphMapImp.v
Loading
Please register or sign in to comment