Commit graph

804 commits

Author SHA1 Message Date
Hongrui Fang
f0a8ee6d84 make use of LPE's time module 2022-09-13 20:24:30 +08:00
Hongrui Fang
3e7916ba58 fix tests 2022-09-13 20:24:29 +08:00
Hongrui Fang
f6b36abfc6 derive list encoded types with PlutusTypeDataList 2022-09-13 20:24:28 +08:00
Hongrui Fang
b2aefbe502 witnessing stakes in reference inputs 2022-09-13 20:24:27 +08:00
Hongrui Fang
ce787fe19c bump plutarch/LPE/PCB; point plutarch to master branch 2022-09-13 20:24:20 +08:00
Hongrui Fang
00a3931df8 pattern match on PGovernorRedeemer directly 2022-09-06 21:23:01 +08:00
Hongrui Fang
139f8add30 clean up proposal output validation 2022-09-06 21:23:00 +08:00
Hongrui Fang
759c6a0aa5 restructure stake validator 2022-09-06 21:22:59 +08:00
emiflake
19a241c2d8 Merge pull request #170 from Liqwid-Labs/bencross/treasurywithdrawal
Add treasury withdrawal effect to scripts API
2022-09-02 18:03:21 +02:00
Ben Cross
36c9c0b2a9 Formatting 2022-09-02 15:59:16 +02:00
Ben Cross
177fef8a25 Add the effect validator to the API 2022-09-02 15:58:58 +02:00
emiflake
f1236b7492 Merge pull request #171 from Liqwid-Labs/emiflake/fix-treasury
fix treasury implementation and tests
2022-09-01 21:21:26 +02:00
Emily Martins
92ea81f0cd fix treasury implementation and tests 2022-09-01 20:45:42 +02:00
emiflake
8fbd6b9343 Merge pull request #169 from Liqwid-Labs/seungheonoh/standards
add link to new standards in notion
2022-09-01 14:45:38 +02:00
SeungheonOh
c8c740b6a5 Update CONTRIBUTING.md 2022-08-31 18:18:32 -05:00
Seungheon Oh
5f28e2884b add link to new standards in notion 2022-08-31 18:02:12 -05:00
emiflake
46bd23aff3 Merge pull request #167 from Liqwid-Labs/emiflake/expose-tracing-options
Expose trace options in `agora-scripts` executable.
2022-08-30 20:12:39 +02:00
Emily Martins
bf67d74258 allow disabling tracing in script export 2022-08-30 19:09:46 +02:00
emiflake
dcd3277966 Merge pull request #166 from Liqwid-Labs/emiflake/optimizations
Optimize AdvanceProposal
2022-08-30 16:41:20 +02:00
Emily Martins
aba96ce1ec prevent stake inclusion in AdvanceProposal 2022-08-30 15:59:45 +02:00
Emily Martins
13cc75c401 reorder and inline plets 2022-08-30 12:38:56 +02:00
Emily Martins
42f74f3d37 apply suggestions
Rename `PVoting` -> `PVotingReady` to match Haskell-level
2022-08-30 12:31:29 +02:00
Emily Martins
baf209843a remove stake checking in more places 2022-08-30 11:59:40 +02:00
Emily Martins
6a86a096db proposal advancing simplified 2022-08-30 11:58:52 +02:00
emiflake
ee63010ffd Merge pull request #164 from Liqwid-Labs/connor/sorted-votes
Type safe sorted votes/effects
2022-08-26 17:06:55 +02:00
Hongrui Fang
adcf927607 type safe sorted votes/effects 2022-08-26 22:10:46 +08:00
emiflake
f6b3b44336 Merge pull request #163 from Liqwid-Labs/connor/unique-resulttags
Ensure the uniqueness of `ResultTag`
2022-08-25 15:58:46 +02:00
Hongrui Fang
7cdf0e2fc0 ensure the uniqueness of ResultTag 2022-08-25 20:42:57 +08:00
emiflake
a27af0b58a Merge pull request #162 from Liqwid-Labs/emiflake/kind-sigs
Add kind signatures where missing.
2022-08-24 19:21:44 +02:00
Emily Martins
e7f14b1d44 infer system for make ci 2022-08-24 18:33:38 +02:00
Emily Martins
59e2fc5a85 ensure make ci is consistent with system
Sadly I can't see of a way to pass your current system to `nix build`.
So, let's just support x86 64-bit Linux and tell the user how to
use `nix build` directly.
2022-08-24 17:23:41 +02:00
Emily Martins
342ea6a60b add kind signatures to all agora decls 2022-08-24 17:08:19 +02:00
emiflake
3317fa3529 Merge pull request #161 from Liqwid-Labs/emiflake/auth-check-support
AuthCheck token name instead of effect validator
2022-08-23 17:01:16 +02:00
Emily Martins
8ac30c9bdf apply @chfanghr's suggestions 2022-08-23 15:58:58 +02:00
Emily Martins
4eb2b3ebbd update CHANGELOG 2022-08-23 12:37:24 +02:00
Emily Martins
6b8efdc364 auth check tokens instead of effect validator 2022-08-23 12:34:24 +02:00
emiflake
b6f5574285 Merge pull request #160 from Liqwid-Labs/emiflake/cleanup
Clean up imports and haddock comments
2022-08-18 19:35:42 +02:00
Emily Martins
da9e60d34c add docstring for PProposalEffectGroup 2022-08-18 18:48:38 +02:00
Emily Martins
2f1e04b4f7 explicit imports for core agora modules 2022-08-18 16:52:53 +02:00
Emily Martins
b32ae8ca57 add changelog entry for Credential change 2022-08-18 16:11:28 +02:00
emiflake
968cf337cc Merge pull request #159 from Liqwid-Labs/connor/bump-stuff
Use latest version of Plutarch; Use upstreamed LPE utilities; Clean up some import/export lists
2022-08-18 16:09:39 +02:00
Hongrui Fang
fb1c1cada6 update benchmark 2022-08-18 00:20:26 +08:00
Hongrui Fang
03a1e550d0 use utils from LPE 2022-08-18 00:20:25 +08:00
Hongrui Fang
48fa641511 clean up import/export lists 2022-08-18 00:20:24 +08:00
Hongrui Fang
8588bc4db5 bump plutarch and LPE 2022-08-18 00:20:06 +08:00
emiflake
8f1c667107 Merge pull request #158 from Liqwid-Labs/emiflake/credential
use Credential instead of PubKeyHash everywhere
2022-08-17 11:40:21 +02:00
Emily Martins
584539feb9 fix docs for Agora.Credential module 2022-08-17 11:00:26 +02:00
Emily Martins
f730998326 use Credential instead of PubKeyHash everywhere 2022-08-17 11:00:24 +02:00
方泓睿
367a630cef Merge pull request #157 from Liqwid-Labs/connor/effect-ref-script
Store `ScriptHash`es in the effects
2022-08-17 12:52:37 +08:00
Hongrui Fang
1a62d7c4b7 test new functionalities in proposal advancements 2022-08-17 12:26:55 +08:00