v1.2 Semitransferable Token Formally Verified

Major changes

• Formally verified the added code compared to the Solmate reference. See the associated PR for more details, or take a look at the main specification file.

Full Changelog: v1.1...v1.2

v1.1 Semitransferable Token Optimized

Major changes

• Optimized code by removing external code in Solmate's code.
• Changes audited by Omniscia report here. Note: the final audit was conducted on this PR.

v1.0 Semitransferable Token Audited

Major changes

• Token contracts based on Solmate's contracts Auth.sol, RolesAuthority.sol and ERC20.sol (repo here).
• Audited by Omniscia at this commit (report to be added).