18 Commits

Author	SHA1	Message	Date
d0cd	9ad7a0477c	Update example scripts	2023-02-16 09:13:51 -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
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	eafd265f75	unify leo examples with workshop, run all examples in circleci	2022-09-21 15:59:33 -07:00
Pranav Gaddamadugu	67aeaa3412	Update docs	2022-09-20 23:32:12 -07:00
Pranav Gaddamadugu	975677f832	WIP docs	2022-09-20 19:20:22 -07:00
Pranav Gaddamadugu	91a2137136	Update docs for auction example	2022-09-20 13:00:14 -07:00
Pranav Gaddamadugu	66c90e622e	Update auction example	2022-09-19 18:56:06 -07:00
collin	b9d32ee695	remove checkmark, clarify leo output for all commands	2022-09-17 16:08:19 +02:00
Alessandro Coglio	60180e78e5	[examples] Add explanations to auction example.	2022-08-08 16:34:28 -07:00
Alessandro Coglio	099d63555b	[examples] Address review.	2022-08-08 16:18:11 -07:00
Alessandro Coglio	1ea21716cf	[examples] Ensure correct record address. ... Also vary the other addresses.	2022-08-05 22:56:46 -07:00
Alessandro Coglio	855853d262	[examples] Add a record nonce.	2022-08-05 22:36:53 -07:00
Alessandro Coglio	5d3c7a6516	[examples] Try a different address.	2022-08-05 22:31:14 -07:00
Alessandro Coglio	ea6bee21f0	[examples] Add @program annotation.	2022-08-05 22:03:43 -07:00
Alessandro Coglio	54f2410e96	[examples] Get this to compile at least.	2022-08-03 23:21:54 -07:00
Alessandro Coglio	07154af8ec	[examples] A very simple auction-related example.	2022-08-03 23:05:27 -07:00