Pedro Ribeiro

icon indicating a website link https://www-users.cs.york.ac.uk/pfr/ icon indicating an email [email protected]

icon company University of York icon location York, UK icon location Lecturer in Computer Science at the University of York, UK. Member of @UoY-RoboStar, collab @isabelle-utp. Previously RF @ PET, UoY.

Results 5 issues of Pedro Ribeiro

backup.sh seems to mess zfs pool (multiple datasets).

13 comment

Hi, Thanks for the nice guide. I've followed most of the steps exactly as described, up to the point where I got the initial backup from my FreeNAS installation to...

Unable to start Xpra (arm64) on m1

100 comment

**Describe the bug** Unable to start Xpra on M1. **To Reproduce** Steps to reproduce the behavior: 1. Open Xpra, eg. via command line **System Information (please complete the following information):**...

bug
packaging
macos

Use of readlink in bin/build.sh not portable to BSD/OSX.

Just getting my isabelle-utp installation up to date with the 2017 version of Isabelle. I really like the build script, but I've found a minor issue which may be worth...

Terminated lists + small changes to utp_timed_rea_designs.thy and utp_cml.thy

4 comment

**Terminated Lists** Here is my initial commit of the little auxiliary theory of terminated lists. For now I'm not including the [Coinductive AFP theory](https://www.isa-afp.org/entries/Coinductive.shtml) where (infinite) Terminated Lists are defined....

enhancement

Dual EPL licensing?

2 comment

Hello @psxpaul, Thank you for developing such a nice plug-in for Eclipse. Still relevant and working from what I can see. I was wondering if you would consider dual-licensing your...