aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/call-basic.c
AgeCommit message (Expand)AuthorFilesLines
2018-06-23cast: specialize integer castsLuc Van Oostenryck1-1/+1
2018-06-16testsuite: fix missing returnLuc Van Oostenryck1-8/+8
2017-12-21fix linearize (*fun)()Luc Van Oostenryck1-1/+0
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck1-0/+58