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
SeungheonOh
cb9974324b
Merge pull request #109 from Liqwid-Labs/seungheonoh/pcbsetup
...
Made PQ and PCB available to Agora
2022-05-31 08:32:21 -05:00
Seungheon Oh
738fa26c0f
Made PQ and PCB available to Agora
...
* Added deploy key of PCB to Github workflow
* Added Nix inputs and made PQ and PCB to build.
2022-05-30 17:45:35 -05:00
SeungheonOh
bafd79fa8b
Merge pull request #108 from Liqwid-Labs/seungheonoh/restructure
...
Restructure
2022-05-30 13:37:07 -05:00
Seungheon Oh
b65bc5a20d
Restructure
...
`agora-spec` and `agora-spec` is merged to be `agora-specs`;
`agora-testlib` contains what previously was `Spec.Specification`.
2022-05-30 13:30:25 -05:00
方泓睿
e3031ed0aa
Merge pull request #100 from Liqwid-Labs/connor/advance-proposals
...
Advance proposals
2022-05-31 00:37:34 +08:00
fanghr
4c97341acf
fix winner outcome selection logic and timing
2022-05-30 23:54:51 +08:00
fanghr
042c18a382
add tests and samples of advancing proposals
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
Emily
d03a3a5c00
Merge pull request #107 from Liqwid-Labs/seungheonoh/recordToExtra
...
Moved `Agora.Record` to `Plutarch.Extra.Record`
2022-05-30 16:16:29 +02: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
方泓睿
340946495c
Merge pull request #106 from Liqwid-Labs/connor/run-tests
...
Run tests in CI
2022-05-30 16:16:13 +08:00
fanghr
2853eb3a00
run tests in CI
2022-05-28 23:53:47 +08:00
