Mark Utting

icon indicating a website link https://researchers.uq.edu.au/researcher/26046 icon indicating an email [email protected]

icon company The University of Queensland icon location Research interests: software verification; theorem proving; model-based testing; language design; blockchain

Results 2 issues of Mark Utting

Updated uq interpreter

7 comment

An interpreter for GraalVM IR graphs. This can be useful for evaluating IR graphs during testing. This implements 'interpret(InterpreterState)' methods in 30+ of the most common subclasses of FixedNode in...

oca-signed
OCA Verified

Misleading 'unknown type' error when tabs are used.

When tabs are used at the beginning of a line in a Whiley file, the error message says 'unknown type encountered' on the following keyword or type. This is misleading...

Bug
Easy