summaryrefslogtreecommitdiff
path: root/cparser/Machine.ml
Commit message (Expand)AuthorAge
* cparser/*: refactoring of the expansion of read-modify-write operatorsGravatar xleroy2011-11-26
* Bitfields: MSB-to-LSB in addition to LSB-to-MSBGravatar xleroy2011-03-10
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03