v0.20.0

Minor Changes

• #1203 a5c3b1a Thanks @ggiraldez! - add separate contexts (ie. binding scopes) for Solidity and Yul built-ins

• #1257 9f5d8f0 Thanks @OmarTawfik! - export assertUserFileLocation() and assertBuiltInLocation() utilities from the bindings module

• #1243 99d182f Thanks @ggiraldez! - add definition.references() API to find all references that resolve to a definition.

• #1205 103b331 Thanks @mjoerussell! - Make Edge::label a required field instead of being optional.

• #1257 9f5d8f0 Thanks @OmarTawfik! - update user guides with new binding graph and compilation APIs

• #1257 9f5d8f0 Thanks @OmarTawfik! - export assertNonterminalNode() and assertTerminalNode() utilities from the cst module

Patch Changes

• #1246 aea2dd0 Thanks @OmarTawfik! - unreserve jump and jumpi yul keywords between 0.6.0 and 0.8.0

• #1203 a5c3b1a Thanks @ggiraldez! - enable address payable from 0.5.0 and remove transfer built-in from non-payable addresses

• #1246 aea2dd0 Thanks @OmarTawfik! - make sure assembly flags are only enabled starting from 0.8.13

• #1246 aea2dd0 Thanks @OmarTawfik! - enable yul's true and false keywords starting from 0.6.2

• #1246 aea2dd0 Thanks @OmarTawfik! - make sure super and this keywords are unreserved before 0.8.0.