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
Emily
6e15c69604
Merge pull request #105 from Liqwid-Labs/emiflake/git-policy-link
...
Add git policy link and update dead links in README.md/CONTRIBUTING.md
2022-05-27 21:24:44 +02:00
Emily Martins
f1a57ba8af
add links to git policy in README and CONTRIBUTING
...
Additionally, this commit links the README to CONTRIBUTING. I'd love to
get rid of "governance concepts" too. But I'll do that once the
"conceptual spec" has been reviewed.
2022-05-27 21:16:32 +02:00
Emily Martins
703fd895d3
update dead link to old ./docs directory
2022-05-27 21:16:32 +02:00
Emily
b57fb5cb3d
Merge pull request #104 from Liqwid-Labs/seungheonoh/newPlutarchCleanTree
...
Liqwid-Labs/Plutarch
2022-05-27 21:03:03 +02:00
Seungheon Oh
16b1f6ad4b
CI using deploy keys of plutarch-*
...
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
7a0f9e9a66
Use Liqwid-Labs/plutarch
...
- Removed `Utils.Value` -- not being used/better is provided with
liqwid-plutarch-extra
- uses `Liqwid-Labs/plutarch`
- uses `Liqwid-Labs/plutarch-numeric`
- uses `Liqwid-Labs/plutarch-safemoney`
- uses `Liqwid-Labs/liqwid-plutarch-extra`
2022-05-27 13:43:55 -05:00
Emily
b28bf9f59e
Merge pull request #102 from Liqwid-Labs/connor/bench-check
...
ci: check benchmark report is up-to-date
2022-05-27 11:28:43 +02:00
fanghr
404d5acad1
add check-bench workflow
2022-05-27 04:46:41 +08:00
fanghr
96bf20c853
add checks.x86_64-linux.benchCheck
2022-05-27 04:46:41 +08:00
fanghr
6ca172c4c1
add make subcommands to run and check bench
2022-05-27 04:46:39 +08:00
fanghr
d192379d3c
allow saving the bench report to an arbitrary location
2022-05-27 04:45:48 +08:00
SeungheonOh
4a3882d90f
Merge pull request #94 from Liqwid-Labs/seungheonoh/genericSpecInterface
...
Specs for benchmarking
2022-05-26 10:25:02 -05:00
Seungheon Oh
cd9325a688
bench update
2022-05-26 09:53:41 -05:00
Seungheon Oh
bf4098fd30
pretty printer
2022-05-26 09:50:48 -05:00
Seungheon Oh
12cec802a0
pretty print
2022-05-26 09:50:47 -05:00
Seungheon Oh
34caeab332
better queries
2022-05-26 09:50:47 -05:00
Seungheon Oh
6068ecded5
removed redundant codes
2022-05-26 09:50:47 -05:00
Seungheon Oh
005356b759
rename/temp print
2022-05-26 09:50:47 -05:00
Seungheon Oh
7a599ffa35
rename/docstrings
2022-05-26 09:50:47 -05:00
Seungheon Oh
7ee7d661ef
format
2022-05-26 09:50:46 -05:00
Seungheon Oh
29dc10bf36
CSV would be better than JSON
2022-05-26 09:50:46 -05:00
Seungheon Oh
35ba59c5d6
export benchmark to json
2022-05-26 09:50:46 -05:00
Seungheon Oh
5eebba1355
benchmarking
2022-05-26 09:50:46 -05:00
