aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/PrintCsyntax.ml
Commit message (Expand)AuthorAgeFilesLines
...
* Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml charsxleroy2011-10-181-8/+8
* Added animation of the CompCert C semantics (ccomp -interp)xleroy2011-07-281-7/+10
* Merge of branches/full-expr-4:xleroy2010-08-181-125/+131
* Updated Caml parts to match new representation for global variables.xleroy2010-05-261-10/+13
* Add "fabs" (floating-point absolute value) as a unary operator inxleroy2010-05-021-1/+2
* Handling of builtins, continued.xleroy2010-03-071-29/+28
* Suppressed Init_pointer, now useless. Improved printing of strings in genera...xleroy2010-03-031-4/+0
* Support Clight initializers of the form "int * x = &y;".xleroy2009-11-011-0/+5
* Cil2Csyntax: added goto and labels; added assignment between structsxleroy2009-08-161-0/+6
* Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...xleroy2009-01-291-1/+0
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-0/+501