7 Commits

Author	SHA1	Message	Date
collin	a8c5885836	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
collin	7e7d1e58a0	rename typed -> core-ast 2	2020-10-30 11:48:40 -07:00
howardwu	859ef54f24	Mark test ignore	2020-08-21 03:28:44 -07:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
collin	9b5d14970d	use system parameters struct	2020-08-12 19:15:55 -07:00
collin	4f3722033a	add verify_local_data_commitment test	2020-08-12 19:04:41 -07:00
collin	61bafc96a9	add verify_record_commitment test	2020-08-12 15:35:32 -07:00