145 Commits

Author	SHA1	Message	Date
collin	a9992bc6d4	remove unused code	2022-07-12 16:19:58 -07:00
collin	e013b88811	stabilize leo build	2022-07-11 21:09:27 -07:00
collin	c719843223	impl program json, aleo build and run working	2022-07-11 14:10:22 -07:00
collin	608d29a81c	clippy	2022-07-11 11:58:31 -07:00
collin	426941ac8c	fix associated function calls	2022-07-11 11:56:38 -07:00
collin	1d0dd0781d	impl codegen for return tuples	2022-07-11 11:08:01 -07:00
collin	ed79f5c957	merge return-tuple branch	2022-07-09 20:55:30 -07:00
collin	d59cff0844	cargo fmt	2022-07-09 16:58:36 -07:00
collin	a15fce710c	merge testnet3	2022-07-09 16:51:20 -07:00
collin	1bcb9accec	clippy	2022-07-09 15:38:11 -07:00
collin	aff2db67da	check that returned tuple types are valid	2022-07-09 15:13:42 -07:00
collin	2a61f26ccc	impl tuple tests	2022-07-09 15:02:45 -07:00
collin	a7fc19a69f	impl tuple ast access	2022-07-09 13:22:10 -07:00
collin	296c62a280	impl tuple type expression	2022-07-09 10:15:08 -07:00
Pranav Gaddamadugu	8ab98c9434	Refactor emitter to reduce the number of into invocations; more cleanup	2022-07-08 14:10:54 -07:00
Pranav Gaddamadugu	e7f4a41410	Better error for missing member on circuit init	2022-07-08 13:45:00 -07:00
Pranav Gaddamadugu	990b5a75da	Rename LiteralExpression to Literal; more cleanup	2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu	0358a5f4da	Fmt	2022-07-08 13:43:28 -07:00
collin	a1c42a8d3f	impl tuple type	2022-07-08 13:07:20 -07:00
Pranav Gaddamadugu	f31accb04e	Cleanup; type checking for Circuit Member Access	2022-07-08 12:56:58 -07:00
collin	43db782ce2	remove Copy trait from Type enum	2022-07-08 12:22:25 -07:00
Pranav Gaddamadugu	00b90c4a33	Merge branch 'testnet3' into feat/redesign-symbol-table	2022-07-08 11:57:40 -07:00
collin	4d809e82a6	cargo fmt	2022-07-07 15:18:13 -07:00
collin	b461539ae3	use refactored methods in type checking, regen tests	2022-07-07 13:22:59 -07:00
collin	f892fe1a57	refactor type checker for removal of Copy trait	2022-07-07 12:20:34 -07:00
collin	95c2f66c5a	clippy	2022-07-06 20:49:05 -07:00
Pranav Gaddamadugu	3136a6ccca	Remove TODO	2022-07-06 17:29:57 -07:00
Pranav Gaddamadugu	52671c9328	Documentation for SymbolTable pass	2022-07-06 17:10:18 -07:00
Pranav Gaddamadugu	9b7d9a96b7	Fmt, clippy	2022-07-06 16:16:19 -07:00
Pranav Gaddamadugu	12eafa4174	Regenerate test expectations without symbol_table	2022-07-06 16:10:59 -07:00
Pranav Gaddamadugu	2a2a65b416	Make type checking pass compatible with current implementation of SymbolTable	2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu	bd1b8251c2	Remove SymbolTable functionality associated with flattening	2022-07-06 16:08:03 -07:00
Pranav Gaddamadugu	24f38721d6	Pull changes to compiler/passes/symbol_table from improved-flattening; remove unused files	2022-07-06 16:08:03 -07:00
collin	f3b87b5ccb	cargo fmt	2022-07-06 14:36:23 -07:00
collin	ade332442a	impl codegen for testnet3	2022-07-06 00:48:54 -07:00
collin	de178522d8	impl Display for BinaryOperation, improve error message	2022-07-05 16:42:36 -07:00
collin	dd75133e22	clippy	2022-07-02 18:49:13 -07:00
collin	c16a93ab44	removes <, <=, >, >= for address type	2022-07-02 18:15:18 -07:00
collin	ecc1fff7fd	cargo fmt	2022-07-02 14:08:17 -07:00
collin	0a4069fe39	merge testnet3	2022-07-02 14:08:02 -07:00
collin	07288e4662	update licenses	2022-07-02 13:47:53 -07:00
Pranav Gaddamadugu	62d2de8c95	Refactor type checking pass to be compatible with new Visitor pattern	2022-07-01 12:45:40 -07:00
Pranav Gaddamadugu	7b5632be90	Refactor SymbolTable creation pass to be compatible with new Visitor pattern	2022-07-01 12:02:38 -07:00
Mazdak Farrokhzad	952d7f4e36	records: base them atop circuits instead	2022-06-30 15:37:18 +02: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	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