Logan Murphy

icon indicating a website link http://www.cs.toronto.edu/~lmurphy/

icon location Toronto, Ontario, Canada icon location Formal Methods @ University of Toronto

Results 1 issues of Logan Murphy

Build problem with KAT_and_DRA/ROOT

1 comment

Running into this problem using Isabelle2019 ``` ./bin/build.sh Checking and obtaining Isabelle/UTP AFP dependencies... ... AFP entry Show is already installed. AFP entry Transformer_Semantics is already installed. AFP entry Triangle...