More PR resolved.
Pierre Weis • 11 years ago  
log PR#5944
Jacques Garrigue • 11 years ago  
Apply patch from PR#5944
Jacques Garrigue • 11 years ago  
Fix PR#5997
Jacques Garrigue • 11 years ago  
Fix PR#5993
Jacques Garrigue • 11 years ago  
Fix PR#5989
Jacques Garrigue • 11 years ago  
PR#4978: Better wording.
Wojciech Meyer • 11 years ago  
undo r13557
Damien Doligez • 11 years ago  
Typo.
Alain Frisch • 11 years ago  
continuation of r13523
Damien Doligez • 11 years ago  
ignore .exe files
Damien Doligez • 11 years ago  
make it work also on 32-bit machines
Damien Doligez • 11 years ago  
typo in comment
Damien Doligez • 11 years ago  
updates
Damien Doligez • 11 years ago  
Fix PR#5981
Jacques Garrigue • 11 years ago  
add a few missing copyright headers
Damien Doligez • 11 years ago  
add compcert to the test suite
Damien Doligez • 11 years ago  
fix whitespace
Damien Doligez • 11 years ago  
remove unused file
Damien Doligez • 11 years ago  
fix stupid mistake
Damien Doligez • 11 years ago  
added a lot of missing newlines
Damien Doligez • 11 years ago  
reorganize and add a few tests
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago  
fix whitespace
Damien Doligez • 11 years ago  
fix whitespace and over-long lines
Damien Doligez • 11 years ago