Matt Revelle

icon indicating a website link http://bitrit.es icon indicating an email [email protected]

icon company @msu icon location Bozeman, MT icon location CS Assistant Professor at @msu. Working on computer security via programming languages, formal methods, and machine learning. Previously at @kudu-dynamics.

Results 22 comments of Matt Revelle

The ghc-options are not passed to the linker

Any update on this issue? This is also causing problems for me where I need to pass an rpath directory to the linker when building a project that depends on...

Unable to build libVEX or Couldn't process pyvex headers - set CPP env var

I can submit a PR tomorrow, it's a one-line change I mentioned in a comment from angr/pyvex#56. Thought original author was going to fix or would've sent already. > On...