aurelf
Thanks ! I see a few problems: The merge commit patch includes many things, but zero comment :/ Each change should be documented in the commit message, I see at...
Thinking about it we can keep the one merge commit and changes, this is also what we did for previous merges. But we need to have a detailed merge commit...
#2 made webostvremote work for me too, with go 1.15.1 on Arch Linux.
It would be nice to push a new version on PiPy, the current version is from May 8, 2017, and does not include the python 3 fixes from PR #2...
Those are automated warnings, not sure it really matters here, but any drawback of bumping scipy ?
Indeed, this is because SymQEMU is a concolic executor more than a symbolic executor. Just like SymCC, see : https://github.com/eurecom-s3/symcc/issues/14 It would be possible it make it a symbolic executor...
Confirmed here, file with a : in the name created and synced to nextcoud without problem, but impossible to download from Android, without any error message visible to the user,...
Also this should be tagged as a **bug** not enhancement. Files uploaded to the server from one side (linux/nextcloud client) not accessible the other side (android client) without any indication...
OK that makes sense, and this is SymQEMU code, so we can keep this here (no upstream needed). Ideally this could be a separate commit or have an note about...
I checked and indeed the font is already bold. I didn't notice before, and it seems that the student didn't see the difference, so it seems that bold wasn't visible...