Ajout license, README, copyright notices
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@489 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- LICENSE 509 additions, 0 deletionsLICENSE
- Makefile 12 additions, 0 deletionsMakefile
- README 144 additions, 0 deletionsREADME
- backend/Allocation.v 12 additions, 0 deletionsbackend/Allocation.v
- backend/Allocproof.v 12 additions, 0 deletionsbackend/Allocproof.v
- backend/Alloctyping.v 12 additions, 0 deletionsbackend/Alloctyping.v
- backend/Bounds.v 12 additions, 0 deletionsbackend/Bounds.v
- backend/CSE.v 12 additions, 0 deletionsbackend/CSE.v
- backend/CSEproof.v 12 additions, 0 deletionsbackend/CSEproof.v
- backend/Cminor.v 15 additions, 0 deletionsbackend/Cminor.v
- backend/CminorSel.v 12 additions, 0 deletionsbackend/CminorSel.v
- backend/Coloring.v 12 additions, 0 deletionsbackend/Coloring.v
- backend/Coloringproof.v 12 additions, 0 deletionsbackend/Coloringproof.v
- backend/Constprop.v 12 additions, 0 deletionsbackend/Constprop.v
- backend/Constpropproof.v 12 additions, 0 deletionsbackend/Constpropproof.v
- backend/Conventions.v 12 additions, 0 deletionsbackend/Conventions.v
- backend/InterfGraph.v 12 additions, 0 deletionsbackend/InterfGraph.v
- backend/Kildall.v 12 additions, 0 deletionsbackend/Kildall.v
- backend/LTL.v 12 additions, 0 deletionsbackend/LTL.v
- backend/LTLin.v 12 additions, 0 deletionsbackend/LTLin.v
Loading
Please register or sign in to comment