|
About the Formal Methods Sub-Governance category
|
|
1
|
403
|
April 22, 2021
|
|
Flex Formal Verification Respin
|
|
7
|
635
|
May 6, 2022
|
|
Everscalend Formal Verification
|
|
6
|
690
|
March 20, 2022
|
|
Executor Formal Verification
|
|
2
|
663
|
March 18, 2022
|
|
Utility grant proposal
|
|
2
|
574
|
March 3, 2022
|
|
Executor Contest Deadline Extension Proposal
|
|
0
|
511
|
February 22, 2022
|
|
Replace Thomas with Steven
|
|
1
|
569
|
February 2, 2022
|
|
DeNS formal verification
|
|
2
|
818
|
December 24, 2021
|
|
DEX Phase 1 Formal Verification Proposal
|
|
27
|
2024
|
December 14, 2021
|
|
Contest Proposal: The Assembler Module Formal Verification - Phase 1
|
|
8
|
955
|
December 14, 2021
|
|
Generic Contest Rules v 2.0
|
|
1
|
678
|
December 10, 2021
|
|
Auctions Verification Proposals
|
|
4
|
945
|
October 21, 2021
|
|
SMV Phase 1 Format Verification Proposal
|
|
10
|
1457
|
October 8, 2021
|
|
True NFT Stage 0 Formal Verification Proposal
|
|
4
|
1085
|
September 27, 2021
|
|
Formal Methods Sub-Governance Proposal
|
|
6
|
1611
|
August 19, 2021
|
|
Contest Proposal: Audit of the Dune Network -> Free TON merge contracts
|
|
5
|
1123
|
July 13, 2021
|
|
Secretary assignment
|
|
0
|
963
|
July 9, 2021
|
|
ForMet Charter update
|
|
0
|
991
|
July 7, 2021
|
|
Jury extension proposal
|
|
1
|
972
|
July 1, 2021
|