Sign in or sign up before continuing. Don't have an account yet? Register now to get started.
Register now
FA1.2 formalization and cross verification
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
FA1.2 formalization and cross verification
Arvid Jakobsson
requested to merge
kristina-fa12-verification-rebase
into
dev
Feb 08, 2021
Overview
14
Commits
84
Pipelines
12
Changes
371
See
#40
This MR formalizes the FA1.2 specification, and verifies
the
Archetype implementation
the
camlCase implementation
the
Dexter2 implementation
Edited
Mar 11, 2021
by
Arvid Jakobsson
Merge request reports
Loading