Commit graph

392 commits

Author SHA1 Message Date
Hongrui Fang
b0e476a81c
fix delegatee auth check 2022-11-28 22:20:22 +08:00
Hongrui Fang
2b59923059
improve readability 2022-11-28 21:03:55 +08:00
Hongrui Fang
2c3a1c0363
fix a bug that makes using delegated and own stakes together unreliable 2022-11-25 21:12:51 +08:00
Hongrui Fang
cefc6740f0
fix bugs and vulnerabilities in premoveLocks 2022-11-24 21:06:59 +08:00
SeungheonOh
59fb5dc8ba
Merge branch 'staging' into seungheonoh/updatepse 2022-11-23 08:50:19 -06:00
Seungheon Oh
2969ef99c6 Update PSE 2022-11-22 17:55:16 -06:00
Hongrui Fang
74bb792624
fix docstrings
Co-authored-by: Emily Martins <emi@haskell.fyi>
2022-11-22 19:28:31 +08:00
Hongrui Fang
a462e6a3d3
implement cooldown period for stake unlocking 2022-11-21 18:04:35 +08:00
Hongrui Fang
01d0efc594
fix documentation; apply suggestions 2022-11-16 12:40:03 +08:00
Hongrui Fang
ce98183237
remove redundant imports 2022-11-16 12:36:30 +08:00
Hongrui Fang
a7520a522a
handle staking credential transparently 2022-11-16 12:36:28 +08:00
Hongrui Fang
e382461bf2
ensure votes changed in VotingReady while calling UnlockStakes 2022-11-16 12:36:27 +08:00
Hongrui Fang
30a44483a1
disallow calling UnlockStake without any stake inputs 2022-11-16 12:36:26 +08:00
Hongrui Fang
f9a1e3b87f
improve doc string and naming as suggested by auditors 2022-11-16 12:36:25 +08:00
Hongrui Fang
eacec0a10b
disallow delegatee to create and cosign proposals 2022-11-16 12:36:24 +08:00
Hongrui Fang
1a7d704497
prevent minting multiple into one UTxO; regression tests 2022-11-16 12:36:23 +08:00
Hongrui Fang
86bcc78553
fix leftover strict inequality check 2022-11-16 12:36:22 +08:00
方泓睿
d0b155d315
fix a typo
Co-authored-by: emiflake <emily@liqwid.finance>
2022-11-16 12:36:21 +08:00
Hongrui Fang
85e7c1dda0
make it possible for delegatee to vote with delegated and own stakes 2022-11-16 12:36:20 +08:00
Hongrui Fang
ec9f6d3425
tag assetclasses and currency symbols 2022-11-16 12:36:20 +08:00
adamczykm
dd33f60ed0
Implement governor mintint policy property tests. 2022-11-11 23:35:52 +08:00
adamczykm
5791e51739
Implement isGovernorDatumValid tests. 2022-11-11 23:35:51 +08:00
Hongrui Fang
6da4e7286d
fix compilation errors 2022-11-11 23:34:55 +08:00
Hongrui Fang
823ebc95a5
test that govenor will reject fake stakes 2022-11-02 00:48:11 +08:00
Hongrui Fang
b077dcc020
check governor redeemer while minting PST 2022-10-31 21:44:10 +08:00
Hongrui Fang
3059dbdb1c
filter SST by assetclass in governor 2022-10-31 21:32:06 +08:00
Hongrui Fang
5dca43f08d
add presolveStakeInputDatum 2022-10-31 21:32:04 +08:00
Emily Martins
ffd1c8c8ba apply formatting 2022-10-31 13:43:32 +01:00
Emily Martins
e9adfc6386 bump liqwid-nix to 1.1 2022-10-31 13:42:47 +01:00
Hongrui Fang
79ed5c6ca6
prevent minting SST while burning 2022-10-31 18:11:48 +08:00
Hongrui Fang
c671ea7fbf
improve efficiency of authorityTokenPolicy 2022-10-31 18:11:45 +08:00
colll78
323b2db0d3
disallow minting new GATs while burning
Co-authored-by: Hongrui Fang <chfanghr@gmail.com>
2022-10-29 07:57:29 +08:00
Hongrui Fang
46ff6023e6
fix typos 2022-10-28 23:55:18 +08:00
Hongrui Fang
b19faa7cfe
correctly handle proposal time 2022-10-28 23:55:17 +08:00
Hongrui Fang
4dbccbc996
make stake validator operate only on its own stakes 2022-10-28 23:55:17 +08:00
Hongrui Fang
3fef9d221c
make sure all stakes are burnt while destroying stakes 2022-10-28 23:55:16 +08:00
Hongrui Fang
cbab587604
better doc string for authorityTokensValidIn 2022-10-28 23:55:15 +08:00
Hongrui Fang
9aa8557183
rename proposal redeemer Unlock to UnlockStake 2022-10-28 23:55:14 +08:00
Hongrui Fang
3238335cdb
check thresholds inclusively 2022-10-28 23:55:13 +08:00
Hongrui Fang
6742e52030
remove redundant unlock check from stake policy 2022-10-26 22:15:01 +08:00
Hongrui Fang
eba25adbf7
tests for creating stakes 2022-10-26 22:14:58 +08:00
Hongrui Fang
f1166adc82
use lpe's AssetClass; fix errors 2022-10-25 18:46:42 +08:00
Seungheon Oh
f48591d03a renamed shared sample 2022-10-19 19:39:46 -05:00
Seungheon Oh
02ce2cfcaa expose AgoraScriptInfo 2022-10-18 21:54:34 -05:00
Seungheon Oh
2853f43475 PStakeRedeemerHandler doesn't have to be closed 2022-10-18 21:28:11 -05:00
Seungheon Oh
e25e55973f preparing for agora-pro 2022-10-18 20:50:05 -05:00
Seungheon Oh
ead3467d57 AgoraScriptInfo for linker informations 2022-10-18 19:36:55 -05:00
Seungheon Oh
d2018afd4d Use liqwid-script-export
commit ec70bfd539fe2e27fd48f5f76395400287ac72d7
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Tue Oct 18 18:58:59 2022 -0500

    use LSE

