340 Commits

Author	SHA1	Message	Date
collin	f3ee68be2b	impl console functions in typed	2020-08-16 14:28:19 -07:00
collin	70de48d928	remove printlns	2020-08-15 13:57:03 -07:00
collin	2d6da3cd3c	parse all import definitions	2020-08-15 13:17:43 -07:00
Howard Wu	febc050a94	Merge pull request #198 from AleoHQ/feature/tuple ... Implement tuple values and types	2020-08-14 21:00:37 -07:00
collin	24df4ae57a	allow integers. do not allow field or group equality or comparison	2020-08-13 12:11:56 -07:00
collin	76009cb843	impl circuit synthesizer and serialized circuit	2020-08-13 01:21:39 -07:00
collin	6016f47d66	remove unused circuit bytes	2020-08-12 20:02:39 -07:00
collin	0b9bc8001d	fix tuple edge cases	2020-08-11 11:17:39 -07:00
collin	08978cc9e7	refactor return values to tuple types	2020-08-11 01:08:02 -07:00
collin	74248f936b	impl tuples for inputs	2020-08-10 22:02:03 -07:00
collin	0e8473658e	support tuple access and comparison	2020-08-10 19:12:38 -07:00
collin	e85d6499d0	support tuple parsing and assignment	2020-08-10 18:21:23 -07:00
collin	9c7e14cf4d	comment out integer tests	2020-08-10 14:46:36 -07:00
collin	e7851d98d0	add serialize and deserialize circuit methods	2020-08-08 19:55:17 -07:00
collin	168561f340	comment out integers	2020-08-08 02:17:20 -07:00
collin	424287eb7b	Merge branch 'master' of github.com:AleoHQ/leo into feature/unordered-definitions	2020-08-07 16:18:50 -07:00
collin	f32ea5b744	rename minus -> negate	2020-08-07 15:14:02 -07:00
collin	3d1edefedb	add definition parsing to typed. add tests	2020-08-05 22:45:52 -07:00
collin	269e24595f	impl compiler support for integer, group, field negation	2020-08-04 21:04:45 -07:00
collin	6cff63d752	add unary expression, unary operator, minus, and not to pest and types	2020-08-04 20:09:48 -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
collin	1e56b3a5f6	fix all examples. change outputs -> output	2020-08-03 12:46:47 -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	070fa0edea	fix all tests	2020-07-31 20:59:50 -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	ce2a92b9bf	add function input keyword. support access to registers, record, state, state_leaf	2020-07-31 18:30:08 -07:00
howardwu	0d5a15cd41	Merge branch 'master' of https://github.com/AleoHQ/leo into feature/typed_ast	2020-07-30 23:51:40 -07:00
collin	ae8fb1f714	merge master fix conflicts	2020-07-30 22:41:07 -07:00
howardwu	61d92ecc91	Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks	2020-07-30 19:09:27 -07:00
collin	02833b80e0	add .in and .state tests	2020-07-30 18:17:55 -07:00
collin	e62a2a066a	fix syntax tests	2020-07-30 17:19:10 -07:00
collin	f03d0be080	fix group tests	2020-07-30 12:54:34 -07:00
collin	6dfc17ea46	fix function tests	2020-07-30 12:10:33 -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