Skip to content

Update ARC-20 for Leo 4.4.0 - #143

Merged
raychu86 merged 1 commit into
ProvableHQ:masterfrom
mohammadfawaz:fix/arc20-leo-4.4.0
Aug 5, 2026
Merged

Update ARC-20 for Leo 4.4.0#143
raychu86 merged 1 commit into
ProvableHQ:masterfrom
mohammadfawaz:fix/arc20-leo-4.4.0

Conversation

@mohammadfawaz

Copy link
Copy Markdown
Contributor

Summary

  • Set the ARC-20 library compiler version to Leo 4.4.0 and export IARC20 for dependent packages.
  • Replace removed context accessors with std::ctx functions and add required constructors to the examples.
  • Keep the specification interface synchronized with the library and ignore generated build/ output.

Verification

  • Built IARC20 with leo 4.4.0 (320a595 HEAD).
  • Confirmed that Leo generated the IARC20 interface ABI.
  • Confirmed that the README interface block matches src/lib.leo.
  • Compiled the dynamic-dispatch example with Leo 4.4.0.
  • Ran git diff --check.

Formatter note

The source keeps export interface IARC20 on one line. Leo 4.4.0 currently formats all tested export placements incorrectly. ProvableHQ/leo#29618 tracks this formatter defect.

@vicsn

vicsn commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

Replace removed context accessors with std::ctx functions and add required constructors to the examples.

FWIW I don't see this part from the PR README

@raychu86
raychu86 merged commit bf0a4e7 into ProvableHQ:master Aug 5, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants