summaryrefslogtreecommitdiff
path: root/cfrontend/Cop.v
Commit message (Expand)AuthorAge
* - Support "switch" statements over 64-bit integersGravatar xleroy2014-08-17
* Merge of "newspilling" branch:Gravatar xleroy2014-07-23
* Clean-up pass on C types:Gravatar xleroy2014-04-23
* Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate typeGravatar xleroy2014-04-15
* __builtin_absfloat can be applied to integers too.Gravatar xleroy2014-03-29
* Simpler, more robust emulation of calls to variadic functions:Gravatar xleroy2013-12-28
* - Recognize __builtin_fabs as an operator, not just a builtin,Gravatar xleroy2013-11-06
* Revised handling of int->float conversions:Gravatar xleroy2013-07-08
* Treat casts int64 -> float32 as primitive operations instead of twoGravatar xleroy2013-07-03
* Merge of the "princeton" branch:Gravatar xleroy2013-06-16
* Revised semantics and compilation of 2-argument C operators to better match Gravatar xleroy2013-05-06
* driver: removed option -flonglongGravatar xleroy2013-04-22
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Pointers one pastGravatar xleroy2013-02-15
* Make Clight independent of CompCert C.Gravatar xleroy2012-10-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 22:52:44 +0000