454 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	76693533b0	Update code gen for Mapping::set	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	be3c58cf53	Update codegen	2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu	a0b00ac78c	Update examples; fmt	2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu	bb5c793bb3	Fix code gen	2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu	8426f824ff	Fix passes	2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu	da7537344b	Rename Mapping::put to Mapping::set	2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu	aeab0c59ec	Disallow records in finalize contexts	2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu	ebe7f7ab00	DCE marks mapping core operations as necessary	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	4f27c92f15	Remove Increment, Decrement statements from AST	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	30c9800e01	Check that mapping operations are invoked within a finalize block	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	15187edfcf	Add codegen for core mapping ops	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	defb657e5a	Implement tyc for mapping operations	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	34fb0d1815	Add tyc for core functions	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	cbd0663fa7	Add comment	2023-04-12 17:41:54 -07:00
Collin Chin	68eabc38ae	simplify logic	2023-04-12 15:52:10 -07:00
Pranav Gaddamadugu	59f418f5d0	Fix issue in codegen	2023-04-12 12:38:44 -07:00
Pranav Gaddamadugu	d26a5f693d	DCE eliminates expr statements that are not function calls	2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu	0f8838c870	Fix bug	2023-04-11 10:11:08 -07:00
Pranav Gaddamadugu	fd22fb9ec4	Fix bug	2023-04-05 09:13:37 -07:00
d0cd	c74772cfac	Merge pull request #2328 from AleoHQ/fix/issue-2324 ... [Fix] Fixes unwrapping panic when unwrapping `lookup_struct` in `ProgramVisitor::visit_function`	2023-03-31 16:06:51 -07:00
d0cd	5cc6a06e2d	Merge pull request #2329 from AleoHQ/fix/issue-2325 ... [Fix] Panic: called Option::unwrap() on a Err value (Literal::Integer to Value)	2023-03-31 16:05:33 -07:00
Pranav Gaddamadugu	61cf227f58	Fmt	2023-03-31 10:02:33 -07:00
Pranav Gaddamadugu	2646b7b28b	Fix bug	2023-03-31 09:58:25 -07:00
Pranav Gaddamadugu	ee3e225f92	Fix bug	2023-03-27 10:09:12 -07:00
Pranav Gaddamadugu	8adc6c76b8	Fmts and clippies	2023-03-26 23:18:03 -07:00
d0cd	6c61296f78	Add targeted DCE test; cleanup	2023-02-21 17:13:54 -08:00
d0cd	0e6aa4729b	Clippy	2023-02-21 17:13:53 -08:00
d0cd	d634662e97	Fmt	2023-02-21 17:13:53 -08:00
d0cd	da64d487ec	Fix DCE impl	2023-02-21 17:09:22 -08:00
d0cd	dfc03db67e	Connect dead code elimination pass to compiler stages, CLI, and tests	2023-02-21 17:09:22 -08:00
d0cd	ec91d5655b	Prototype dead code elimination	2023-02-21 17:09:22 -08:00
d0cd	4b3b4a83ff	Initial scaffolding for dead code elimination	2023-02-21 17:09:22 -08:00
d0cd	c8f6089be3	[Fix] Excludes inline functions from produced bytecode. (#2277) ... * Remove codegen for inline functions * Regen expectations	2023-02-21 14:17:11 -08:00
Collin Chin	0a738d4994	chore(leo): bump version for new release	2023-02-17 22:30:17 -05: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	f269a3c609	Add codegen support for records with visibilities	2023-02-10 21:35:37 -08:00
d0cd	a6663db934	Typechecking for structs with members	2023-02-10 21:31:10 -08:00
d0cd	47fa89b012	Refactor mode	2023-02-10 21:21:06 -08:00
d0cd	1dd5887518	Clippy and cleanup	2023-02-10 16:50:59 -08:00
d0cd	0afe0e12f9	Inliner uses AssignmentRenamer instead of SSA; address edge cases	2023-02-10 15:09:59 -08:00
d0cd	475a5b7870	Fix issue in flattening	2023-02-10 15:09:34 -08:00
d0cd	c70c018109	Refactor replacer	2023-02-10 15:08:23 -08:00
d0cd	a2ca077516	Introduce AssignmentRenamer	2023-02-10 15:07:58 -08:00
d0cd	d2381767e9	Remove greedy inlining	2023-02-10 09:47:42 -08:00
d0cd	79bf13ff8e	Integrate function inlining into test framework	2023-02-10 09:30:43 -08:00
d0cd	ccae285408	Minor refactors and cleaning	2023-02-10 09:07:14 -08:00
d0cd	53cbaa5f96	Initial impl of function inling	2023-02-10 09:06:26 -08:00
d0cd	3a1f66c6dd	Introduce Replacer	2023-02-10 09:05:58 -08:00