Reuben Rowe

icon indicating a website link https://www.cs.rhul.ac.uk/home/rrowe/

icon location Lecturer in Computer Science at Royal Holloway, University of London.

Results 2 issues of Reuben Rowe

Not handling spaces in parent directory name

1 comment

I've encountered a problem using ocaml-lsp-server via the ocamllabs OCaml Platform VSCode plugin, in which I would get a lot of unbound module errors. My project involves several libraries, and...

Effect of Bug fix (sha 425b80) on While Abducer

2 comment

I've discovered that the bug in fix in commit 425b80 affects the search carried out by the abducer and results in one of the benchmarks no longer being proved. The...