Tag: timing control
-
Hacker News: Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf]
Source URL: https://www.doc.ic.ac.uk/~afd/papers/2025/ICST-Industry.pdf Source: Hacker News Title: Compiler Fuzzing in Continuous Integration: A Case Study on Dafny [pdf] Feedly Summary: Comments AI Summary and Description: Yes **Summary:** The text details the development and implementation of CompFuzzCI, a framework for applying compiler fuzzing in the continuous integration (CI) workflow for the Dafny programming language. The authors…