5898 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Pranav Gaddamadugu	68fc397252	Update to snarkVM 0.10.0	2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu	f88ddfead5	Update examples	2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu	6a660c4ceb	Remove gates check	2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu	581a671e31	Update maximum number of transitions	2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu	2390d10677	Regen expectations	2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu	93dbeb77b2	Update tests	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	a613f35c07	Check that finalize block does not return a value	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	0b99135962	Update Mapping::get_or to Mapping::get_or_init	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	76693533b0	Update code gen for Mapping::set	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	4771cb1e3c	Disable deploy command	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	c34a93c5ca	Remove dependency on aleo	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	e2749eebb9	Update snarkVM dep	2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu	209d9cb5e7	Regen expectations	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	74c888b037	Add/update tests	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	55c0665c39	Improve error message	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	f9851e1b97	Add support for associated methods on mappings	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	cff63e9918	Address feedback; remove leo-core	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	571786c3c6	Fix example	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	7bef7c401f	Regen expectations	2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu	d337cba6ac	Add test in Finalize namespace	2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu	be3c58cf53	Update codegen	2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu	1a129ac375	Add test framework for finalize contexts	2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu	9cb5ac1d91	Update examples	2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu	a0b00ac78c	Update examples; fmt	2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu	8b1861fff1	Regen expectations	2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu	683215d17c	Fix error message	2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu	bb5c793bb3	Fix code gen	2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu	62f8506a28	Fix test	2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu	8426f824ff	Fix passes	2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu	0d64247b1e	Add tests that should pass	2023-04-18 16:51:42 -07:00
Pranav Gaddamadugu	ff5ce80be3	Update mapping tests to usenew operations	2023-04-18 16:51:42 -07:00
Pranav Gaddamadugu	00a7943746	Regen expectations	2023-04-18 16:51:42 -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	ad5f5e761f	Update snarkVM and aleo deps	2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu	2881fce2ec	Update examples	2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu	d4eb6441d7	Enable warnings in compiler output	2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu	9df7486053	Regen expectations	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	37fe6f5bb1	Enable warnings for failing tests	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	a909a31dbf	Regen expectations	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	ebe7f7ab00	DCE marks mapping core operations as necessary	2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu	4870b5badf	Fix deprecation warning for increment/decrement statements	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	4ee06d4342	Deprecate increment and decrement in language	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	10875c7edb	Add core mapping functions to AST	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	d4230705e0	Remove CoreInstruction; leaving leo_core as a placeholder	2023-04-18 16:21:40 -07:00