15 Commits

Author	SHA1	Message	Date
collin	52810588ff	refactor modules and make function names more clear	2020-10-26 23:42:01 -07:00
collin	b28cbc7680	remove unused errors, add tests for new errors	2020-10-26 20:02:44 -07:00
collin	c4a7e36623	add new dynamic check errors and tests for tuples and arrays	2020-10-26 19:13:37 -07:00
collin	d3125a0f9f	add new dynamic check errors and tests for variables	2020-10-26 18:41:51 -07:00
collin	b6d0f9daca	fix static and dynamic check test runners	2020-10-26 16:46:11 -07:00
collin	09d86576ea	add import parsing to first pass of static check	2020-10-26 15:51:46 -07:00
collin	dbade1f4fe	fix mismatched types test	2020-10-23 17:00:11 -07:00
collin	3331ee77c4	impl dynamic check circuits	2020-10-22 22:31:07 -07:00
collin	d41e6779c7	impl dynamic check function and circuit lookups	2020-10-22 15:36:35 -07:00
collin	ff62d9db7e	impl dynamic check solving for equality checks	2020-10-22 12:40:35 -07:00
collin	0702e1f92f	update type assertions for new types	2020-10-14 17:10:51 -07:00
collin	a9b16cfaa8	update symbol table tests	2020-10-14 16:37:19 -07:00
collin	cc6cf4e6a5	add new dynamic check protocol	2020-10-13 09:06:52 -07:00
collin	d29d01f4ff	move types into new static-check module	2020-10-12 12:32:29 -07:00
collin	effdfc7628	add leo dynamic check module	2020-10-06 17:20:51 -07:00