2725 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
HackMD	8639612aa1	test	2020-06-14 00:50:52 +00:00
collin	8ea11dbab7	add type resolution for values and fix tests	2020-06-13 17:43:59 -07:00
collin	499805efdf	add field and group evaleq	2020-06-13 14:21:40 -07:00
collin	1eaaed269d	impl chained and nested conditionals	2020-06-13 03:39:51 -07:00
collin	1e1e4b86d9	move conditional tests into statement module	2020-06-13 02:08:21 -07:00
collin	c7eccdc87e	impl for loop statements for conditional	2020-06-13 02:04:31 -07:00
collin	2d17b39da6	impl mutable statements in basic conditional	2020-06-13 00:47:09 -07:00
collin	4c64edb032	test conditional basic assert statements	2020-06-12 19:32:16 -07:00
Collin Chin	5661cbe927	Merge pull request #53 from AleoHQ/feature/leo-inputs ... Feature/leo inputs	2020-06-12 18:45:40 -07:00
collin	50be017881	impl assert statement in basic conditional. use eq comparator gadget	2020-06-12 18:28:41 -07:00
collin	3f668422fd	enforce name, type, visibility of inputs. add tests	2020-06-11 14:40:27 -07:00
collin	b44e336cb6	update readme	2020-06-11 13:06:36 -07:00
collin	824a6059fb	split up input loading and parsing in compiler	2020-06-11 11:43:05 -07:00
collin	59766d0740	remove additional setup call in cli	2020-06-10 18:56:17 -07:00
collin	142520c76f	update leo init example	2020-06-10 18:50:03 -07:00
collin	9d15a0b038	only allow (x,y) affine groups	2020-06-10 18:30:38 -07:00
collin	52f0d012c8	fix tests	2020-06-10 17:53:38 -07:00
collin	6c7355a89c	public input fields, arrays, group tuples	2020-06-10 17:21:47 -07:00
collin	67b8a48fcf	public input booleans and integers	2020-06-10 16:14:55 -07:00
collin	c6d3221289	private input primitives and array support	2020-06-09 19:29:26 -07:00
collin	643cd3026e	initial private boolean input support	2020-06-09 16:36:15 -07:00
collin	eeb438ed19	Merge branch 'master' of https://github.com/AleoHQ/language into feature/leo-inputs	2020-06-09 12:14:43 -07:00
Collin Chin	72016a5608	Merge pull request #51 from AleoHQ/feature/tooling ... Adds build infrastructure and tooling	2020-06-08 20:03:25 -07:00
collin	39b8eda8cd	ignore import tests	2020-06-08 19:31:29 -07:00
collin	bc7f4719c3	include_bytes integers tests	2020-06-08 19:13:47 -07:00
collin	b4ed9ca4bc	include_bytes statements tests	2020-06-08 18:58:41 -07:00
collin	54b1453ddc	include_bytes mutability tests	2020-06-08 18:55:44 -07:00
collin	20a01ce2e8	include_bytes import tests	2020-06-08 18:52:35 -07:00
collin	ac9395f1fd	include_bytes group tests	2020-06-08 18:39:10 -07:00
collin	2ab0147e80	include_bytes function tests	2020-06-08 18:31:21 -07:00
collin	b3ec78c6fd	include_bytes field tests	2020-06-08 18:27:11 -07:00
collin	c0682de33d	include_bytes circuit tests	2020-06-08 18:12:40 -07:00
collin	8e8f00467a	include_bytes array tests	2020-06-08 17:51:06 -07:00
collin	834055abf5	use include_bytes for boolean test	2020-06-08 17:28:09 -07:00
collin	b6836b37d4	add leo-inputs ast	2020-06-08 14:07:06 -07:00
collin	8846f62c8f	add parser	2020-06-08 12:24:41 -07:00
collin	08e6eb145c	update leo-inputs ast	2020-06-08 12:00:27 -07:00
collin	e10a1e1be0	merge master	2020-06-08 10:49:31 -07:00
howardwu	62f3f4d70d	Update travis.yml	2020-06-08 00:21:15 -07:00
howardwu	cdc4e9bdbb	Update travis.yml	2020-06-07 23:59:37 -07:00
howardwu	15af83253f	kcov debugging	2020-06-07 23:31:16 -07:00
howardwu	837d107a54	cargo fmt	2020-06-07 23:30:39 -07:00
howardwu	79bea057b3	Remove unused dependencies, add profiles	2020-06-07 23:01:57 -07:00
howardwu	3bd2e19e8c	Adds SSH key for snarkOS	2020-06-07 22:55:49 -07:00
howardwu	988f58618e	Adds configuration files for tooling	2020-06-07 22:53:45 -07:00
Howard Wu	3575fb640f	Merge pull request #50 from AleoHQ/refactor/compiler ... Introduces LeoParser, removes pest for leo-compiler	2020-06-07 22:44:07 -07:00
howardwu	653f0de69f	Update dependencies	2020-06-07 22:43:53 -07:00
howardwu	1fa0bc8ffa	Restricts ast.rs visibility	2020-06-07 22:24:09 -07:00
howardwu	85ccf1b423	Introduces LeoParser, removes pest for leo-compiler	2020-06-07 22:21:31 -07:00
Howard Wu	d34121ae50	Merge pull request #49 from AleoHQ/feature/types ... Introduces types module for internal program representation	2020-06-07 21:32:40 -07:00