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

75 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
5ea40453c2 Update test-examples.sh and CI config 2023-02-16 07:40:29 -08:00
collin
7802d7b55b bump circle rust img v1.65 2022-11-23 00:27:48 -05: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
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
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
19f51875b9 update config.yml 2022-08-05 11:06:17 -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
collin
3892bd379f comment out unused ci's 2022-02-07 12:00:42 -05:00
collin
a428765829 merge testnet2 2022-01-21 13:06:30 -08:00
collin
30302c12c6 CI: remove constraint check for refactor 2022-01-21 13:04:57 -08:00
gluax
a367bfebe3 forgot we needed to update the ci's as well. 2022-01-21 12:15:10 -08:00
damirka
a04249976e Merge branch 'master' into leo-manifest-dependencies 2021-08-19 18:04:05 +03:00
gluaxspeed
8ca3ab465e circleci updated rust version 2021-08-13 10:48:38 -07:00
gluaxspeed
51e8ea49de no circle ci image for rustc 1.54.0 yet 2021-08-10 20:05:15 -07:00
gluaxspeed
622ff5a9c3 finish docs, setup ci to publish docs pages, test docs generation 2021-08-10 19:59:27 -07:00
gluaxspeed
2f045e13cc create docs job, update ciricle ci rust version 2021-08-10 14:35:30 -07:00
damirka
49c3d4b06f Merge branch 'master' into leo-manifest-dependencies 2021-08-04 23:04:37 +03:00
damirka
50eae0d278 fix ci 2021-07-19 19:53:20 +03:00
gluaxspeed
b96609f839 merge master 2021-07-18 19:58:34 -07:00
damirka
2c58bf30a0 Merge branch 'master' into leo-manifest-dependencies 2021-07-19 01:15:32 +03:00
damirka
c36be2c745 finalizes import stabilization 
- temporarily disables leo add and leo rm
- lock file is parsed by leo build and used
- error messages improved for some cases
- fetch test is added and improved
 2021-07-18 23:40:26 +03:00
weikeng
fef7fe6c90 update the test as well as ci 2021-07-17 01:55:11 -07:00
howardwu
97c5dd12f4 Update CI to Rust 1.53 2021-07-17 00:47:31 -07:00
gluaxspeed
6f9682724e I don't know our code-coverage secrets or how to get it 2021-07-16 02:19:11 -07:00
gluaxspeed
b8dcad44cc tests on github actions its easier cache platforms 2021-07-14 18:05:40 -07:00
gluaxspeed
1168354a5c ci changes remove nightly asides from fmt 2021-07-14 13:26:32 -07:00
damirka
d79b49be84 bump to 1.52.1 in CI 2021-06-28 22:15:56 +03:00
Collin Chin
83c41769c1
Merge pull request #812 from AleoHQ/ci/add-constraints-check 
[CI] Adds Pedersen Hash constraints check
 2021-04-21 15:23:09 -07:00
collin
d1c9f0e99c enable leo clone test 2021-04-21 14:09:15 -07:00
collin
ad5572f3ce comment out leo-clone ci check yaml main workflow 2021-04-15 11:33:22 -07:00
collin
540219e106 comment out leo-clone ci check yaml 2021-04-15 11:29:27 -07:00
Howard Wu
2a2b9994d0 Lock the cargo file 2021-03-31 23:20:10 -07:00
Howard Wu
54192f2589 Update CI to 1.51 2021-03-31 23:14:01 -07:00
damirka
f86eb624c2 added main workflow 2021-03-29 11:00:31 +03:00
damirka
d0c9c90451 adds constraint check (falsy) 2021-03-29 10:57:37 +03:00