Skip to content

2.1.0

Compare
Choose a tag to compare
@sim642 sim642 released this 25 Nov 12:55
· 5833 commits to master since this release

CHANGES:

Functionally equivalent to Goblint in SV-COMP 2023.

  • Add automatic configuration tuning (#772).
  • Add many library function specifications (#865, #868, #878, #884, #886).
  • Reorganize library stubs (#814, #845).
  • Add Trace Event Format output to timing (#844).
  • Optimize domains for address and path sets (#803, #809).