Migrate to cairo v10 - Githubissues

crytic / amarna

Amarna is a static-analyzer and linter for the Cairo programming language.

GNU Affero General Public License v3.0

149 stars 7 forks source link

Closed coolhill closed 1 year ago

coolhill commented 1 year ago

Pull request description This migrates grammar + test + expected files to comply with cairo v10

[x] fix bug in FunctionUsedAsCallbacksGatherer (see amarna -s tests/callbacks.cairo)

LucasLvy commented 1 year ago

Any idea on when this will be merged ?

fcasal commented 1 year ago

Hi @LucasLvy, by the end of next week this should be merged and a new release with it should come out.

fcasal commented 1 year ago

Fixed an issue with the rule disabling feature, but otherwise looks good to me.