98 Commits (7ab95baab85df2066a3744c727a079999d5fa0db)

Author	SHA1	Message	Date
Michael D. George	915ca181ba	Add Certora's Governance verification rules (#2997) ... Co-authored-by: Shelly Grossman <shelly@certora.com> Co-authored-by: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com> Co-authored-by: Michael M <91594326+MichaelMorami@users.noreply.github.com> Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com>	3 years ago
Michael George	97b2e1b12a	sanity passes	3 years ago
Michael George	2304dd7bb1	added script for checking token sanity	3 years ago
Michael George	44cedd5ea2	made scripts executable	3 years ago
Michael George	7ffbf6a3c8	renamed governor sanity script	3 years ago
Michael George	b5980a569c	reorganized governance verification in preparation for erc20 verification	3 years ago
Michael George	7912b1af7d	filtered out relay, since it is havocing	3 years ago
Michael George	2a75aa19bd	added munging to scripts	3 years ago
Michael George	d95c3eeee1	removed some spurious comments	3 years ago
Michael George	22de642692	simplified README somewhat, included additional information about munging	3 years ago
Michael George	3c150953ed	harnessing fix	3 years ago
Michael George	d64869545d	did some harnessing	3 years ago
Michael George	5888bee853	fixed executeOnly rule	3 years ago
Michael George	ec5d501791	filtered out timeouts	3 years ago
Michael George	760edf9b87	tweaked script to run quickly	3 years ago
Michael George	380b87dc0c	switched harnesses to use munged contracts	3 years ago
Michael George	f3087407c6	created applyHarness	3 years ago
Michael George	749738f2aa	moved contract modifications into munged directory	3 years ago
Aleksander Kryukov	7d0eeab6f7	HarnessCleaning	3 years ago
Aleksander Kryukov	dae72a7e1b	FixingScriptsToWorkWithNewChanges	3 years ago
Aleksander Kryukov	96c6120609	NewFileForRulesInProgress	3 years ago
Michael M	de594921cc	fix script	3 years ago
Aleksander Kryukov	f40c48a83d	madeVeryfyAllMoreFlexible	3 years ago
Aleksander Kryukov	43e37f0184	executedImplyStartAndEndDateNonZero inv fix	3 years ago
Aleksander Kryukov	1d25a22201	runAllwithoutTypeCheckAndPolishingIt	3 years ago
Aleksander Kryukov	73080c79d0	cleaning in process	3 years ago
Aleksander Kryukov	37725a0f2c	CleaningAndScriptForAllAndReadme	3 years ago
Aleksander Kryukov	b3dd1e0386	RulesCleaning	3 years ago
Aleksander Kryukov	108be781a4	RemovedUnnecessaryHarnesses	3 years ago
Michael M	0894724496	all rules checked no structure organization	3 years ago
Aleksander Kryukov	9344f697f9	removed oneUserVotesInCast	3 years ago
Aleksander Kryukov	4c3ad9c95a	GovernorCountingSimple cleaning	3 years ago
Aleksander Kryukov	38e42f92c2	helperFunctionArgumentEnv	3 years ago
Michael M	c38babecd9	helper function name change	3 years ago
Michael M	e01b285780	helper function fix plus reviewing up to noExecuteOrCancelBeforeDeadline including	3 years ago
Michael M	1b4fb6c758	callPropose and castVoteWithReason removed	3 years ago
Michael M	95321a3516	done up to noStartBeforeCreation including	3 years ago
Aleksander Kryukov	ff8e17ec2f	removedHarnessesAnsSummariesAddedComments	3 years ago
Aleksander Kryukov	37fe8c292a	FixinigTimeoutsAndTotalVotes	3 years ago
Michael M	cd703a5ee0	cleaned up to doubleVoting (not included)	3 years ago
Michael M	a14abd0276	hashProposal summarization removed	3 years ago
Michael M	0fbf745efe	noVoteForSomeoneElse fix	3 years ago
Aleksander Kryukov	92f5f0dfbb	TryingToFixRules	3 years ago
Michael M	0cbb98b92c	uncommenting hook for oneUserVotesInCast	3 years ago
Michael M	9f2a672240	moving updateQuorumNumerator to GovernorBase	3 years ago
Michael M	0ecb5fce78	fix for oneUserVotesInCast	3 years ago
Michael M	65af47d90d	added filters to revert if exec and revert if canceled	3 years ago
Aleksander Kryukov	f7049de567	envfreeViolationFix	3 years ago
Aleksander Kryukov	61b011869c	AddedLinkAndFixingGhost	3 years ago
Aleksander Kryukov	a33b9b2bb0	FixedERC20VotesIssue	3 years ago