fanghr fbe3edc45a store proposal timing conf in the governor datum		2022-05-25 20:08:39 +08:00
..
Effect	better naming	2022-05-20 19:10:34 +08:00
Model	CekEvaluationError	2022-04-29 14:00:44 +01:00
AuthorityToken.hs	merge #74; add sample and spec of the governor	2022-05-12 20:01:32 +08:00
Governor.hs	store proposal timing conf in the governor datum	2022-05-25 20:08:39 +08:00
Proposal.hs	store proposal timing conf in the governor datum	2022-05-25 20:08:39 +08:00
Stake.hs	merge #74; add sample and spec of the governor	2022-05-12 20:01:32 +08:00
Treasury.hs	merge #74; add sample and spec of the governor	2022-05-12 20:01:32 +08:00
Utils.hs	add a property test for pupdate and updateMap	2022-05-20 21:50:58 +08:00