A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and code-execution time solutions.
-
Updated
Jul 24, 2025 - C
A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and code-execution time solutions.
create testfiles with csmith and check compiler results. With TAP output
Minimalistic generator of Standard ML programs.
Csmith-style random differential tester for nvcc/ptxas (work in progress)
To associate your repository with the csmith topic, visit your repo's landing page and select "manage topics."