ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 07:07:07 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,056 Commits 53 Branches 44 Tags 331 MiB
b0a18fb44d
Commit Graph

263 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
a0b00ac78c Update examples; fmt 2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu
2881fce2ec Update examples 2023-04-18 16:37:45 -07:00
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
collin
f6f286ac8a pull testnet3, regen tests 2022-11-23 02:37:57 -05:00
d0cd
21a015ede4 Update examples 2022-11-12 11:28:03 -08:00
Tom-OriginStorage
64bd319f3d Fix issues highlighted in #2156 2022-11-05 15:25:06 +08:00
Tom-OriginStorage
e5d053e471 Add Fibonacci example 2022-11-04 18:57:55 +08:00
Eric McCarthy
24540a5c67 fix typo in program name 2022-10-06 21:30:30 -07:00
Pranav Gaddamadugu
d7813923d2 More examples 2022-10-06 00:17:51 -07:00
Pranav Gaddamadugu
35f77f2a12 More examples 2022-10-05 23:52:22 -07: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
Pranav Gaddamadugu
99ec270f8a Rename examples 2022-09-30 10:37:29 -07:00
Alessandro Coglio
cc40de6247 [examples] Add battleship diagram to TOC. 2022-09-26 09:37:58 -07:00
Alessandro Coglio
ae42bac1c0 [examples] Fix typo. 2022-09-23 20:34:48 -07:00
Alessandro Coglio
ad5b15bda8 [examples] Add battleship diagram. 2022-09-23 20:30:37 -07:00
Alessandro Coglio
5456795771 Merge with testnet3. 2022-09-21 18:20:02 -07:00
Alessandro Coglio
06e8036081 [examples] Improve/fix battleship README. 2022-09-21 18:14:52 -07:00
collin
6e89652210 update check-examples circle ci script 2022-09-21 16:45:13 -07:00
collin
eafd265f75 unify leo examples with workshop, run all examples in circleci 2022-09-21 15:59:33 -07:00
Collin Chin
2374f386e9
Merge pull request #2089 from AleoHQ/fix-battleship-readme 
fix battleship readme - does not change any code
 2022-09-21 15:20:35 -07:00
Collin Chin
716633a740
Merge pull request #2083 from AleoHQ/doc-fixes 
[examples] Some doc fixes.
 2022-09-21 15:19:16 -07:00
Collin Chin
efd4de44fa
Merge pull request #2082 from AleoHQ/example/update-readmes 
Update READMEs for example.
 2022-09-21 15:17:58 -07:00
collin
8be9c1fdb3 fix battleship readme - does not change any code 2022-09-21 15:05:21 -07:00
Alessandro Coglio
4002ad8215 Merge with testnet3. 2022-09-21 13:33:56 -07:00
Pranav Gaddamadugu
bf50384dd5 Update examples to use async before finalize 2022-09-21 13:23:24 -07:00
Collin Chin
b3aad45164
Merge pull request #2081 from AleoHQ/feat/battleship 
Commit battleship example
 2022-09-21 00:36:21 -07:00
collin
0ce3fcd966 commit bash script 2022-09-21 00:09:40 -07:00
Alessandro Coglio
2419408444 [examples] Some doc fixes. 2022-09-21 00:07:10 -07:00
collin
75e90c4eaa fully working with correct readme 2022-09-20 23:50:27 -07:00
Pranav Gaddamadugu
ad93709036 Update 2022-09-20 23:45:44 -07:00
Pranav Gaddamadugu
67aeaa3412 Update docs 2022-09-20 23:32:12 -07:00
Pranav Gaddamadugu
f7b5e213e6 Battleship example compiles 2022-09-20 21:45:16 -07:00
Pranav Gaddamadugu
975677f832 WIP docs 2022-09-20 19:20:22 -07:00
collin
48530523d9 wip need to finish external inputs 2022-09-20 18:26:22 -07:00
collin
368d4c530c push code to parse returning external records + battleship example 2022-09-20 17:17:43 -07:00
collin
0a86a05d20 push code to parse external calls 2022-09-20 13:58:52 -07:00
Pranav Gaddamadugu
91a2137136 Update docs for auction example 2022-09-20 13:00:14 -07:00
Pranav Gaddamadugu
48cb481d73 Update README for tictactoe 2022-09-20 11:52:21 -07:00
collin
b2550b556f remove import_point example - will add after imports stabilized 2022-09-20 10:46:58 -07:00
Collin Chin
93307b1446
Merge pull request #2075 from AleoHQ/example/vote 
Commit vote example
 2022-09-20 10:40:29 -07:00
Collin Chin
7501130e52
Merge pull request #2076 from AleoHQ/example/auction 
Update auction example.
 2022-09-20 10:39:58 -07:00
Pranav Gaddamadugu
5b0a3f20d4 Add broken_bank example 2022-09-20 08:36:30 -07:00
collin
edb3a090e2 update readme 2022-09-20 00:09:14 -07:00
Pranav Gaddamadugu
cc61c4448f Update tictactoe example 2022-09-19 19:30:11 -07:00
Pranav Gaddamadugu
66c90e622e Update auction example 2022-09-19 18:56:06 -07:00
collin
8b83e35c4e commit bash script 2022-09-19 18:29:00 -07:00
Collin Chin
32e22a2a86
Merge pull request #2071 from AleoHQ/refactor/cli-output 
remove checkmark, clarify leo output for all commands
 2022-09-19 18:27:24 -07:00
Collin Chin
2cb3f570c9
Merge pull request #2072 from AleoHQ/fix/tic-tac-toe 
Fix tictactoe example.
 2022-09-20 00:14:11 +02:00
