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
Seungheon Oh
7195b1730f
emacs backups are sneaking into commits
2022-05-26 09:50:46 -05:00
Seungheon Oh
f880699809
agora-spec made independent from agora-test
2022-05-26 09:50:46 -05:00
Seungheon Oh
c84a7559ac
forgot one file
2022-05-26 09:50:45 -05:00
Seungheon Oh
4b56edb25c
Specs use generalized format so that it can be used for benchmarking
2022-05-26 09:50:43 -05:00
Emily
efca275f29
Merge pull request #98 from Liqwid-Labs/emiflake/relink-docs-to-notion
...
relink all tech-design docs to Notion
2022-05-26 11:57:32 +02:00
Emily Martins
bc382eab43
relink all tech-design docs to Notion
2022-05-26 11:57:09 +02:00
方泓睿
4c3f48bae0
Merge pull request #97 from Liqwid-Labs/connor/bridge-update
...
Update purescript bridge
2022-05-26 16:02:23 +08:00
方泓睿
5d6d207e76
Merge branch 'main' into connor/bridge-update
2022-05-26 15:58:40 +08:00
Emily
dbfff95bfa
Merge pull request #93 from Liqwid-Labs/connor/proposal-timing-conf
...
Proposal Timings
2022-05-26 09:48:19 +02:00
fanghr
7b3fd9b076
update purescript bridge
2022-05-25 21:43:07 +08:00
fanghr
abe1d950bf
make 'PProposalTime' scott-encoded
2022-05-25 21:36:56 +08:00
fanghr
6f9de51541
apply Emily's suggestions
...
* add `PMaxTimeRangeWidth`
* several `Default` instances for testing
* a bunch of docstrings
* fix the tests/samples
2022-05-25 21:07:09 +08:00
fanghr
c6c93f587a
fix broken tests/samples
2022-05-25 20:08:45 +08:00
fanghr
9bc2acb9ca
calculate the starting time of a proposal upon creation
2022-05-25 20:08:45 +08:00
fanghr
2820831dad
add createProposalStartingTime to compute the starting time of proposals
2022-05-25 20:08:44 +08:00
