agora

Author	SHA1	Message	Date
Hongrui Fang	5ee084308b	remove redundant `import Prelude`	2022-10-12 00:15:36 +08:00
Seungheon Oh	662540e619	remove `Agora.MultiSig`	2022-08-03 23:42:21 +08:00
Seungheon Oh	071a6ca7cc	`governorDatumValid` property	2022-06-17 13:39:18 -05:00
Seungheon Oh	8c312a46bd	Replaced Apropos Property testing with PQ and PCB for MultiSig	2022-05-31 12:09:19 -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
Seungheon Oh	7a599ffa35	rename/docstrings	2022-05-26 09:50:47 -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
fanghr	526ca67747	add templates of tests and samples	2022-05-17 20:54:17 +08:00
fanghr	cd6b6a4acc	add tests for 'pnubSort' and 'pisUniq'	2022-05-16 20:38:21 +08:00
fanghr	0f36d649c6	merge #74 ; add sample and spec of the governor	2022-05-12 20:01:32 +08:00
fanghr	f2d30250da	Merge branch 'master' into connor/governor	2022-05-11 17:40:38 +08:00
Jack Hodgkinson	7572bb4da2	Added review changes	2022-05-06 10:36:21 +01:00
fanghr	63c87667c3	add templates for samples and tests of governor	2022-05-06 17:11:07 +08:00
Jack Hodgkinson	2c72372a69	Added treasury samples and tests	2022-05-04 17:06:26 +01:00
Jack Hodgkinson	f81deaf062	Reset progress on treasury testing; will continue without apropos	2022-04-29 15:23:08 +01:00
Jack Hodgkinson	af75c25cda	CekEvaluationError	2022-04-29 14:00:44 +01:00
Emily Martins	862e9b6079	add proposalCreation Sample test	2022-04-27 12:53:53 +02:00
Seungheon Oh	df8baf4f4f	Yeah! Treasury Withdrawal Effect works with good tests	2022-04-21 19:02:10 -05:00
Seungheon Oh	0d99e36541	Restructured Testings Separated the samples and test sets	2022-04-21 16:44:59 -05:00
Emily Martins	956dbb4b53	add tests for authority token function 'singleAuthorityTokenBurned'	2022-04-20 20:26:32 +02:00
Jack Hodgkinson	0e628d0144	more work on treasury testing!	2022-04-12 13:44:05 +01:00
Emily Martins	449dd3f87e	fix docs, hlint errors	2022-03-28 14:59:53 +02:00
Emily Martins	4feaaf1e06	more docs	2022-03-24 16:09:39 +01:00
Emily Martins	3f642daaf1	remove Int apropos-tx example, move Model.* to Spec.Model.*	2022-03-21 15:39:38 +01:00
Emily Martins	93acd81e79	add HasParameterisedGenerator and wire tests up	2022-03-18 15:23:07 +01:00
Emily Martins	a2ea0a46f5	WIP simple sample test for Stake policy	2022-03-09 22:00:02 +01:00
Emily Martins	9aa5f5b1a3	apropos-tx setup	2022-03-09 19:32:13 +01:00

27 commits