1624 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	e6794a0dec	Pull changes to compiler/ast/src/passes/reconstructor.rs from improved-flattening	2022-07-01 11:51:33 -07:00
Pranav Gaddamadugu	f1cd080d91	Pull changes to compiler/ast/src/passes/visitor.rs from improved-flattening	2022-07-01 11:50:59 -07:00
Mazdak Farrokhzad	91fd8ff1b2	fix typo	2022-07-01 00:03:26 +02:00
Mazdak Farrokhzad	952d7f4e36	records: base them atop circuits instead	2022-06-30 15:37:18 +02:00
collin	a58edee122	cargo clippy	2022-06-27 12:50:23 -10:00
collin	6933d5d9da	cargo clippy	2022-06-27 09:44:49 -10:00
collin	df8ee1a1f9	fix type checking bugs	2022-06-26 15:13:58 -10:00
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	d45ab61e40	parse record type declaration	2022-06-23 22:34:18 -10:00
collin	9d0fd00072	add record type	2022-06-23 21:44:06 -10:00
collin	5ee2858b0a	add tests and remove dead code	2022-06-22 22:38:33 -10:00
collin	7417496eee	merge testnet3	2022-06-22 21:42:00 -10:00
collin	4a80445bd8	test hashing u128 with ped64 fails	2022-06-22 21:29:04 -10:00
collin	4400545543	add all core circuit tests	2022-06-22 21:19:26 -10:00
collin	0c89c1b5fb	add circuit variable access and type check	2022-06-22 15:14:00 -10:00
collin	a79196c945	fix circuit type checking, addresses review comments 2/2	2022-06-21 19:37:23 -07:00
collin	d6e32788b4	rename static -> associated, addresses review comments 1/2	2022-06-21 18:30:10 -07:00
Mazdak Farrokhzad	b4e8a773df	simplify bidi override logic	2022-06-21 17:12:36 +02:00
Mazdak Farrokhzad	1d92e07fdf	simplify tokenize_iter	2022-06-21 17:12:36 +02:00
Mazdak Farrokhzad	2c194b8e57	reduce work for string literals bidi check	2022-06-21 17:12:36 +02:00
Mazdak Farrokhzad	8b3e87889f	cargo clippy	2022-06-21 17:12:36 +02:00
Mazdak Farrokhzad	7226659bf6	Value -> Literal	2022-06-21 17:12:34 +02:00
Mazdak Farrokhzad	ddbf2ae849	1. Speed up string literal lexing. ... 2. Move address check to parser. 3. Move assignment place WF check to type checker.	2022-06-21 17:07:44 +02: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	bb7c41ffad	merge prototype/code-gen	2022-06-20 14:21:28 -07:00
collin	f7a55de9a6	lt, gt, lte, gte for address	2022-06-20 13:25:40 -07:00
collin	99605f46a5	le, ge -> lte, gte	2022-06-20 13:24:20 -07:00
collin	23ba8bc40c	check field type for square_root	2022-06-20 13:18:11 -07:00
collin	d4171de577	check signed ints for abs and abs.w	2022-06-20 13:15:13 -07:00
collin	811eaadc98	remove poseidon prfs	2022-06-20 13:06:47 -07:00
collin	bfd3a37a42	merge testnet3	2022-06-20 12:34:33 -07:00
collin	52395bba45	fix circuit type checking	2022-06-17 18:32:49 -07:00
collin	5a0186b93d	cargo fmt	2022-06-17 15:42:09 -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
gluax	c9ab4bd3d7	add bitwise op parsing, fix tests	2022-06-16 15:40:48 -07:00
gluax	b656fd5347	fix type checking on certain bitwise operations	2022-06-16 12:49:41 -07:00
gluax	2181672b60	had to fix function calls after previous changes	2022-06-16 12:03:24 -07:00
gluax	a40d025d18	clean up of parsing method call fixs	2022-06-16 11:36:50 -07:00
gluax	33fe8ebbc2	fixes bug #1877 to make debugging easier, fixes parsing of method calls	2022-06-16 11:33:16 -07:00
collin	b9f8bafc91	pull latest testnet3	2022-06-15 16:52:49 -07:00
collin	26f04e2eaf	core circuit wip	2022-06-15 16:50:21 -07:00
collin	993b86e8c7	add circuit type parsing up to type checking	2022-06-15 16:08:05 -07:00
collin	3882ec2425	add circuit type to ast	2022-06-15 11:32:19 -07:00
collin	b2890f393a	merge testnet3	2022-06-15 10:23:01 -07:00
Mazdak Farrokhzad	eee838abba	fixes in special methods parsing	2022-06-15 14:51:44 +02:00
collin	0e59e9bcf9	fix cmp type checking	2022-06-14 10:55:59 -07:00
collin	6c759b7174	impl unary	2022-06-13 18:35:18 -07:00
collin	831e011f42	use more clear type checking methods	2022-06-13 14:53:01 -07:00
gluax	2c9a91552c	Merge branch 'testnet3' of github.com:AleoHQ/leo into feature/compiler-benchmarking	2022-06-12 09:26:30 -07:00
gluax	3a056220ff	doing some recommended changes	2022-06-12 09:26:14 -07:00
collin	02e3313d59	add docs for type checking and fix bugs	2022-06-10 17:21:33 -07:00
collin	32f0c96b6f	impl shl shr tokens and type checking	2022-06-10 16:33:30 -07:00
collin	4e3ed8d4dc	regen tests	2022-06-10 13:02:16 -07:00
collin	f248827b37	impl binary operators WIP no tests	2022-06-09 16:47:31 -07:00
collin	0e0ec362f1	cargo fmt	2022-06-09 13:24:01 -07:00
collin	1b4e37e66e	fix symbol index bug	2022-06-09 13:16:54 -07:00
collin	9797175f16	remove method call expr and type checking	2022-06-09 13:07:30 -07:00
collin	a32418133c	parse method calls directly	2022-06-09 13:01:59 -07:00
gluax	36440719fb	resolve merge conflicts	2022-06-09 12:46:59 -07:00
gluax	540fdccffe	Update abnf, and give docs over parser keywords	2022-06-09 12:45:52 -07:00
gluax	ba7aef7f1e	merge conflicts fix	2022-06-09 12:35:26 -07:00
gluax	4607f2955a	add some more checks and namespaces for benchmarks, docs	2022-06-09 12:23:57 -07:00
collin	df08cd1e26	order dependencies	2022-06-08 14:47:34 -07:00
collin	5dba9cf07f	impl method call type checking	2022-06-08 14:44:08 -07:00
gluax	5ce5102a37	the rest of the test-framework rework and clean up start	2022-06-08 14:06:25 -07:00
gluax	3c7de6e389	some compiler lib cleanup	2022-06-08 10:53:41 -07:00
gluax	f6990e75fc	fixed some bugs	2022-06-08 06:46:54 -07:00
0rphon	d43fd813f7	fixed compiler benchmarks	2022-06-08 00:20:09 -07:00
d0cd	86d7cb99dd	Prettier bytecode printing	2022-06-07 11:13:11 -07:00
d0cd	472ff794a6	Integrate prototype into compiler passes	2022-06-07 10:01:13 -07:00
gluax	9aae2faff6	remove input file	2022-06-07 09:22:16 -07:00
d0cd	f2e0ba7dcd	Initial prototype for code gen	2022-06-07 09:13:57 -07:00
gluax	384a7b24b8	add back compiler options for asts, set up compiler benchmarking	2022-06-06 11:45:33 -07:00
0rphon	0af9622cd9	replaced structopt with clap	2022-06-06 11:00:08 -07:00
collin	f0a1573058	impl method call expression parsing	2022-06-03 13:27:23 -04:00
Collin Chin	18b71d225b	Merge pull request #1857 from AleoHQ/more-tyc-bug-fixes ... [Fix] Type Checking Bugs	2022-06-03 12:09:12 -04:00
gluax	8ad69944c0	bug fixes	2022-06-02 09:39:49 -07:00
collin	d419e3b7d8	merge testnet3	2022-06-02 11:51:46 -04:00
collin	27c858a0fc	merge testnet3	2022-06-02 11:33:11 -04:00
collin	85eb1adcce	rename corelib -> core, update readme	2022-06-02 11:22:08 -04:00
Collin Chin	59ffe66363	Merge branch 'testnet3' into issue-1841	2022-06-01 22:51:44 -04:00
gluax	9638a695aa	fix more bugs, add type checking	2022-06-01 11:16:00 -07:00
collin	3b62e3cc97	fix bugs	2022-06-01 13:49:55 -04:00
gluax	ace7005ea7	fmt	2022-06-01 09:26:18 -07:00
gluax	220cb3e730	rename stdlib -> corelib	2022-06-01 09:09:38 -07:00
Alessandro Coglio	ad43c50902	Remove remnant mentions on tendril. ... Rename a function. Rename two variables. Update some comments. Remove a README entry that is no longer there.	2022-05-31 22:24:17 -07:00
gluax	0ce4639a1b	merge upstream, test builtin ident types	2022-05-31 10:34:57 -07:00
Mazdak Farrokhzad	6399f873f5	improve error for '&' not followed by '&'	2022-05-31 16:28:01 +02:00
Mazdak Farrokhzad	c623165742	simplify Token::eat	2022-05-31 16:16:15 +02:00
gluax	1da03e728b	add checks for ident types being allowed built in types	2022-05-30 11:29:00 -07:00
gluax	2db204b81e	further changes to the visitor pattern to clean up code	2022-05-30 10:53:06 -07:00
collin	a230bd1477	remove char	2022-05-26 16:53:57 -04:00
collin	3de06095ed	cargo fmt	2022-05-26 16:48:34 -04:00
collin	2327bca617	implement static string type	2022-05-26 16:43:18 -04:00
gluax	044b2a10a4	refa:ctored visitor pattern to better on an the AST	2022-05-26 13:29:51 -07:00
collin	4d7540501f	add string type to tokenizer + lexer	2022-05-26 16:13:03 -04:00
collin	84c0a82008	add string type to tokenizer + lexer	2022-05-26 15:55:37 -04:00