aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/builtin-arith.c
AgeCommit message (Expand)AuthorFilesLines
2020-10-16warn when taking the address of a built-in functionLuc Van Oostenryck1-10/+15
2020-10-16testsuite: fix location of error messagesLuc Van Oostenryck1-3/+3
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck1-0/+52