682 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	7137c98745	adds check for integer parsing error vs integer computation error in tests	2020-07-31 14:06:01 -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
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
Howard Wu	3952af5f94	Update and rename 01_feature_request.md to 01_bug_report.md	2020-07-27 21:18:37 -07:00
collin	b9b459ecff	add main, record, registers, state, state_leaf sections to types	2020-07-27 16:28:56 -07:00
collin	5ae8d550e5	add main, record, registers, state, state_leaf section headers to pest	2020-07-27 15:06:36 -07:00
collin	08f33eda01	add double bracket syntax to pest for public/private	2020-07-27 13:59:51 -07:00
Collin Chin	706777c773	Merge pull request #117 from AleoHQ/dependabot/cargo/serde_json-1.0.57 ... Bump serde_json from 1.0.56 to 1.0.57	2020-07-27 10:51:05 -07:00
dependabot-preview[bot]	e4c4684702	Bump serde_json from 1.0.56 to 1.0.57 ... Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.56 to 1.0.57. - [Release notes](https://github.com/serde-rs/json/releases) - [Commits](https://github.com/serde-rs/json/compare/v1.0.56...v1.0.57) Signed-off-by: dependabot-preview[bot] <support@dependabot.com>	2020-07-27 10:44:10 +00:00