I just came across this project recently https://github.com/AeneasVerif/eurydice... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		cyberclimb 3 months ago \| parent \| context \| favorite \| on: Rust edges toward CPython and older platforms won'... I just came across this project recently https://github.com/AeneasVerif/eurydice/ from Microsoft Azure Research (referenced here https://www.microsoft.com/en-us/research/blog/rewriting-symc...)

rbanffy 3 months ago [–]

Fascinating. I wonder why they didn’t make it a LLVM backend, but, then, I guess it’s important for the C code to be readable as well.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact