aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/bitfield-inc.c
AgeCommit message (Expand)AuthorFilesLines
2018-08-07fix instruction size & type in linearize_inc_dec()Luc Van Oostenryck1-1/+0
2018-07-23add testcases for casts & bitfield insertion/extractionLuc Van Oostenryck1-0/+17