1566 Commits

Author	SHA1	Message	Date
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	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