Dat3M 3.0.0 is out!

This new major version contains several improvements:

• Support for several SMT solvers based on JavaSMT
• Several performance improvements
• New docker container for easy use
• Extended compilation scheme for more instructions and architectures
• Support for validation of violation witnesses
• Drop support for IDL and KLEENE encodings
• Drop support for Porthos
• Bug fixing

This is the version participating in SVCOMP 2022.