0.8000.16
protected
Martin Spiessl
@masp
4f1ce98d
·
Merge branch 'develop' into 'trunk'
·
Nov 17, 2023
New Release with a minor fix for SV-COMP, cf. MR !114
