Skip to content

SMACK v2.6.2

Compare
Choose a tag to compare
@zvonimir zvonimir released this 02 Dec 01:38

Release notes:

  • minor fix to modeling of bit-wise operations using integers