Commits · c0ff75a787c9b56699722fa672e76c97acfe93b5 · CertiCompil / CompCert-KVX

Mar 13, 2010

Bug in multidimensional read-only arrays · c0ff75a7

xleroy authored 15 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1290 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

c0ff75a7

Mar 08, 2010

Handling of volatile accesses through builtin functions. · a24cfb08

xleroy authored 15 years ago

Added support for processor-specific builtin functions.
Added some PowerPC instructions as builtins.
Updated #pragma section handling.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1285 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

a24cfb08

Mar 07, 2010

Handling of builtins, continued. · c24a6527

xleroy authored 15 years ago

PrintCsyntax, PrintAsm: improve printing of float literals.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1284 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

c24a6527

Mar 03, 2010

Detect struct assignment. Silence some warnings · 16e42ca8

xleroy authored 15 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1273 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

16e42ca8

Switching to the new C parser/elaborator/simplifier · 891377ce

xleroy authored 15 years ago

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

891377ce

Admin message