Cas Cremers
Cas Cremers
Expected behavior of auto-assign: * The mode _"Ensure each selected paper has at least N [...] review(s)"_ should be a hard constraint, not a soft one. Observed behavior: * Instance...
Currently, pdfdiff.py handles ligatures by considering a hard-coded set of ligature encodings. This set is incomplete and depends on the encoding of the input. Ideally, we detect the encoding of...
It would be nice to be able to install Scyther through [homebrew](https://brew.sh/). This requires the creation of a proper brew recipe.
Currently, if a verification attempt is aborted, the backend thread continues to run. This was initially caused by cross-platform support problems and not wanting to rely on POSIX. However, the...
Currently, analysis of claims in the GUI is done in a batch. Ideally, we spawn a thread for each claim. This allows partial results to come in quick, and even...
The new commands for match, macro can be used to simplify the majority of the protocol description files. It would be nice to update as many as possible before the...
Some of the newer protocol models will require Scyther 1.1. Go through them and clearly mark this in the input file, to avoid confusion.
Work on the new manual is well underway, but not done. It still makes sense to put the current, incomplete, manual into the new releases.