6 Commits (082e618a38219ddf0a5c00dea70259bc047c1ba5)

Author	SHA1	Message	Date
Septs	eaf626ce53	move diagnosis of proof to subdirectory	2021-10-04 12:57:44 +08:00
Septs	8bb61b7fd1	update srs directory	2021-09-07 09:14:13 +08:00
saeziae	3afbe3a555	Revert "refactor: srs (#128)" ... This reverts commit ab4bef1535.	2021-09-01 23:00:13 +08:00
septs	ab4bef1535	refactor: srs (#128)	2021-09-01 16:28:28 +08:00
Septs	8c5267e775	refactor: format script (#112)	2021-08-27 12:24:31 +08:00
Septs	64f55513ab	formatting ... Signed-off-by: Septs <github@septs.pw>	2021-08-22 10:58:38 +08:00