search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
43 stars 22 forks source link

Release 0.10.0 #175

Closed viktormalik closed 1 year ago

viktormalik commented 1 year ago

Also added missing info about previous releases to README.