aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/logical.c
AgeCommit message (Expand)AuthorFilesLines
2019-02-04target.c: ignore -m64 on archs where int32_t is a longLuc Van Oostenryck1-0/+1
2018-09-06fix linearization of nested logical exprLuc Van Oostenryck1-90/+90
2018-09-06fix ordering of phi-node operandLuc Van Oostenryck1-4/+4
2018-08-25Merge branch 'ssa' into tipLuc Van Oostenryck1-35/+35
2018-08-06simplify linearize_logical()Luc Van Oostenryck1-92/+68
2018-08-06expand linearize_conditional() into linearize_logical()Luc Van Oostenryck1-127/+111
2018-08-06fix linearize_conditional() for logical opsLuc Van Oostenryck1-1/+0
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck1-0/+300