fanghr
|
6a5ce88972
|
correct validation logic for proposals
* simplify using newly added util functions
* check vote thresholds
* Anything else to check here?
|
2022-05-06 17:09:17 +08:00 |
|
fanghr
|
034fc397df
|
add mustBePJust and mustBePDJust util functions
|
2022-05-06 17:09:16 +08:00 |
|
fanghr
|
2e1514f366
|
allow other components to know the assetclass of GST
|
2022-05-06 17:09:16 +08:00 |
|
fanghr
|
c7ae47d487
|
add validation logic for GAT minting; add doc string for MintGATs
|
2022-05-06 17:09:15 +08:00 |
|
fanghr
|
793f038182
|
remove redundant imports
|
2022-05-06 17:09:14 +08:00 |
|
fanghr
|
3065cd9e11
|
getting start with GAT minting validation
|
2022-05-06 17:09:14 +08:00 |
|
fanghr
|
b67361e7b4
|
calculate GAT's symbol based on gov parameters
|
2022-05-06 17:09:13 +08:00 |
|
fanghr
|
b43171010e
|
make authorityTokenPolicy a ClosedTerm PMintingPolicy
|
2022-05-06 17:09:13 +08:00 |
|
Hongrui Fang
|
ce4922beb3
|
plet proposal symbol; clean up stuff a little bit
|
2022-05-06 17:09:12 +08:00 |
|
Hongrui Fang
|
ff227bcbf5
|
handle proposal creation
|
2022-05-06 17:09:11 +08:00 |
|
fanghr
|
a970c0586f
|
add doc string for governorValidator and pnextProposalId
|
2022-05-06 17:09:11 +08:00 |
|
fanghr
|
04bba9ebaf
|
convert all "datum NFT" to "state token" in the messages
in order to avoid confusion
|
2022-05-06 17:09:10 +08:00 |
|
fanghr
|
18bfa25fcb
|
implement governor state token minting policy
* parameterize the policy and the validator with a utxo
|
2022-05-06 17:09:09 +08:00 |
|
fanghr
|
afc48aa9f8
|
apply hlint suggestions; fix the ci
|
2022-05-06 17:09:08 +08:00 |
|
fanghr
|
dd99543449
|
apply naming suggestions from Emily and Seungheon
* `pid` -> `id`
* `MutateParams` -> `MutateGovernor`
|
2022-05-06 17:09:08 +08:00 |
|
fanghr
|
be16b80459
|
get next proposal id from pnextProposalId
|
2022-05-06 17:09:07 +08:00 |
|
fanghr
|
731e714fc3
|
handle effects that mutate params of the governor
|
2022-05-06 17:09:07 +08:00 |
|
fanghr
|
de517fc144
|
add pisDJust util function
the counterpart of `pisJust`, for type `PMaybeData`
|
2022-05-06 17:09:06 +08:00 |
|
fanghr
|
f30ca26ea5
|
rename redeemer MutateDatum to MutateParams
|
2022-05-06 17:09:05 +08:00 |
|
fanghr
|
1e9ff7d8f4
|
handle proposal creation
* check proposal id
|
2022-05-06 17:09:05 +08:00 |
|
fanghr
|
99365a32ae
|
check that the datum nft always stays at the governor address
|
2022-05-06 17:09:04 +08:00 |
|
fanghr
|
b546fc9701
|
export PGovernorRedeemer
|
2022-05-06 17:09:03 +08:00 |
|
fanghr
|
c432a06d5e
|
add corresponding plutarch-level redeemer and datum
* lift them as well
|
2022-05-06 17:09:03 +08:00 |
|
fanghr
|
5ace88290d
|
modify GovernorRedeemer and Governor
* add `MutateDatum` redeemer
* add `datumNFT` to `Governor` so that we can identify the datum
* Lift `GovernorDatum` and `GovernorRedeemer`
|
2022-05-06 17:09:02 +08:00 |
|
Jack Hodgkinson
|
6aa4ed732a
|
Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests
|
2022-05-06 09:35:23 +01:00 |
|
Jack Hodgkinson
|
1ce89d3ac6
|
Merge pull request #72 from Liqwid-Labs/connor/validatorHashTokenName
`ValidatorHashToTokenName`
|
2022-05-06 09:15:17 +01:00 |
|
fanghr
|
32d6e74a8b
|
run linter
|
2022-05-06 14:18:16 +08:00 |
|
fanghr
|
3b21cadd26
|
add PlutusTX validatorHashToTokenName
|
2022-05-06 13:22:28 +08:00 |
|
Jack Hodgkinson
|
3d71a1195d
|
applied linting and formatting suggestions
|
2022-05-05 13:40:56 +01:00 |
|
Jack Hodgkinson
|
51ffd56203
|
finished first draft of treasury tests
|
2022-05-05 12:03:10 +01:00 |
|
Jack Hodgkinson
|
2c72372a69
|
Added treasury samples and tests
|
2022-05-04 17:06:26 +01:00 |
|
Jack Hodgkinson
|
9393a04fd5
|
Merge branch 'master' of github.com:Liqwid-Labs/agora into jhodgdev/treasury-tests
|
2022-05-03 12:49:23 +01:00 |
|
Emily
|
297b6a59ef
|
Merge pull request #59 from Liqwid-Labs/emiflake/proposal-impl
Proposal validator implementation
|
2022-04-29 16:39:59 +02:00 |
|
Jack Hodgkinson
|
f81deaf062
|
Reset progress on treasury testing; will continue without apropos
|
2022-04-29 15:23:08 +01:00 |
|
Jack Hodgkinson
|
af75c25cda
|
CekEvaluationError
|
2022-04-29 14:00:44 +01:00 |
|
Emily Martins
|
ea47bdddaf
|
fix formatting
fourmolu breaks weirdly on some spacing
|
2022-04-28 17:22:40 +02:00 |
|
Jack Hodgkinson
|
fdcd725901
|
finished morphisms
|
2022-04-28 16:14:35 +01:00 |
|
Emily Martins
|
9ccc481272
|
remove infinities in ProposalTime, fix test build
|
2022-04-28 17:00:19 +02:00 |
|
Emily Martins
|
ec835b48c9
|
remove pfindDatum', in favour of ptryFindDatum
|
2022-04-28 16:25:40 +02:00 |
|
Emily Martins
|
18622c76d2
|
apply suggestions
|
2022-04-28 16:21:16 +02:00 |
|
Jack Hodgkinson
|
5622a9d6db
|
Added doc to new Makefile function
|
2022-04-28 09:28:58 +01:00 |
|
Jack Hodgkinson
|
638d616e29
|
add hasktags function to Makefile
|
2022-04-28 09:27:03 +01:00 |
|
Emily Martins
|
bc90affbcd
|
add effect and votes shape check on proposalDatumValid
|
2022-04-27 15:18:07 +02:00 |
|
Emily Martins
|
731ef4e42c
|
be more consistent in use of "period", "state", etc wrt. proposals
- specify maximum cosigners requirement in spec.
- remove silly qualified names in Proposal impl.
|
2022-04-27 14:43:55 +02:00 |
|
Emily Martins
|
0ca97a645a
|
reduce use of unjustified punsafeCoerce
|
2022-04-27 12:55:37 +02:00 |
|
Emily Martins
|
4ec0013af4
|
add missing range checks
|
2022-04-27 12:55:37 +02:00 |
|
Emily Martins
|
e201351249
|
fix haddock errors
|
2022-04-27 12:55:37 +02:00 |
|
Emily Martins
|
82ce3ab717
|
move Stake to Scripts, fix tests
|
2022-04-27 12:55:37 +02:00 |
|
Emily Martins
|
33bf2facb1
|
remove TreasuryDatum, PTryFrom for PTreasuryRedeemer
|
2022-04-27 12:55:37 +02:00 |
|
Emily Martins
|
7f62b04268
|
reduce 'PTxInfo' passing to functions
|
2022-04-27 12:55:37 +02:00 |
|