Use addr_eq in NonNull contracts to support wide pointers - #626

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.62.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.61.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.60.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.59.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.58.1.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.57.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.56.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.55.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.54.0.rb

Invalid formula (golden_gate): /opt/homebrew/Library/Taps/diffblue/homebrew-cbmc/Formula/cbmc@5.53.1.rb

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/