commit 25fff9b3ad1f2dde4cd7cf36977530b06a87d23c
Merge: 01cd3aa 1821dd6
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Tue Oct 18 18:17:45 2022 -0500

    Merge branch 'staging' into seungheonoh/ply

commit 01cd3aa7a235e6fe6658246ca1026fa26dc71a83
Author: Hongrui Fang <chfanghr@gmail.com>
Date:   Tue Oct 11 12:02:03 2022 +0800

    update benchmark

commit a8513244892ce33cfdc9edf8cd501c4985ae8008
Author: Hongrui Fang <chfanghr@gmail.com>
Date:   Tue Oct 11 11:59:22 2022 +0800

    fix tests

commit 20ca40823485c2e2f78253643cf4453ac7b7ddd5
Author: Hongrui Fang <chfanghr@gmail.com>
Date:   Tue Oct 11 11:57:37 2022 +0800

    better import

commit a19fe49424210891bd03db71e4083fc1e0edfd98
Author: Hongrui Fang <chfanghr@gmail.com>
Date:   Tue Oct 11 11:08:20 2022 +0800

    update flake inputs

commit c93b21f1f9441e5c6f54525bf7c6a54757ec36cc
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Mon Oct 10 12:54:12 2022 -0500

    tried to make tests pass

commit 1046ae1237299a33c58b48661bdb6d325a22147e
Merge: 2bf4e36 363bd83
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Mon Oct 10 12:18:48 2022 -0500

    Merge branch 'staging' into seungheonoh/ply

commit 2bf4e3627c1b229f58078695082da85c80efd560
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Mon Oct 10 10:48:36 2022 -0500

    remove junkpile

commit a1dbc9ad9e531fe0d0a0480c4aef9cf9ffa90f1d
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Mon Oct 10 10:47:25 2022 -0500

    versions

commit 4542a06ac733858297d3a48c53368fad19dedc43
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Thu Oct 6 22:57:48 2022 -0500

    script exporting interface

commit 6bd8c1a1d57e4bf9dc25c3068a9c8eae6bf6a19d
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Thu Oct 6 22:58:41 2022 -0500

    fixed tests

commit d3ce2cf95633d336f3e621833677bd5bf10ee2c8
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Sun Oct 2 00:55:18 2022 -0500

    fixed tests

commit 1ae64c9f692652b77b0506013853b2ba44267c65
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Sat Oct 1 13:28:20 2022 -0500

    linker

commit db88cb75c7b74843141ad8ab4e6522b66d0dcfbc
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Sat Oct 1 01:03:50 2022 -0500

    exporting scripts

commit 6389fce28e885a8a7f8669629c266f59c0edb51f
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Sat Oct 1 00:51:49 2022 -0500

    made scripts parameterized on the script level

commit aea1e518a8890550bdebd0e5251da11d915c53a9
Author: Seungheon Oh <seungheon.ooh@gmail.com>
Date:   Wed Sep 28 19:53:29 2022 -0500

    Use `TypedScriptEnvelope` for `Agora.Bootstrap`
2022-10-18 19:02:10 -05:00
Hongrui Fang
0ae1ad859a
allow multiple stakes to be burnt 2022-10-18 16:49:26 +08:00
Hongrui Fang
aad70a08fa prevent privilege escalation 2022-10-17 12:35:39 +02:00