aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
AgeCommit message (Expand)AuthorFilesLines
2017-11-13dump-ir: make it more flexibleLuc Van Oostenryck1-1/+1
2017-11-13dump-ir: rename -fdump-linearize to -fdump-irLuc Van Oostenryck1-1/+1
2017-06-15fix: add missing examine in evaluate_dereference()Luc Van Oostenryck1-0/+19
2017-05-19fix implicit zero initializer.Luc Van Oostenryck3-0/+171
2017-05-19add test case for linearize_initializer() of bitfieldsLuc Van Oostenryck1-0/+27