collin
ad139ec82d commit vote example 2022-09-19 14:52:55 -07:00
Pranav Gaddamadugu
159482e3c5 Update example 2022-09-17 20:40:27 +02:00
Pranav Gaddamadugu
ab1218043a Fix tictactoe 2022-09-17 19:01:52 +02:00
collin
b9d32ee695 remove checkmark, clarify leo output for all commands 2022-09-17 16:08:19 +02:00
Eric McCarthy
94e3516e65 [examples] improve indentation 2022-09-16 18:59:59 -07:00
Pranav Gaddamadugu
7bbaaf4245 Reorganize hackers delight examples 2022-09-13 17:22:01 +02:00
Eric McCarthy
f7d1b5c0ab [examples] a few rewordings 2022-09-13 17:22:01 +02:00
Eric McCarthy
d38e33e5a0 [examples] add descriptions of ntz* algorithms in their README.md files 2022-09-13 17:22:01 +02:00
Eric McCarthy
556799971d [examples] update ntz examples with @program and calling helper functions in places 2022-09-13 17:22:01 +02:00
Eric McCarthy
3b1895f8df [examples] eight 32-bit versions of trailing zeros from Hacker's Delight 2022-09-13 17:22:01 +02:00
Pranav Gaddamadugu
c2bed2bb54 Add name to finalize block 2022-09-13 11:06:24 +02:00
Pranav Gaddamadugu
0fa8082656 Update token example 2022-09-06 12:14:36 -07:00
d0cd
541209a92c
Merge pull request #1997 from AleoHQ/example-twoadicity 
[examples] twoadicity: number of factors of two in field value
 2022-08-15 08:52:10 -07:00
Collin Chin
52060b0fe8
Merge pull request #1993 from AleoHQ/example-tictactoe 
[examples] A tic-tac-toe app.
 2022-08-09 16:19:26 -07:00
Collin Chin
0160ad02ca
Merge pull request #1991 from AleoHQ/example-auction 
[examples] A very simple auction-related example.
 2022-08-09 16:19:07 -07:00
Eric McCarthy
87cbd39a66 reword comment 2022-08-09 10:13:09 -07:00
Alessandro Coglio
af7b84815a [examples] Expand tic-tac-toe documentation a bit. 2022-08-08 17:03:34 -07:00
Alessandro Coglio
d63fb7a657 [examples] Improve README. 2022-08-08 16:56:31 -07:00
Alessandro Coglio
f0e1b84618 [examples] Change 'period' to 'iteration'. 2022-08-08 16:51:37 -07: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
Eric McCarthy
c54740cc5e [examples] update field twoadicity example with @program and calling helper function 2022-08-05 22:48:43 -07:00
Alessandro Coglio
855853d262 [examples] Add a record nonce. 2022-08-05 22:36:53 -07:00
Eric McCarthy
57984afb26 merge 2022-08-05 22:36:26 -07:00
Alessandro Coglio
4a6b9404af [examples] Add @program annotation. 2022-08-05 22:33:14 -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
47f283fb9b [examples] Add @program annotations. 2022-08-05 21:59:22 -07:00
Alessandro Coglio
e36df09477 Merge testnet3. 2022-08-05 20:48:15 -07:00
Alessandro Coglio
8c0991780a Merge testnet3. 2022-08-05 20:47:49 -07:00
Alessandro Coglio
a178456a98 Merge testnet3. 2022-08-05 20:47:22 -07:00
collin
a1e91270e8 update helloworld 2022-08-05 18:38:50 -07:00
collin
667360905f update examples 2022-08-05 18:32:07 -07:00
collin
a29a293f30 Merge branch 'testnet3' of github.com:AleoHQ/leo into example-interest 2022-08-05 11:56:57 -07:00
collin
f7f6cdaef0 Merge branch 'testnet3' of github.com:AleoHQ/leo into example-auction 2022-08-05 11:56:38 -07:00
collin
6b0dc3a314 Merge branch 'testnet3' of github.com:AleoHQ/leo into example-tictactoe 2022-08-05 11:56:18 -07:00
collin
efee2e72f1 Merge branch 'testnet3' of github.com:AleoHQ/leo into example-twoadicity 2022-08-05 11:51:11 -07:00
d0cd
4b4935d044
Merge pull request #1990 from AleoHQ/update_leo_examples_readme 
Update leo examples documentation
 2022-08-05 08:45:04 -07:00
Eric McCarthy
2f801a50d1 [examples] twoadicity: number of factors of two in field value 2022-08-04 22:52:40 -07:00
Alessandro Coglio
2e0b542971 [examples] A tic-tac-toe app. 2022-08-04 15:08:05 -07:00
Pranav Gaddamadugu
3b9598d768 Fixed inputs; examples working 2022-08-04 11:29:36 -07:00
Pranav Gaddamadugu
94f026bd52 Dedup interest examples; update docs 2022-08-04 10:32:04 -07:00
Alessandro Coglio
056dbc0606 [examples] Enhance READMEs. 2022-08-04 10:32:04 -07:00
Alessandro Coglio
4621b87712 [examples] Tweak. 2022-08-04 10:32:04 -07:00
Alessandro Coglio
9deaa52aa6 [examples] Update constant and comments. 2022-08-04 10:32:04 -07:00
Alessandro Coglio
01c158e1ae [examples] Slightly more elaborate interest program. 
Now the number of periods is an input (up to a max).
 2022-08-04 10:32:04 -07:00
Alessandro Coglio
123aa2822c [example] Simple interest calculation. 2022-08-04 10:32:04 -07:00
Alessandro Coglio
54f2410e96 [examples] Get this to compile at least. 2022-08-03 23:21:54 -07:00