5 Commits

Include renames

Author	SHA1	Message	Date
nolash	be175dc8d3	Remove useless proofs from set function in contract	2021-11-15 14:46:56 +01:00
nolash	732466de27	Rehabilitate tests	2021-11-13 07:13:27 +01:00
nolash	4bb9c6a515	Add verify declarator hashes for registry	2021-10-07 08:11:21 +02:00
nolash	7b7e24a7cb	Add contract registry	2021-10-06 12:18:00 +02:00
nolash	df3a86eb26	Initial commit	2021-10-04 16:32:39 +02:00