Pedro Orvalho

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

icon company University of Oxford icon location Oxford, UK icon location Research Associate @ University of Oxford

Results 2 issues of Pedro Orvalho

Graph Neural Networks for Mapping Variables Between Programs

I would like to add the following publication: - DBLP key: conf/ecai/OrvalhoPJM23

[MacOS M4] fmt/base.h error: no matching member function for call to 'format'

Hello, I am trying to compile ESBMC's latest release (v7.8.1) on a Mac OS M4 by running the `build-esbmc-mac.sh` script from inside the `scripts/` directory. However, I am encountering the...