147 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	dde0fe7676	Move warnings to error crate	2023-03-27 08:30:35 -07:00
Pranav Gaddamadugu	8adc6c76b8	Fmts and clippies	2023-03-26 23:18:03 -07:00
d0cd	f6d043c1f0	Fixes issues with function inlining from imported programs. (#2271) ... * TYC for calls to external inline functions * Fix issue in function inlining * Fix issue in codegen * Remove redundant reordering of functions * Clippy * Update compiler/passes/src/function_inlining/inline_program.rs Signed-off-by: Collin Chin <collin@aleo.org> --------- Signed-off-by: Collin Chin <collin@aleo.org> Co-authored-by: Collin Chin <collin@aleo.org>	2023-02-16 22:13:54 -08:00
d0cd	067dadb12b	Merge pull request #2263 from AleoHQ/feat/record-visibility ... [Feature] Visibilities for record members.	2023-02-14 16:38:54 -08:00
d0cd	cf22bc75bb	Address feedback	2023-02-14 16:30:12 -08:00
d0cd	a6663db934	Typechecking for structs with members	2023-02-10 21:31:10 -08:00
d0cd	b3ef6f79c3	Add typechecking for inline functions	2023-02-08 17:09:17 -08:00
d0cd	44eb8ad453	Cleanup; add bytecode to expected outputs	2023-02-08 11:27:29 -08:00
d0cd	f06b83c7f4	Implement check for cyclic call graph	2023-02-05 12:46:20 -08:00
d0cd	d91233f06e	Implement cycle detection for structs and records	2023-02-05 12:46:20 -08:00
ljedrz	b20308f049	chore: update the license headers (#2252) ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2023-02-02 14:27:06 -08:00
d0cd	b044b002a7	Check that functions cannot output records	2023-01-18 12:33:04 -08:00
d0cd	48a1f0590b	Rename console.assert* to assert*. (#2205) ... * Add assert statements to AST * Add support in passes * Add parser support * Add tyc support * Add support for assert statements in the remaining passes * Fix examples, tests, and regen expectations * Fmt * Regen expectations	2022-12-06 21:56:48 -08:00
collin	f6f286ac8a	pull testnet3, regen tests	2022-11-23 02:37:57 -05:00
collin	9e28591589	pull testnet3, regen tests	2022-11-23 01:56:37 -05:00
collin	ac4c38d921	clippy	2022-11-23 01:28:33 -05:00
collin	801df56f9c	pull testnet3, regen tests	2022-11-22 20:55:12 -05:00
d0cd	9370c11a2b	Implement fix	2022-11-16 10:24:29 -08:00
d0cd	ae329c521b	Deprecate (async) finalize statements	2022-11-15 13:18:39 -08:00
d0cd	25a15aae75	Remove unused error	2022-11-12 11:28:03 -08:00
d0cd	b16926449c	Support private mode in parser and passes	2022-11-12 09:53:20 -08:00
d0cd	f606a8b74a	Restrict tuples in parser; cleanup	2022-11-08 15:49:47 -08:00
d0cd	910d373afd	WIP support tuples on lhs of definitions	2022-11-08 15:49:47 -08:00
d0cd	40ff47882f	Add support for expression statements in compiler passes	2022-11-08 15:49:47 -08:00
d0cd	a7795b72db	Add parser support for expression statements	2022-11-08 15:49:47 -08:00
d0cd	af08c4f2e5	Some cleanup	2022-11-08 15:49:47 -08:00
d0cd	4963a11ee7	More tyc restricting nested tuples	2022-11-08 15:49:47 -08:00
d0cd	2839de13c6	Forbid tuples in input and output types	2022-11-08 15:49:47 -08:00
d0cd	29369b2a42	Better tyc for tuples in composite data types	2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu	605f675ff6	More tyc	2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu	9994a0451f	wip: basic tyc for empty and singleton tuples	2022-11-08 15:49:46 -08:00
collin	e6c3700945	merge testnet3	2022-11-04 12:46:32 -07:00
Pranav Gaddamadugu	7e70da2326	Implement check for nested import	2022-10-31 18:05:46 -07:00
d0cd	43919a9644	Disable string type in type checker	2022-10-31 18:01:04 -07:00
d0cd	c4279e2a83	Merge pull request #2146 from AleoHQ/fix/tyc-for-loop-bounds ... Fix/tyc for loop bounds	2022-10-31 17:11:19 -07:00
d0cd	9907d89886	Implement fix	2022-10-27 20:21:18 -07:00
d0cd	df01360010	Clippy	2022-10-24 22:41:10 -07:00
Pranav Gaddamadugu	8283c922f6	Some bug fixes; update some examples	2022-10-05 15:27:54 -07:00
Pranav Gaddamadugu	e15e8f05d6	Additional validation for program scope and imported files	2022-10-05 14:59:06 -07:00
Pranav Gaddamadugu	8f2a6fdb27	Support AST changes in compile passes	2022-10-05 10:38:35 -07:00
Pranav Gaddamadugu	bd4b7be8cf	WIP ast changes for program scope	2022-10-05 09:56:36 -07:00
Pranav Gaddamadugu	8733887d55	Validation for src directory	2022-10-04 22:31:49 -07:00
Pranav Gaddamadugu	c0c5e58011	Add checks for function calls	2022-10-03 16:18:58 -07:00
Pranav Gaddamadugu	fef22d6d5a	Clean up tyc pass	2022-10-03 10:40:59 -07:00
Pranav Gaddamadugu	eb8366badc	Some cleanup	2022-09-30 12:19:40 -07:00
Pranav Gaddamadugu	508c54dd92	Rename errors	2022-09-30 10:16:05 -07:00
Pranav Gaddamadugu	0a481e543e	Parse async, require it to precede finalize	2022-09-21 13:18:36 -07:00
collin	0a86a05d20	push code to parse external calls	2022-09-20 13:58:52 -07:00
Pranav Gaddamadugu	792867406b	Allow records and circuits for core functions	2022-09-18 02:32:35 +02:00
Pranav Gaddamadugu	c2bed2bb54	Add name to finalize block	2022-09-13 11:06:24 +02:00