90 Commits

Author	SHA1	Message	Date
collin	54bf6ca42d	load program input type into symbol table	2020-10-24 23:57:38 -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	d54749145b	use import parser errors in compiler	2020-09-18 12:26:51 -07:00
collin	60db15596d	fix parser syntax errors. fix tests	2020-09-02 23:23:50 -07:00
collin	340e633470	fix state file errors	2020-09-02 23:05:03 -07:00
collin	0bb8c42731	fix input file errors	2020-09-02 22:59:54 -07:00
collin	bcab2df709	fix proving output	2020-08-21 18:44:19 -07:00
collin	551595026b	fix test output formatting	2020-08-21 18:08:14 -07:00
collin	912a192b5c	use tracing in compiler	2020-08-21 16:36:50 -07:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
collin	ddfe8fa08a	merge master	2020-08-17 01:12:16 -07:00
collin	25468c4ed8	add verify local data commitment method to compiler	2020-08-16 00:28:39 -07:00
collin	9a2fe61c6f	write test output to filename specified by context	2020-08-15 23:25:34 -07:00
collin	5efa131c65	impl test context with test inputs	2020-08-15 22:09:22 -07:00
collin	76009cb843	impl circuit synthesizer and serialized circuit	2020-08-13 01:21:39 -07:00
Howard Wu	f2f28a37c4	Update compiler.rs	2020-08-03 20:45:29 -07:00
collin	ddcf2c0b09	fix leo test to run tests in isolation	2020-08-03 19:51:41 -07:00
howardwu	f40ba91784	Rename types -> typed	2020-08-02 20:56:22 -07:00
howardwu	5375d97b40	Resolve merge conflict	2020-08-02 18:51:44 -07:00
howardwu	2d1b93e5f8	Merge with master	2020-08-02 17:24:31 -07:00
howardwu	2caa34be67	Revert to leo-types	2020-08-02 16:59:56 -07:00
howardwu	f6dcd7f9c2	Complete migration to leo_typed	2020-08-01 16:03:56 -07:00
collin	3d35fb026b	outputs -> output	2020-07-31 21:15:33 -07:00
collin	fb45ac7498	rename inputs -> input	2020-07-31 19:39:30 -07:00
collin	e22e962588	rename leo-inputs -> leo-input	2020-07-31 18:49:01 -07:00
collin	e62a2a066a	fix syntax tests	2020-07-30 17:19:10 -07:00
collin	a4448cdd12	add manual main input method for testing. fix field tests	2020-07-29 23:32:21 -07:00
collin	61f7c54858	refactor testing compiler to handle .in .out .state files. fix boolean tests	2020-07-29 20:52:37 -07:00
collin	1b99d62de8	adds compiler output file and output bytes data structures	2020-07-29 18:32:35 -07:00
collin	ac8c940169	add parsing for .in and .state files and update errors	2020-07-29 13:20:44 -07:00
howardwu	5bd6ab78b9	Refactor compiler to have a separate typed ast infrastucture	2020-07-29 01:12:17 -07:00
collin	3d3e8f5e72	compiler successfully parsing record, registers, state, state_leaf variables with access	2020-07-29 00:18:19 -07:00
howardwu	d3894ff546	Adds AST JSON generator	2020-07-28 22:26:28 -07:00
collin	d5ac5e6709	use input section macro in leo types	2020-07-28 21:22:31 -07:00
collin	82b0b576dd	parse input file before program file	2020-07-28 20:46:26 -07:00
collin	9fc9e16367	parse main, record, registers, state, state_leaf types to compiler input	2020-07-28 16:57:03 -07:00
collin	965bdc4d6a	fix import module	2020-07-07 21:05:03 -07:00
collin	2e24197ea2	create value module	2020-07-07 19:11:26 -07:00
collin	14f5f448be	resolve all definitions prior to program execution	2020-07-02 03:56:52 -07:00
collin	a422027e12	fix nested import parsing bug	2020-07-01 21:43:06 -07:00
collin	6a04dd0f58	refactor import file parsing. constraints for imports wip	2020-07-01 21:05:57 -07:00
collin	9854c8c983	use updated sha2 functions	2020-06-29 14:11:12 -07:00
collin	47ef6be719	set inputs size from bytes	2020-06-24 21:40:17 -07:00
collin	504480b3d7	serialize program into bytes file	2020-06-24 21:05:11 -07:00
collin	5bc1bc022d	add file path to formatted errors	2020-06-22 22:32:57 -07:00
collin	ea81f9bc98	add square root example	2020-06-22 21:39:24 -07:00
collin	837a006e51	move error struct to types. fix integer namespaces	2020-06-20 15:24:46 -07:00
collin	9e93462f2b	merge master	2020-06-19 23:16:12 -07:00
collin	82a0afc17e	convert leo-inputs to span with errors. fix tests	2020-06-19 23:02:58 -07:00