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
..
board.leo	Rename console.assert* to assert*. (#2205)	2022-12-06 21:56:48 -08:00
move.leo	Some bug fixes; update some examples	2022-10-05 15:27:54 -07:00
verify.leo	Rename console.assert* to assert*. (#2205)	2022-12-06 21:56:48 -08:00