Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
Avoid generating some obviously useless casts.
xleroy authored 
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2093 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
0899bd69
History
user avatar 0899bd69
History
Name Last commit Last update