collin 74b346f3e6 remove deprecated names from comments and variables		2020-11-11 12:47:54 -08:00
..
errors	Add license header	2020-08-18 03:50:26 -07:00
local_data_commitment	remove deprecated names from comments and variables	2020-11-11 12:47:54 -08:00
record_commitment	remove deprecated names from comments and variables	2020-11-11 12:47:54 -08:00
utilities	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
lib.rs	clippy: allow module_inception	2020-10-05 17:18:25 +02:00