search

diffblue / 2ls

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

Update to CBMC 5.37 #155

Closed FrNecas closed 2 years ago

FrNecas commented 2 years ago

Related: https://github.com/peterschrammel/cbmc/pull/26

I nitially wanted to take a few more steps in between but I had to skip basically straight to 5.22 due to Glucose not being compilable in CBMC up until that point and there were not that many changes, each release introduced a few at most. Some of these changes are quite large, e.g. workaround for exprt.opX() not being available anymore.

viktormalik commented 2 years ago

I believe that this closes #98.