Working on hevm, a symbolic execution system. See: https://github.com/ethereum/hevm for the repository and https://hevm.dev/ for the website.