VerCors 1.4.1

NB: This is a release of backported changes to the v1 branch of VerCors. Please consider using a v2 version where possible. The VerCors executable is renamed to vercors1 to enable installing a v1 version alongside a v2 version.

What's Changed

• Print an error when the language is not specified by @bobismijnnaam in #723
• Add vim plugin (syntax and filetype detection) by @Jesse-Bakker in #737
• Veymont etaps extensions by @petravandenbos-utwente in #727
• Backport backend options flag by @bobismijnnaam in #784
• Add big integer support to PVL by @bobismijnnaam in #726
• Require constructor for lock invariant by @bobismijnnaam in #720
• Partially reinstate problem fail tests by @bobismijnnaam in #658
• Disable casting in parblockencoder by @bobismijnnaam in #660
• Veymont (v1) by @pieter-bos in #972
• Gpgpu optimizations by @pieter-bos in #976

New Contributors

• @Jesse-Bakker made their first contribution in #737

Full Changelog: v1.4.0...v1.4.1

What's Changed

• Print an error when the language is not specified by @bobismijnnaam in #723
• Add vim plugin (syntax and filetype detection) by @Jesse-Bakker in #737
• Veymont etaps extensions by @petravandenbos-utwente in #727
• Backport backend options flag by @bobismijnnaam in #784
• Add big integer support to PVL by @bobismijnnaam in #726
• Require constructor for lock invariant by @bobismijnnaam in #720
• Partially reinstate problem fail tests by @bobismijnnaam in #658
• Disable casting in parblockencoder by @bobismijnnaam in #660
• Veymont (v1) by @pieter-bos in #972
• Gpgpu optimizations by @pieter-bos in #976

New Contributors

• @Jesse-Bakker made their first contribution in #737

Full Changelog: v1.4.0...v1.4.1