ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,699 Commits 54 Branches 46 Tags 340 MiB
d4230705e0
Commit Graph

19 Commits

Author SHA1 Message Date
d0cd
751e79a66e More fixes to example scripts 
WIP scripts

WIP alias leo

WIP alias leo

WIP alias leo
 2023-02-16 12:51:19 -08:00
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