215 Commits

Author	SHA1	Message	Date
collin	21c6a2167a	type check record init expressions	2022-06-26 10:46:32 -10:00
collin	18a74cfb85	type check record type declaration	2022-06-24 11:47:01 -10:00
collin	9d0fd00072	add record type	2022-06-23 21:44:06 -10:00
collin	6366f44762	AVM evaluate wip	2022-06-20 16:41:21 -07:00
collin	88aa7c478e	enable codegen	2022-06-20 14:31:00 -07:00
collin	52395bba45	fix circuit type checking	2022-06-17 18:32:49 -07:00
collin	26810a15ae	impl bhp, pedersen, poseidon instructions	2022-06-17 15:37:48 -07:00
collin	d527a88a3a	impl core circuit instructions	2022-06-17 11:17:46 -07:00
collin	32f0c96b6f	impl shl shr tokens and type checking	2022-06-10 16:33:30 -07:00
collin	1b4e37e66e	fix symbol index bug	2022-06-09 13:16:54 -07:00
collin	f0a1573058	impl method call expression parsing	2022-06-03 13:27:23 -04:00
collin	3b62e3cc97	fix bugs	2022-06-01 13:49:55 -04:00
collin	2327bca617	implement static string type	2022-05-26 16:43:18 -04:00
Mazdak Farrokhzad	0883126fef	char removal: update ABNF + adjust examples	2022-05-24 15:51:58 +02:00
collin	f53817c5f5	implement real address literal check	2022-04-13 15:21:08 -07:00
collin	10bea676a8	remove unsized arrays	2022-03-04 12:23:46 -08:00
Collin Chin	419a6bd454	Update main.leo	2021-09-29 12:26:40 -07:00
damirka	c40106c15d	adds more examples from playground, updates manifests	2021-09-08 19:26:27 +03:00
gluax	e0cf988261	hacky, but optional comma only allowed on last member variable	2021-04-29 15:22:17 -04:00
damirka	18de36c71c	removed test_input from silly sudoku	2021-04-26 22:26:46 +03:00
damirka	5d359f23f5	Merge branch 'master' into feature/input-kebab	2021-04-26 22:25:10 +03:00
damirka	ad86b23c01	adds search for @test(custom) inputs path in kebab case ... - in Leo test envs can only be snake_cased - while we suggest naming inputs and folders in kebab-case - this patch searches for both test_input and test-input options in inputs	2021-04-21 15:27:10 +03:00
damirka	b8312ab4a4	adds integration tests to Leo CLI ... - leo tests are now written as cli commands - leo libraries and binaries removed from package and cli - small code optimizations and removals	2021-04-21 13:01:11 +03:00
gluax	1803925b08	semi-colon after return statements are required	2021-04-14 16:59:07 -04:00
Collin Chin	c352f41d41	add silly-sudoku example	2021-03-29 22:12:06 -07:00
gluax	793cbb9f27	add test for const self, no clippy issues locally	2021-03-25 14:30:06 -04:00
gluax	128eb60dfb	fix tests merged from master	2021-03-25 11:21:02 -04:00
gluax	3efc705a8c	fix tests merged from master	2021-03-25 11:19:42 -04:00
Collin Chin	9b61d0fa15	Merge branch 'master' into feature/constant-mutable-declarations	2021-03-24 22:23:24 -07:00
collin	f16bb70da9	test pedersen hash constraint numbers	2021-03-23 14:16:51 -07:00
collin	ae9ba51b7d	update pedersen hash example to use constant inputs	2021-03-22 15:24:32 -07:00
gluax	b50919085b	deprecate let mut, undeprecate const, let is now mutable by default	2021-03-18 15:19:07 -04:00
collin	8cbce25b5f	fix pedersen hash example	2021-03-11 14:51:54 -08:00
collin	deb3847b8e	remove add trait and uint impls	2021-03-11 14:47:34 -08:00
gluax	d549fda7b5	rebase and replace const keyword in tests	2021-02-16 14:19:20 -05:00
gluaxspeed	6831cf402f	put explicit type in perdesen-hash leo program	2021-02-04 15:07:14 -05:00
collin	cec3a40eb1	infer loop variable types + fix pedersen example	2021-01-07 14:09:57 -05:00
collin	d00eff2d86	removes confusing examples	2020-10-21 11:35:00 -07:00
raychu86	2a82a760f6	Update examples	2020-09-13 17:13:14 -07:00
collin	44a796ad48	fix pedersen hash example	2020-09-02 21:01:50 -07:00
collin	4b14d108b7	update default input file and examples	2020-09-02 12:01:35 -07:00
collin	ad4a6cea4f	remove underscores	2020-08-18 23:05:42 -07:00
collin	c3a89764bf	fix example naming and manifest files	2020-08-18 22:58:14 -07:00
collin	76d04705cb	ignore examples outputs directories	2020-08-03 12:57:49 -07:00
collin	1e56b3a5f6	fix all examples. change outputs -> output	2020-08-03 12:46:47 -07:00
howardwu	b58ee7233a	Update outputs directory	2020-08-02 22:51:48 -07:00
howardwu	f40ba91784	Rename types -> typed	2020-08-02 20:56:22 -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	efd885c6a7	impl 1group and add test	2020-07-07 02:08:48 -07:00
collin	eaf9406c21	update pedersen example	2020-07-06 23:53:02 -07:00
collin	e08ad6698c	fix group and field allocation	2020-06-29 22:03:19 -07:00
howardwu	a262622f60	Remove the test folder	2020-06-28 18:53:40 -07:00
howardwu	607685122b	Update logger, add debug flag, improve CLI messages, add num_constraints	2020-06-28 18:24:36 -07:00
collin	ea81f9bc98	add square root example	2020-06-22 21:39:24 -07:00
collin	0a990bdb4e	Merge branch 'master' of https://github.com/AleoHQ/language into fix/namespace	2020-06-22 18:35:10 -07:00
collin	5865149c06	fix index evaluation	2020-06-22 18:28:30 -07:00
Howard Wu	a3318c6fbe	Rename inputs.leo to pedersen_hash.in	2020-06-20 01:15:36 -07:00
Howard Wu	635d9ff7cb	Add files via upload	2020-06-18 23:28:49 -07:00
collin	1e1e4b86d9	move conditional tests into statement module	2020-06-13 02:08:21 -07:00
collin	50be017881	impl assert statement in basic conditional. use eq comparator gadget	2020-06-12 18:28:41 -07:00
howardwu	a72a333877	Migrates ast to leo-ast module	2020-06-06 23:17:40 -07:00
howardwu	33f518d1d4	Fixes 'leo build' to compile programs again. Updates tests to run on new model	2020-05-16 22:05:26 -07:00
howardwu	f325a598df	Add template for pedersen_hash example, needs to be impl'd	2020-05-16 19:42:49 -07:00
howardwu	0a34693bae	Adds a hello_world example to Leo	2020-05-16 19:22:06 -07:00