v1.3.4

Patch Changes

• #1533 afc9f87 Thanks @OmarTawfik! - Fixed a panic during constructing binding graphs, when the input has incomplete IdentifierPath expressions.

v1.3.3

Patch Changes

• #1523 27f07a8 Thanks @teofr! - Remove constant, view, and pure attributes from UnnamedFunctionDefinition, to disambiguate from StateVariableDefinition that have a function type.

• #1526 a52001d Thanks @teofr! - Fixed associativity of AssignmentExpression from left to right.

• #1525 7f3ea6f Thanks @teofr! - Add support for Solidity 0.8.34.

• #1502 6963419 Thanks @teofr! - Fixed the old style revert calls (revert("oops!")) to be parsed as a FunctionCallExpression rather than a RevertStatement.

v1.3.2

Patch Changes

• #1495 e3f391c Thanks @OmarTawfik! - Add support for Solidity 0.8.32 and 0.8.33.

v1.3.1

Patch Changes

• #1479 f03516d Thanks @teofr! - Add support for Solidity 0.8.31

v1.3.0

Minor Changes

• #1396 d568dec Thanks @beta-ziliani! - Add a rewriter API, allowing the transformation of CSTs by extending the BaseRewriter type, overriding the appropriate methods (User Guide).

• #1440 4438fc8 Thanks @OmarTawfik! - add TextIndexExtensions.zero() utility to create an index at offset zero, which is useful for creating cursors from child nodes where parent offset is not needed.

• #1390 6a0f598 Thanks @OmarTawfik! - Add new TypeScript APIs for creating nodes and edges:

  • NonterminalNode.create(kind: NonterminalKind, children: Edge[]): NonterminalNode
  • TerminalNode.create(kind: TerminalKind, text: string): TerminalNode
  • createEdge(label: EdgeLabel, node: Node): Edge
  • Edge.createWithNonterminal(label: EdgeLabel, node: NonterminalNode): Edge
  • Edge.createWithTerminal(label: EdgeLabel, node: TerminalNode): Edge

Patch Changes

• #1424 d54a35c Thanks @ggiraldez! - Resolve identifiers in assembly blocks to locally imported symbols

• #1388 4607e6a Thanks @beta-ziliani! - Fixed the pragma grammar and CST nodes:

  • pragma abicoder <version>:

    • Only enabled starting Solidity 0.7.5.
    • <version> is restricted to new keywords (v1 and v2).

  • pragma experimental <flag>:

    • Only enabled starting Solidity 0.4.16.
    • <flag> is restricted to be a string, or new keywords representing ABIEncoderV2 and SMTChecker.

• #1431 a62c857 Thanks @OmarTawfik! - fix CST query matches to return an empty array for unmatched named captures, instead of undefined.

v1.2.1

Patch Changes

• #1377 f3b51be Thanks @ggiraldez! - Bind untyped tuple deconstruction elements as references, not declarations

• #1335 6c3ad5d Thanks @ggiraldez! - Top-level ConstantDefinitions now bind to their type and resolve extension functions called on them

• #1338 18be0bc Thanks @ggiraldez! - Make try/catch parameters and vars in for loop initialization available in Yul

• #1339 f16e4b5 Thanks @ggiraldez! - Fixes to the binding rules in Solidity:

  • Make the .length member available in all static-size byte arrays
  • Allow assembly blocks (and nested Yul functions) to access inherited state variables
  • Allow assembly blocks access to constructor/modifier/fallback parameters
  • msg.sender is of address type (not payable) until 0.5.0
  • Top-level constants need to be visible from assembly blocks in files that import them
  • Resolve named arguments when calling an extension function
  • Imported symbols using deconstruction syntax can be bound in assembly blocks

• #1353 8e718dd Thanks @ggiraldez! - Fixes to the binding rules in Solidity:

  • Values of the deprecated byte type have a length member until 0.8.0
  • Bind a qualified identifier in the same contract, ie. Foo.x in a method body of Foo
  • Correctly bind external constants and built-ins in nested functions in assembly blocks
  • Literal boolean values should bind to the bool type to chain extension functions
  • Public state variables the generate getters should have members of external functions (such as .selector)
  • Event types have a selector member

• #1326 045179b Thanks @ggiraldez! - Fixes to binding rules:

  • Update TupleDeconstructionStatement so that their definiens is the TypedTupleMember/UntypedTupleMember for each variable declared.
  • Update YulVariableDeclarationStatement so that their definiens is the YulIdentifier for each variable declared.

• #1350 0594fe8 Thanks @ggiraldez! - Fixes to bindings rules in Solidity:

  • Allow binding of using directives inside interfaces in Solidity < 0.7.1
  • Bind literal fixed arrays types
  • Fix generating binding graph for built-ins: remove the memory location specifier from types so they bind properly
  • Fix return type of value() and gas() legacy call options to allow chaining them
  • Bind legacy call options in the result of new expressions
  • Bind output type of public getters when the state variable is a nested mapping or array
  • A using directive with the global modifier should impact the source unit's lexical scope
  • Relax the Solidity version where the transfer() method works for non-payable addresses; this is a workaround for a Solidity quirk that makes it possible to do address(uint160(to)).transfer(amount) even after 0.5.0
  • Fix bound return types of wrap() and unwrap() methods of a user value defined type
  • Resolve the type of min() and max() of type() expressions for integer types to the integer type given in the expression operand
  • Fix binding of fully qualified modifier invocations
  • Fix #1321: min() and max() for type() expressions on enum types should bind only after Solidity 0.8.8
  • Bound type for literal number expressions is uint256 by default; this allows correctly binding extension methods operating on literal values
  • The type bytes is an array type and should bind the push() and pop() methods
  • Contract or interface reference values implicitly inherit from the address type on Solidity < 0.5.0
  • Modifiers are allowed inside interfaces until Solidity 0.8.8 and thus should properly bind and be accessible from inheriting contracts
  • Libraries before Solidity 0.5.0 allowed this in function methods and work as an address type

v1.2.0

Minor Changes

• #1330 56393d5 Thanks @OmarTawfik! - add support for Solidity 0.8.30

Patch Changes

• #1314 743d6b0 Thanks @mjoerussell! - Adding missing YUL built in functions:

  • codesize()
  • codecopy(f, t, s)

v1.1.0

Minor Changes

• #1288 2090ab8 Thanks @OmarTawfik! - support Solidity 0.8.29 and Custom Storage Layouts:

  • ContractDefinition nodes will no longer have an optional InheritanceSpecifier child directly, but will hold a list of ContractSpecifier children
  • ContractSpecifier nodes have either InheritanceSpecifier or StorageLayoutSpecifier children

• #1265 2312260 Thanks @mjoerussell! - Add LanguageUtils::infer_language_versions(source_code) -> Version[] API, which will analyze version pragmas inside a source file, and return a list of supported language versions that they allow. This can be used to select a valid language version to use with the rest of Slang APIs. Please see the Choosing a Solidity Version guide for more information.

Patch Changes

• #1291 da1f863 Thanks @ggiraldez! - Resolve arguments to inheritance specifiers and expressions in storage layout specifiers using the contract's parent scope.

v1.0.0

Major Changes

• #1279 6de3e41 Thanks @OmarTawfik! - release Slang v1 🚀🚀🚀

v0.20.1

Patch Changes

• #1275 ed2cae9 Thanks @OmarTawfik! - rename ComparisonExpression to InequalityExpression