4 Commits

Author	SHA1	Message	Date
Wetitpig	72fc89789f	Remove -Werror	2020-08-09 13:18:46 +08:00
Wetitpig	8b8c12722f	Don't use z3	2020-08-09 09:55:26 +08:00
Wetitpig	cb619351d1	Fix link to release	2020-08-09 09:39:37 +08:00
Wetitpig	db0e7a7e4b	Add solidity	2020-08-09 09:20:58 +08:00