Minas Charalambides

icon indicating a website link http://osl.cs.illinois.edu/members/charalambides.html icon indicating an email [email protected]

icon company @runtimeverification icon location Chicago, IL

Results 1 comments of Minas Charalambides

Builds and a.out should find krun in $PATH

Complementing Chris' response, the complete list of packages that we currently use to test the semantics (on Ubuntu 18.04) is: ``` bison build-essential clang++-6.0 clang-6.0 cmake coreutils curl diffutils flex...