fanghr
4c97341acf
fix winner outcome selection logic and timing
2022-05-30 23:54:51 +08:00
fanghr
9e8424b458
implement logic to advance proposals
2022-05-30 23:54:48 +08:00
fanghr
cf5b6ebc5b
add pwinner to find the winning outcome
2022-05-30 23:54:03 +08:00
Seungheon Oh
312976a4ca
Moved Agora.Record to Plutarch.Extra.Record
...
Since `Agora.Record` provides a general utility for easy construction
of Plutarch record types, they can be moved to `liqwid-plutarch-extra`
to be used abroad.
2022-05-30 09:02:07 -05:00
Seungheon Oh
16b1f6ad4b
CI using deploy keys of plutarch-*
...
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
7a0f9e9a66
Use Liqwid-Labs/plutarch
...
- Removed `Utils.Value` -- not being used/better is provided with
liqwid-plutarch-extra
- uses `Liqwid-Labs/plutarch`
- uses `Liqwid-Labs/plutarch-numeric`
- uses `Liqwid-Labs/plutarch-safemoney`
- uses `Liqwid-Labs/liqwid-plutarch-extra`
2022-05-27 13:43:55 -05:00
fanghr
abe1d950bf
make 'PProposalTime' scott-encoded
2022-05-25 21:36:56 +08:00
fanghr
6f9de51541
apply Emily's suggestions
...
* add `PMaxTimeRangeWidth`
* several `Default` instances for testing
* a bunch of docstrings
* fix the tests/samples
2022-05-25 21:07:09 +08:00
fanghr
9bc2acb9ca
calculate the starting time of a proposal upon creation
2022-05-25 20:08:45 +08:00
fanghr
2820831dad
add createProposalStartingTime to compute the starting time of proposals
2022-05-25 20:08:44 +08:00
fanghr
1a2693aa98
store proposal timing conf in the governor datum
2022-05-25 20:08:39 +08:00
方泓睿
455dcaf928
Merge branch 'main' into connor/#87
2022-05-25 18:42:50 +08:00
fanghr
cafe91f7a1
use nested pmatches instead of laziness
2022-05-24 21:48:32 +08:00
方泓睿
6ad986c7a9
Merge branch 'main' into connor/mutate-governor
2022-05-24 12:38:46 +08:00
fanghr
f4f4ed0b21
fix a typo
2022-05-24 01:27:04 +08:00
fanghr
6145d9ef68
remove anyOutput
2022-05-23 23:18:18 +08:00
fanghr
e89b245b20
remove allOutputs
2022-05-23 18:20:49 +08:00
fanghr
f18b0992e7
remove anyInput
2022-05-23 18:11:32 +08:00
Emily Martins
bc59671025
add remaining scripts, export to json file, fix compile
2022-05-20 18:24:53 +02:00
Emily Martins
56090bc5cc
init agora-scripts for generating ScriptInfo for CTL
2022-05-20 18:24:53 +02:00
fanghr
14a8b9eece
pull own output filtering out of the pmatch block
2022-05-20 21:51:03 +08:00
fanghr
ee6ae128de
fix misleading assert messages && add some comments
2022-05-20 21:51:02 +08:00
fanghr
1b9aaf111d
add isPubKey && utilize it in the TreasuryWithdrawal effect
2022-05-20 18:22:33 +08:00
fanghr
97b3d6f023
ensure the new proposal lock is placed on the stake
2022-05-20 03:35:31 +08:00
fanghr
ce09d05dff
add sample test && fix broken tests
2022-05-20 03:35:31 +08:00
fanghr
3741759717
ensure that the voting op is within a valid period
2022-05-20 03:35:30 +08:00
fanghr
fc48709c07
store starting time of the proposal in its datum
...
... hardcoded to 0 upon creation for now
2022-05-20 03:35:30 +08:00
fanghr
d44fe083da
store timing config in the proposal datum
...
.... and mock the value upon creation for now
2022-05-20 03:35:29 +08:00
fanghr
7da72e9398
validation logic for voting
2022-05-20 03:35:28 +08:00
fanghr
a9b347e14d
PEq instances for a bunch of on-chain structures
2022-05-20 03:35:28 +08:00
fanghr
438f472c44
add uitls to update a PMap on-chain
2022-05-20 03:35:23 +08:00
fanghr
1ba11bc23a
add missing docs && consistent naming
2022-05-19 21:31:25 +08:00
fanghr
fc050527a1
switch to TermCont; fix a bunch of compilation errors; format
2022-05-17 20:54:21 +08:00
fanghr
7f6e363c89
only allow script inputs from the effect and governor
2022-05-17 20:54:20 +08:00
fanghr
a65465b494
only allow desired inputs/outputs in an effect tx
2022-05-17 20:54:19 +08:00
fanghr
c556b3eda5
fix the broken test
2022-05-17 20:54:19 +08:00
fanghr
12f9a5bf1d
improve the docstring
2022-05-17 20:54:16 +08:00
fanghr
40d5cf5f74
safely check input/output governor datum
...
...utilize a bunch of util functions as well
2022-05-17 20:54:15 +08:00
fanghr
6ab6afbdb7
small doc fix to pisJust
2022-05-17 20:54:15 +08:00
fanghr
50deac1175
require PtryFrom PData (PAsData datum) in makeEffect
2022-05-17 20:54:14 +08:00
fanghr
0440e00410
fix compilation errors
2022-05-17 20:54:14 +08:00
fanghr
dd79a7b73a
mlabs email
2022-05-17 20:54:13 +08:00
fanghr
015ee0b9de
move GovernorMutation effect to Effect
2022-05-17 20:54:12 +08:00
fanghr
33365e0a31
add document for everything in GovernorMutation.hs
2022-05-17 20:54:12 +08:00
fanghr
f63e20907e
utilize gatSymbol; clean up imports
2022-05-17 20:54:11 +08:00
fanghr
b8cd27fc2a
fix compilation errors
2022-05-17 20:54:10 +08:00
fanghr
2c93a7cb1c
add an effect that mutates the governor settings
2022-05-17 20:54:04 +08:00
fanghr
f45b919d0e
apply Emily's suggestions
2022-05-16 19:59:11 +08:00
fanghr
28afcf2f65
docs for utils; refactor tests; rewrite pnubSortBy
2022-05-16 18:11:14 +08:00
fanghr
67ff8f7f46
add tests for pmsort, pmerge and phalve
2022-05-14 19:57:01 +08:00
