6 Commits

Author	SHA1	Message	Date
d0cd	d0c29ce8e0	[Update] snarkvm 0.11.0 (#2377) ... * Remove gates from tests * Remove Finalize test namespace * Remove gates from examples * Remove gates from compiler * Regen expectations * Add test that gates is allowed as a standard field of a record * Update Rust version in CI * Add check for MAX_MAPPINGS	2023-05-10 21:32:37 -07: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
Pranav Gaddamadugu	8283c922f6	Some bug fixes; update some examples	2022-10-05 15:27:54 -07:00
Pranav Gaddamadugu	a886357585	Update examples to use transition keyword	2022-10-03 11:22:37 -07:00
collin	75e90c4eaa	fully working with correct readme	2022-09-20 23:50:27 -07:00
collin	368d4c530c	push code to parse returning external records + battleship example	2022-09-20 17:17:43 -07:00