1327 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
collin	22d6c98c77	add dynamic check errors for functions	2020-10-24 16:50:07 -07:00
collin	e19616b4e5	add dynamic check errors for circuits 2	2020-10-24 13:07:27 -07:00
collin	973e2a6afc	add dynamic check errors for circuits 1	2020-10-24 02:53:09 -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	d55bd0d2af	enforce order on solving type assertions	2020-10-23 17:59:34 -07:00
collin	f2a808cbe7	impl membership type assertion error handling	2020-10-23 17:31:41 -07:00
collin	dbade1f4fe	fix mismatched types test	2020-10-23 17:00:11 -07:00
collin	4aab804148	add type variable for implicit addresses	2020-10-23 15:52:43 -07:00
collin	f1490a994b	impl dynamic check errors	2020-10-23 15:23:48 -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	31ace3168f	handle console function call statement	2020-10-21 20:59:25 -07:00
collin	e5015ccce7	impl dynamic checker iteration statement	2020-10-21 20:50:14 -07:00
collin	cfb5e1b5f7	impl dynamic checker conditional statement	2020-10-21 20:15:08 -07:00
collin	71d3969ac5	impl dynamic checker expression statement	2020-10-21 16:13:52 -07:00
collin	07a17e2846	impl dynamic checker assign statement wip	2020-10-20 20:36:15 -07:00
collin	f30f615655	impl dynamic checker definition statements	2020-10-20 13:14:16 -07:00
collin	d8fd17fb41	impl dynamic checker set membership type assertions	2020-10-19 17:18:31 -07:00
collin	65437d3c05	dynamic check parse circuit and circuit access expressions	2020-10-19 16:03:45 -07:00
collin	22bc891172	dynamic check parse array access expressions	2020-10-19 14:11:39 -07:00
collin	0c6a72c35f	dynamic check parse tuple expressions	2020-10-19 12:38:14 -07:00
collin	a8967298ea	dynamic check parse array expressions	2020-10-19 10:46:10 -07:00
collin	d8075c14e2	add scope for loop and non-loop variables	2020-10-19 01:40:36 -07:00
collin	e50029c466	fix errors, focus on dynamic checks	2020-10-18 23:53:37 -07:00
collin	8de889ada5	impl expression operations logical and relational	2020-10-17 18:48:20 -07:00
collin	154fa45b4d	impl expression operations	2020-10-17 16:47:33 -07:00
collin	42a892480a	impl definition statements 2	2020-10-16 14:39:39 -07:00
collin	1849a5ddcc	impl definition statements 1	2020-10-16 14:15:53 -07:00
collin	43bcc2b210	pass type to expressions	2020-10-16 12:33:46 -07:00
collin	3acb8b9f65	pass function body to statements	2020-10-16 10:52:55 -07:00
collin	13d3a78659	use variable table in expressions 1	2020-10-15 22:30:05 -07:00
collin	f1a692e8d5	fix resolver errors 3 final	2020-10-15 20:20:02 -07:00
collin	8f34904fdc	fix resolver errors wip 2	2020-10-15 19:57:26 -07:00
collin	323992696c	use typed assignee access	2020-10-15 18:11:39 -07:00
collin	3bd6d2e6b6	use simpler assignee access in leo typed	2020-10-15 18:04:58 -07:00
collin	a4dab9594d	fix resolver errors wip	2020-10-15 17:58:56 -07:00
collin	5edbcf0e05	add work from resolver branch	2020-10-15 17:06:34 -07:00
collin	5188d3b6b4	parse conditional expression types	2020-10-14 18:34:43 -07:00
collin	6e8170a58f	parse expression types for operations	2020-10-14 18:11: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	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
collin	e0750158f5	add type variable	2020-10-12 11:33:42 -07:00
collin	a66cc3afda	deprecate resolved node trait	2020-10-11 12:56:01 -07:00
collin	a5975eb5fd	move types into separate module	2020-10-09 16:25:04 -07:00