788 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
collin	eb9bcdbeb8	expect signed integer division overflow error	2020-07-31 21:52:52 -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
Collin Chin	17e2adcdb4	Merge pull request #122 from AleoHQ/feature/runtime-state ... Feature/runtime state	2020-07-31 15:03:28 -07:00
Collin Chin	74b3647411	Merge pull request #124 from AleoHQ/feature/housekeeping ... Update issues template	2020-07-31 14:43:20 -07:00
collin	7137c98745	adds check for integer parsing error vs integer computation error in tests	2020-07-31 14:06:01 -07:00
howardwu	1ea5f7de4a	Add leo_typed_ast program, has one serialization error	2020-07-31 00:24:21 -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
howardwu	b2bb60408e	Update issues templates	2020-07-30 23:38:39 -07:00
howardwu	af37c3bc9e	Rename leo-types to leo-typed	2020-07-30 23:33:16 -07:00
collin	ae8fb1f714	merge master fix conflicts	2020-07-30 22:41:07 -07:00
Howard Wu	856990769d	Merge pull request #123 from AleoHQ/refactor/snarkos-components ... Remove revision peg for snarkOS dependency, change Leo to groth16, up…	2020-07-30 21:13:11 -07:00
howardwu	b1595150d9	Revert cli for Leo CLI errors and add SNARKError	2020-07-30 19:27:43 -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	a858b37fe0	merge master fix conflicts	2020-07-30 18:30:56 -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	6eb9ef41c3	fix statement tests	2020-07-30 17:11:58 -07:00
collin	f334ba646d	fix mutability tests	2020-07-30 16:37:01 -07:00
collin	d4eae685a3	fix macros tests	2020-07-30 16:27:31 -07:00
collin	63342e7b10	fix int tests	2020-07-30 16:20:31 -07:00
collin	2f983180b7	fix uint tests	2020-07-30 15:41:03 -07:00
collin	1b6a2b55d4	fix inputs tests	2020-07-30 14:38:31 -07:00
collin	4566ac8e03	fix import tests	2020-07-30 13:01:04 -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	41559ba3a0	fix circuit tests	2020-07-30 11:11:54 -07:00
collin	df9b94ef73	fix array tests	2020-07-30 00:56:17 -07:00
collin	14498c4836	fix address tests	2020-07-30 00:15:14 -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
Howard Wu	8767d01abc	Merge pull request #119 from AleoHQ/feature/serialization ... Adds serialization of Leo AST for unit testing and formal verification	2020-07-28 23:27:50 -07:00
howardwu	6a199d1256	Add test for span	2020-07-28 22:54:32 -07:00
howardwu	695ca8d998	Unintended commits removed	2020-07-28 22:46:38 -07:00
howardwu	d440c2b57e	Update documentation	2020-07-28 22:36:10 -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
howardwu	47bfd2e096	Adds serialization of Leo AST for unit testing and rformal verification	2020-07-28 21:18:43 -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
Howard Wu	7bf299903b	Update config.yml	2020-07-27 21:26:09 -07:00
Howard Wu	a9c07c0ae7	Create config.yml	2020-07-27 21:19:48 -07:00
Howard Wu	dd75dda33d	Update 02_bug_report.md	2020-07-27 21:19:14 -07:00