Skip to content

FA1.2 verification v2

Kristina Sojakova requested to merge kristina@fa12-verification-v2 into dev

Verification of three FA1.2 compliant contracts:

  • the camlCase FA1.2 implementation,
  • the FA1.2 Edukera implementation, and
  • the Dexter 2 liquidity ledger.

Fixes #40

Edited by Jamie @ Nomadic

Merge request reports