Emily Martins
8e71ecbdfd
add and fix haddock doc comments
2022-06-02 16:28:14 +02:00
Emily Martins
5edd4d4ef1
update dead link in docs/README.md
2022-06-02 16:28:14 +02:00
SeungheonOh
d661abee77
Merge pull request #112 from Liqwid-Labs/seungheonoh/deprecateApropos
...
Deprecate Apropos
2022-06-02 06:05:59 -05:00
Seungheon Oh
3ad50b218b
Use native expected function
2022-06-01 12:28:21 -05:00
Seungheon Oh
af1a540b55
added Docstrings
...
Emily's suggestions
2022-06-01 10:35:39 -05:00
SeungheonOh
a537df0ae0
Merge branch 'main' into seungheonoh/deprecateApropos
2022-06-01 09:11:48 -05:00
Jack Hodgkinson
60ce8fd24a
Added agora targets variable to Makefile
2022-06-01 09:07:31 +01:00
Jack Hodgkinson
3d4a3df342
Updated tag command in Makefile
2022-06-01 09:07:31 +01:00
Seungheon Oh
c260254cae
Removed Apropos
2022-05-31 12:32:12 -05:00
Seungheon Oh
fa5bb7eec2
Replaced Apropos Property testing with PQ and PCB for MultiSig
2022-05-31 12:09:19 -05:00
SeungheonOh
9a44550c2d
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
5d32184245
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
f9b7994fdc
Merge pull request #108 from Liqwid-Labs/seungheonoh/restructure
...
Restructure
2022-05-30 13:37:07 -05:00
Seungheon Oh
b1a323afaa
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
方泓睿
55b0669d41
Merge pull request #100 from Liqwid-Labs/connor/advance-proposals
...
Advance proposals
2022-05-31 00:37:34 +08:00
fanghr
5326b4cb81
fix winner outcome selection logic and timing
2022-05-30 23:54:51 +08:00
fanghr
70d3c01af4
add tests and samples of advancing proposals
2022-05-30 23:54:51 +08:00
fanghr
039fa36620
implement logic to advance proposals
2022-05-30 23:54:48 +08:00
fanghr
b01b48497c
add pwinner to find the winning outcome
2022-05-30 23:54:03 +08:00
Emily
8231d1b079
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
20e4f56e10
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
方泓睿
6116fe0bb3
Merge pull request #106 from Liqwid-Labs/connor/run-tests
...
Run tests in CI
2022-05-30 16:16:13 +08:00
fanghr
5cfd28d2af
run tests in CI
2022-05-28 23:53:47 +08:00
Emily
9c93fa4c1c
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
a3d0d95610
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
183ae4fc01
update dead link to old ./docs directory
2022-05-27 21:16:32 +02:00
Emily
45095ffc8a
Merge pull request #104 from Liqwid-Labs/seungheonoh/newPlutarchCleanTree
...
Liqwid-Labs/Plutarch
2022-05-27 21:03:03 +02:00
Seungheon Oh
d7a235f010
CI using deploy keys of plutarch-*
...
Simplified workflow using `strategy.matrix`
2022-05-27 13:54:33 -05:00
Seungheon Oh
55defea912
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
eae430b7d9
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
bdc887b6f6
add check-bench workflow
2022-05-27 04:46:41 +08:00
fanghr
ab60e7701d
add checks.x86_64-linux.benchCheck
2022-05-27 04:46:41 +08:00
fanghr
60b9819fea
add make subcommands to run and check bench
2022-05-27 04:46:39 +08:00
fanghr
bbc9953b9a
allow saving the bench report to an arbitrary location
2022-05-27 04:45:48 +08:00
SeungheonOh
ae91b9157b
Merge pull request #94 from Liqwid-Labs/seungheonoh/genericSpecInterface
...
Specs for benchmarking
2022-05-26 10:25:02 -05:00
Seungheon Oh
53e48843c9
bench update
2022-05-26 09:53:41 -05:00
Seungheon Oh
35d758fcde
pretty printer
2022-05-26 09:50:48 -05:00
Seungheon Oh
7457c6334b
pretty print
2022-05-26 09:50:47 -05:00
Seungheon Oh
15d58323a9
better queries
2022-05-26 09:50:47 -05:00
Seungheon Oh
cde96df6a3
removed redundant codes
2022-05-26 09:50:47 -05:00
Seungheon Oh
32f6db5a66
rename/temp print
2022-05-26 09:50:47 -05:00
Seungheon Oh
fa77b809b8
rename/docstrings
2022-05-26 09:50:47 -05:00
Seungheon Oh
e84b67306c
format
2022-05-26 09:50:46 -05:00
Seungheon Oh
a74a98c206
CSV would be better than JSON
2022-05-26 09:50:46 -05:00
Seungheon Oh
ad957d6b02
export benchmark to json
2022-05-26 09:50:46 -05:00
Seungheon Oh
5c438f0062
benchmarking
2022-05-26 09:50:46 -05:00
Seungheon Oh
eda12644e5
emacs backups are sneaking into commits
2022-05-26 09:50:46 -05:00
Seungheon Oh
424ad15894
agora-spec made independent from agora-test
2022-05-26 09:50:46 -05:00
Seungheon Oh
16115d54e6
forgot one file
2022-05-26 09:50:45 -05:00
Seungheon Oh
ff91432a68
Specs use generalized format so that it can be used for benchmarking
2022-05-26 09:50:43 -05:00
