Commit graph

635 commits

Author SHA1 Message Date
Hongrui Fang
ff4f6aadb4 use LF as record separator in bench.csv 2022-06-22 00:14:37 +08:00
方泓睿
25686e9645 Merge pull request #110 from Liqwid-Labs/connor/retract-votes
Retract votes
2022-06-20 21:54:13 +08:00
Hongrui Fang
1508bcb5b9 improve readability of test code 2022-06-20 21:49:39 +08:00
Hongrui Fang
fb061de36b use PCB to simplify samples 2022-06-20 21:19:38 +08:00
Hongrui Fang
2f46594fe7 fix some typo 2022-06-20 18:55:46 +08:00
Hongrui Fang
dd2fae059f forgot to remove some upstreamed utils for some reason :) 2022-06-20 18:55:44 +08:00
Hongrui Fang
36a558bf30 allow multiple proposals in the samples of unlocking stake 2022-06-20 18:54:44 +08:00
fanghr
76a9cf79ba apply Emily's suggestions 2022-06-20 18:45:56 +08:00
fanghr
8f9d9521c2 add samples and tests for unlocking stakes 2022-06-20 18:45:05 +08:00
fanghr
9b88d5c099 add validation logic for unlocking stakes 2022-06-20 18:38:27 +08:00
fanghr
13dff0db43 share stake check code among redeemers 2022-06-20 18:37:07 +08:00
Emily
e745a051ce Merge pull request #115 from Liqwid-Labs/seungheonoh/govSamplesToPCB
Samples to PCB
2022-06-17 23:12:23 +02:00
Seungheon Oh
a8699bf992 Remove either error id pattern in Samples 2022-06-17 14:29:00 -05:00
Seungheon Oh
071a6ca7cc governorDatumValid property 2022-06-17 13:39:18 -05:00
Seungheon Oh
e037f3f5f0 Moved samples to PCB
* Cleaner imports
2022-06-17 12:35:33 -05:00
方泓睿
2d9bf1733e Merge pull request #118 from Liqwid-Labs/connor/use-upstreamed-utils
Use upstreamed utilities
2022-06-17 21:24:41 +08:00
Hongrui Fang
adcf6e6347 update benchmark 2022-06-17 21:17:49 +08:00
Hongrui Fang
448e9e2c1d fix the broken test case 2022-06-17 21:16:29 +08:00
Hongrui Fang
12ab066e23 remove upstreamed utils; fix compilation errors 2022-06-17 21:16:29 +08:00
Hongrui Fang
2aa891d53f remove plutarch-extra from build dependencies 2022-06-17 21:16:29 +08:00
Hongrui Fang
f31305929e bump liqwid-plutarch-extra and plutarch-safe-money 2022-06-17 21:16:26 +08:00
Emily
25f7f58880 Merge pull request #120 from Liqwid-Labs/seungheonoh/renameProposalThreshold
`countingVote`,`create`,`startVoting` to `execute`,`create`,`vote`
2022-06-16 20:49:02 +02:00
Seungheon Oh
8e9dd16613 countingVote,create,startVoting to execute,create,vote
Let's embrace consistancy between Haskell types and Plutarch types.
2022-06-16 13:28:55 -05:00
Emily
014ef050d2 Merge pull request #117 from Liqwid-Labs/connor/fix-ci
Fix ci doesn't run on `main` branch; reference to dependent repos normally
2022-06-16 18:20:05 +02:00
Hongrui Fang
7742f05f86 update flake lock 2022-06-16 23:48:54 +08:00
Hongrui Fang
ac7cba9825 don't need to add ssh key in ci workflow anymore 2022-06-16 23:48:54 +08:00
Hongrui Fang
ae55ebba5e reference dependent repos without ssh in flake 2022-06-16 23:48:54 +08:00
Hongrui Fang
b44681f77f correct branch name: master -> main 2022-06-16 23:48:54 +08:00
方泓睿
0cc5684482 Merge pull request #116 from Liqwid-Labs/connor/export-scripts-rev
Include revision information in `agora-scripts.json`
2022-06-16 20:56:25 +08:00
Hongrui Fang
ca9ce08fa1 update scripts 2022-06-16 20:50:24 +08:00
Hongrui Fang
eea5910359 add command make scripts 2022-06-16 20:50:23 +08:00
Hongrui Fang
980e17a53d export commit hash/branch along side with scripts 2022-06-16 20:50:18 +08:00
Emily
fe088c2d55 Merge pull request #119 from Liqwid-Labs/nini-faroux/update-scripts
Update scripts
2022-06-16 13:00:41 +02:00
nini-faroux
8392659288 Add new scripts 2022-06-15 11:03:29 +00:00
nini-faroux
d597aee8b2 Add new UTXO parameter 2022-06-15 11:03:04 +00:00
Emily
7b65700b4b Merge pull request #113 from Liqwid-Labs/emiflake/update-fix-docs
Bump plutarch
2022-06-04 12:51:27 +02:00
Emily Martins
4a76447336 flake: use main/staging for various Liqwid libs after PR merges 2022-06-04 00:04:46 +02:00
Emily Martins
b05550a41d flake: simplify flake.nix 2022-06-03 23:52:41 +02:00
Emily Martins
2818c36e98 flake: allow building on M1 2022-06-03 23:38:29 +02:00
Emily Martins
5049441dfc flake: bump plutarch, fix resulting issues
Collection of things fixed:
- `agora-test`: Fix compile resulting from some changes to hackage.
- `agora-benchmark`: Switched to `plutarch`-style `evalScript`.
- CI: Ported over new flake changes.

This is quite a mess.
2022-06-03 23:23:00 +02:00
Emily Martins
0348f72499 add and fix haddock doc comments 2022-06-02 16:28:14 +02:00
Emily Martins
721c632b34 update dead link in docs/README.md 2022-06-02 16:28:14 +02:00
SeungheonOh
744ad97830 Merge pull request #112 from Liqwid-Labs/seungheonoh/deprecateApropos
Deprecate Apropos
2022-06-02 06:05:59 -05:00
Seungheon Oh
632ac6dc47 Use native expected function 2022-06-01 12:28:21 -05:00
Seungheon Oh
00bc19bf80 added Docstrings
Emily's suggestions
2022-06-01 10:35:39 -05:00
SeungheonOh
9b95e61400 Merge branch 'main' into seungheonoh/deprecateApropos 2022-06-01 09:11:48 -05:00
Jack Hodgkinson
d3e45b1c1f Added agora targets variable to Makefile 2022-06-01 09:07:31 +01:00
Jack Hodgkinson
c7aa59b514 Updated tag command in Makefile 2022-06-01 09:07:31 +01:00
Seungheon Oh
339dad0165 Removed Apropos 2022-05-31 12:32:12 -05:00
Seungheon Oh
8c312a46bd Replaced Apropos Property testing with PQ and PCB for MultiSig 2022-05-31 12:09:19 -05:00