SVC 1.1

Download

• Zipped tar file: svc-1.1.tar.gz
• Directory: svc-1.1/
• Binaries: bin/

SVC 1.0

Download

• Zipped tar file: svc-1.0.tar.gz
• Directory: svc-1.0/
• Binaries: bin/

Bugs

• A typo in mult.cc results in (* 0 x) returning 1. Thanks to Soeren Heilmann for finding this bug. This patch fixes the problem.
• A bug in the lexer causes rare segfaults. Thanks to Miroslav Velev for finding this bug. The patch is here.
• Gerd Ritter found a bug in the bit-vector package. The patch is here.