|
About the Formal Methods Sub-Governance category
|
|
1
|
259
|
April 22, 2021
|
|
Flex Formal Verification Respin
|
|
7
|
267
|
May 6, 2022
|
|
Everscalend Formal Verification
|
|
6
|
424
|
March 20, 2022
|
|
Executor Formal Verification
|
|
2
|
413
|
March 18, 2022
|
|
Utility grant proposal
|
|
2
|
274
|
March 3, 2022
|
|
Executor Contest Deadline Extension Proposal
|
|
0
|
271
|
February 22, 2022
|
|
Replace Thomas with Steven
|
|
1
|
332
|
February 2, 2022
|
|
DeNS formal verification
|
|
2
|
515
|
December 24, 2021
|
|
DEX Phase 1 Formal Verification Proposal
|
|
27
|
1522
|
December 14, 2021
|
|
Contest Proposal: The Assembler Module Formal Verification - Phase 1
|
|
8
|
701
|
December 14, 2021
|
|
Generic Contest Rules v 2.0
|
|
1
|
446
|
December 10, 2021
|
|
Auctions Verification Proposals
|
|
4
|
682
|
October 21, 2021
|
|
SMV Phase 1 Format Verification Proposal
|
|
10
|
1093
|
October 8, 2021
|
|
True NFT Stage 0 Formal Verification Proposal
|
|
4
|
757
|
September 27, 2021
|
|
Formal Methods Sub-Governance Proposal
|
|
6
|
1307
|
August 19, 2021
|
|
Contest Proposal: Audit of the Dune Network -> Free TON merge contracts
|
|
5
|
854
|
July 13, 2021
|
|
Secretary assignment
|
|
0
|
696
|
July 9, 2021
|
|
ForMet Charter update
|
|
0
|
720
|
July 7, 2021
|
|
Jury extension proposal
|
|
1
|
727
|
July 1, 2021
|