28 Commits

Author	SHA1	Message	Date
collin	665cb3f466	use copy on write data structure for array type flatten method	2020-10-27 17:32:00 -07:00
collin	1779bb04e0	Prefer manual Eq impl	2020-10-27 16:56:47 -07:00
collin	1ef9b33dec	Prefer manual PartialEq and Hash impls to save space	2020-10-27 16:47:28 -07:00
collin	085d59e67a	Batch changes for static check module 1	2020-10-27 14:27:18 -07:00
collin	f0a2e8298a	fix compilation errors	2020-10-27 12:22:07 -07:00
collin	46f585e2ff	refactor compiler methods	2020-10-27 00:31:36 -07:00
collin	52810588ff	refactor modules and make function names more clear	2020-10-26 23:42:01 -07:00
collin	fe79cfcf71	merge master	2020-10-26 22:05:03 -07:00
collin	b6d0f9daca	fix static and dynamic check test runners	2020-10-26 16:46:11 -07:00
collin	020773fb2a	impl dynamic checks for imports. all tests pass	2020-10-26 16:05:02 -07:00
collin	09d86576ea	add import parsing to first pass of static check	2020-10-26 15:51:46 -07:00
collin	d5bc0d2b7f	make type variables more unique	2020-10-26 13:31:34 -07:00
collin	b3c140d5bb	fix array function input bug	2020-10-26 13:14:36 -07:00
collin	9933b8e336	impl dynamic checks for core packages	2020-10-26 12:24:24 -07:00
collin	54bf6ca42d	load program input type into symbol table	2020-10-24 23:57:38 -07:00
collin	17a65fe54a	add dynamic check errors for circuits 3	2020-10-24 19:27:30 -07:00
collin	40d26dce7f	refactor type assertion solving	2020-10-24 00:51:04 -07:00
collin	8e75e36532	manually impl PartialEq for array types	2020-10-23 21:54:19 -07:00
collin	3331ee77c4	impl dynamic check circuits	2020-10-22 22:31:07 -07:00
collin	ff62d9db7e	impl dynamic check solving for equality checks	2020-10-22 12:40:35 -07:00
collin	d8fd17fb41	impl dynamic checker set membership type assertions	2020-10-19 17:18:31 -07:00
collin	8f34904fdc	fix resolver errors wip 2	2020-10-15 19:57:26 -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	3221615f51	fix stack check error naming	2020-10-14 16:27:55 -07:00
collin	de6f6ae7ae	add variable table to function body	2020-10-14 15:12:55 -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