Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...
Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de Lattice pour utiliser une notion d'egalite possiblement differente de =. Adaptation de Kildall et de ses utilisateurs en consequence. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@182 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- .depend 5 additions, 7 deletions.depend
- Makefile 1 addition, 1 deletionMakefile
- backend/Allocation.v 3 additions, 1 deletionbackend/Allocation.v
- backend/Allocproof.v 47 additions, 40 deletionsbackend/Allocproof.v
- backend/Coloring.v 3 additions, 3 deletionsbackend/Coloring.v
- backend/Coloringproof.v 63 additions, 68 deletionsbackend/Coloringproof.v
- backend/Constprop.v 22 additions, 9 deletionsbackend/Constprop.v
- backend/InterfGraph.v 23 additions, 21 deletionsbackend/InterfGraph.v
- backend/Kildall.v 20 additions, 11 deletionsbackend/Kildall.v
- backend/Linearize.v 0 additions, 1 deletionbackend/Linearize.v
- backend/Registers.v 4 additions, 2 deletionsbackend/Registers.v
- cfrontend/Cminorgen.v 4 additions, 2 deletionscfrontend/Cminorgen.v
- cfrontend/Cminorgenproof.v 1 addition, 1 deletioncfrontend/Cminorgenproof.v
- extraction/.depend 127 additions, 130 deletionsextraction/.depend
- extraction/Makefile 10 additions, 7 deletionsextraction/Makefile
- extraction/convert 8 additions, 0 deletionsextraction/convert
- lib/Lattice.v 166 additions, 33 deletionslib/Lattice.v
- lib/Maps.v 82 additions, 0 deletionslib/Maps.v
- lib/Sets.v 0 additions, 189 deletionslib/Sets.v
- lib/union_find.v 0 additions, 484 deletionslib/union_find.v
Loading
Please register or sign in to comment