enzet/symbolic-execution

Add Rosette

enzet opened this issue · 0 comments

enzet commented

By Brian Mastenbrook‏ @bmastenbrook:

It's missing a really interesting tool/language, Rosette: https://emina.github.io/rosette/