|
About the Formal Methods Sub-Governance category
|
|
1
|
420
|
April 22, 2021
|
|
Flex Formal Verification Respin
|
|
7
|
664
|
May 6, 2022
|
|
Everscalend Formal Verification
|
|
6
|
700
|
March 20, 2022
|
|
Executor Formal Verification
|
|
2
|
670
|
March 18, 2022
|
|
Utility grant proposal
|
|
2
|
595
|
March 3, 2022
|
|
Executor Contest Deadline Extension Proposal
|
|
0
|
521
|
February 22, 2022
|
|
Replace Thomas with Steven
|
|
1
|
588
|
February 2, 2022
|
|
DeNS formal verification
|
|
2
|
848
|
December 24, 2021
|
|
DEX Phase 1 Formal Verification Proposal
|
|
27
|
2065
|
December 14, 2021
|
|
Contest Proposal: The Assembler Module Formal Verification - Phase 1
|
|
8
|
968
|
December 14, 2021
|
|
Generic Contest Rules v 2.0
|
|
1
|
688
|
December 10, 2021
|
|
Auctions Verification Proposals
|
|
4
|
954
|
October 21, 2021
|
|
SMV Phase 1 Format Verification Proposal
|
|
10
|
1476
|
October 8, 2021
|
|
True NFT Stage 0 Formal Verification Proposal
|
|
4
|
1104
|
September 27, 2021
|
|
Formal Methods Sub-Governance Proposal
|
|
6
|
1625
|
August 19, 2021
|
|
Contest Proposal: Audit of the Dune Network -> Free TON merge contracts
|
|
5
|
1143
|
July 13, 2021
|
|
Secretary assignment
|
|
0
|
974
|
July 9, 2021
|
|
ForMet Charter update
|
|
0
|
1012
|
July 7, 2021
|
|
Jury extension proposal
|
|
1
|
990
|
July 1, 2021
|