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

132 Commits

Author SHA1 Message Date
Collin Chin
d83c4be330
Implement Mapping::get_or_use (#2413) 
* get_or_init -> get_or_use

* use mapping get_or_use in examples

* fix codegen for Mapping::get_or_use

* fix tests for Mapping::get_or_use

* fix warnings, update snarvm rev

* bump circle rust img v1.70

* fix codegen

* update snarkvm rev and regen tests

* Update compiler/parser/src/parser/expression.rs

Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Delete program.json

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Delete program.json

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: d0cd <pranavsaig@gmail.com>
 2023-06-13 12:09:33 -07:00
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
Pranav Gaddamadugu
440d19e42f Update CI 2023-03-27 08:55:45 -07:00
Pranav Gaddamadugu
61381e6db2 Update CI to nightly fmt and stable clippy 2023-03-27 08:28:26 -07:00
d0cd
d8bdd355ee Fix exported variables in CI 2023-02-16 13:04:14 -08: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
baf34e2ecc Check exit codes in scripts 2023-02-16 08:49:13 -08:00
d0cd
5ea40453c2 Update test-examples.sh and CI config 2023-02-16 07:40:29 -08:00
d0cd
37984be2e3 Update test-examples.sh 2023-02-16 07:37:26 -08:00
d0cd
03c7d226e8 Alias the built executable 2023-02-15 23:10:57 -08:00
d0cd
c00a1582d6 Fix and add logging for test-examples.sh 2023-02-15 22:02:27 -08:00
d0cd
6704b4c4ed Remove pipe to null in leo-new 2023-02-15 21:57:26 -08:00
collin
7802d7b55b bump circle rust img v1.65 2022-11-23 00:27:48 -05:00
collin
07357442a9 Steal pranav's clever bash script to pull universal parameters 2022-09-23 10:42:07 -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
0e17e994f8 run leo build in leo-new.sh script 2022-09-20 10:52: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
ff9945860f Update CI 2022-09-20 08:38:05 -07:00
Pranav Gaddamadugu
8bf52dd1f4 Update CI 2022-09-19 19:32:31 -07:00
Pranav Gaddamadugu
f45a248194 Update CI 2022-09-19 18:59:33 -07:00
collin
4e05840bf5 bump ci rust version to 1.63 2022-09-16 18:19:20 +02:00
collin
834ea300aa bump ci rust version to 1.65 2022-09-16 18:17:10 +02:00
Pranav Gaddamadugu
ae8b3b8f8e Update CI to run hackers-delight examples 2022-09-13 17:23: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
collin
f5d504ed8d add two-adicity example to circleci 2022-08-09 16:05:28 -07:00
collin
421973fc3d add auction example to circleci 2022-08-09 16:01:56 -07:00
collin
66816d4026 add tic tac toe example to circle ci 2022-08-09 16:01:31 -07:00
collin
ee84bfe171 run interest examples in circle ci 2022-08-08 16:05:14 -07:00
collin
c7415a1cce run all Leo examples 2022-08-08 15:32:41 -07:00
collin
1cbeadc374 consolidate run examples into a single test script 2022-08-08 15:20:29 -07:00
collin
0b95c19652 add groups example in circleci 2022-08-08 15:07:42 -07:00
collin
a75df0c1f5 test core example in circleci 2022-08-08 11:54:52 -07:00
collin
02092b055d test bubblesort in circleci 2022-08-08 11:53:20 -07:00
collin
5cb6150b39 mark hellworld as executable 2022-08-08 11:38:00 -07:00
collin
1aef4987c2 fix config.yml 2022-08-08 11:25:21 -07:00
collin
d10c3943cc add test helloworld to circleci 2022-08-08 11:21:08 -07:00
collin
59bcaa9a60 leo run helloworld in circleci 2022-08-08 11:15:11 -07:00
collin
7ffbee2952 patch leo-clean ci 2022-08-05 11:30:53 -07:00
collin
8f9c7efbed fix program names 2022-08-05 11:14:58 -07:00
collin
19f51875b9 update config.yml 2022-08-05 11:06:17 -07:00
collin
1e5142a8a2 prepare for testnet3 as repo branch 2022-07-18 18:28:23 -07:00
Pranav Gaddamadugu
c67e816a6c Bump rust version 2022-07-18 11:25:20 -07:00
collin
41a5a39380 circleci use 1.61 2022-07-06 20:50:33 -07:00
collin
0e5ad5e385 update circle ci config 2022-07-06 20:14:20 -07:00
0rphon
10c62b8d2c
updates CircleCI to use 1.59.0 (#1687) 2022-03-15 17:48:13 -07:00