Lucas C. Cordeiro

icon indicating a website link https://ssvlab.github.io/lucasccordeiro/ icon indicating an email [email protected]

icon company The University of Manchester, UK icon location Manchester icon location Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester/UK and an Associate Professor at UFAM/Brazil.

Results 71 issues of Lucas C. Cordeiro

Remove the C++ frontend

13 comment

Since we started migrating to clang, the old C++ frontend of ESBMC does not seem to work anymore. My suggestion is that we remove this old C++ frontend completely.

no-issue-activity