ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,078 Commits 54 Branches 44 Tags 331 MiB
f72e4c10b5
Commit Graph

228 Commits

Author SHA1 Message Date
damirka
bce957e8f6 updates dependabot on master 2021-12-08 20:38:17 +03:00
damirka
85059a682d Merge branch 'master' into leo-wasm 2021-09-25 12:14:46 +03:00
damirka
0aa6eabb0c adds README, extends error object 2021-09-25 12:13:59 +03:00
damirka
aadd998665 fix matrix, remove sscache 2021-09-23 19:27:09 +03:00
damirka
e33b41ea1c install wasm-pack with cargo 2021-09-23 19:24:43 +03:00
damirka
dbf40f9d23 add Rust to CI 2021-09-23 19:14:38 +03:00
damirka
6ffd8a5e49 fix name of the CI 2021-09-23 19:06:27 +03:00
damirka
5d7fea6215 adds a CI 2021-09-23 18:59:36 +03:00
Eric McCarthy
7f1277940b [tgc CI] make log more readable; allow tgc type inference to run even if there is a tgc canonicalization failure 2021-09-16 12:35:22 -07:00
Damir S
0bc843f8f6
Update acl2.yml 2021-08-31 20:41:04 +03:00
damirka
ab01d45bfc enable ti 2021-08-31 20:29:50 +03:00
damirka
3a60404038 remove output 2021-08-31 20:23:40 +03:00
damirka
2c66f5589b workflow dispatch 2021-08-31 20:23:11 +03:00
gluaxspeed
a4652829df update conflicting tests 2021-08-27 04:50:42 -07:00
damirka
9579a430d7 attach theorem.lisp file 2021-08-24 22:34:00 +03:00
damirka
e0c2f6470f Revert "try acl2 version v0.1.1" 
This reverts commit 31786a9180.
 2021-08-24 22:09:32 +03:00
damirka
31786a9180 try acl2 version v0.1.1 2021-08-24 21:57:50 +03:00
gluaxspeed
1576f776f3 resolve master conflicts 2021-08-24 03:00:08 -07:00
damirka
63ac4b79a3 update implementation, follow recent changes in imports 2021-08-21 21:04:58 +03:00
damirka
05d04e2a43 disable type inference checks 2021-08-21 20:56:08 +03:00
damirka
5453225b5d fix bash variables 2021-08-19 20:28:43 +03:00
damirka
529c06623b fix logging, print list of failures first 2021-08-19 20:21:59 +03:00
damirka
cddc0d62b1 skip access_all test 2021-08-19 20:10:15 +03:00
gluaxspeed
3f3d84dcdd accidentally copied half a block in ci.yml 2021-08-19 06:09:19 -07:00
gluaxspeed
e90228b295 type aliases 2021-08-19 06:04:44 -07:00
damirka
060513bffa cleanup and remove panic 2021-08-19 13:28:22 +03:00
damirka
35f56cd648 more intelligent system for printing out failures 2021-08-19 11:14:13 +03:00
damirka
a8cf416a77 Merge branch 'master' into feature-tgc-ci 2021-08-19 10:58:22 +03:00
damirka
2c7a2b804d adds type inference stage 2021-08-19 10:46:28 +03:00
gluaxspeed
0feccf6353 m1 test was infinitely looping 2021-08-18 15:37:42 -07:00
damirka
52b2a4a3cb final cleanup 2021-08-18 17:51:50 +03:00
damirka
bc6ad13930 adds exit code and error printing 2021-08-18 14:53:18 +03:00
damirka
a511638021 try to run it all together 2021-08-17 13:27:23 +03:00
damirka
2ec1065c18 fix pipes, make oneliner 2021-08-17 13:16:05 +03:00
damirka
5a1bf7e26e adds mkdir tmp 2021-08-17 13:15:00 +03:00
damirka
a1cc026c58 use curl to fetch 2021-08-17 13:14:00 +03:00
damirka
7e8da8cc80 add echo outputs 2021-08-17 13:10:02 +03:00
damirka
775109f40c yet another change of version 2021-08-17 13:07:23 +03:00
damirka
b1cf6024d7 add v2 to action 2021-08-17 13:06:07 +03:00
damirka
e05cca47ff remove version from fetch-latest-release 2021-08-17 13:04:38 +03:00
damirka
56ce8558df change action to a different one 2021-08-17 13:03:10 +03:00
damirka
031cc98077 test release fetcher 2021-08-17 10:44:44 +03:00
gluaxspeed
e9ffacda41 difference is CRLF vs LF somehow 2021-08-12 09:11:54 -07:00
gluaxspeed
e69e81110e debug windows ci this time 2021-08-12 04:44:45 -07:00
gluaxspeed
d0d1203381 use test all features again just pass --all 2021-08-12 04:11:16 -07:00
gluaxspeed
ab5fcecae2 more debugging 2021-08-12 02:42:42 -07:00
gluaxspeed
bd0032e98b realized not all tests were being run with cargo test-all-features 2021-08-12 02:25:43 -07:00
gluaxspeed
93d2871332 wasn't a caching issue, I'm not sure 2021-08-11 00:09:22 -07:00
gluaxspeed
a17b0ee888 typo fix 2021-08-10 23:57:19 -07:00
gluaxspeed
5ab562386a my only guess is caching is messing up code coverage 2021-08-10 23:54:24 -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
97645eb443 remove comments, update circleci to rust 1.54 2021-08-09 21:57:15 -07:00
damirka
98ee5af387 collect failures 2021-08-09 21:55:03 -07:00
damirka
64e3432985 change to stable toolchain 2021-08-09 21:55:03 -07:00
damirka
595ae607f9 draft CI for acl2 -- without binaries 2021-08-09 21:51:54 -07:00
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support 
[Feature] Deprecate Nightly + OS CIs
 2021-08-03 14:59:07 -07:00
damirka
14a5fbb33e bump snarkvm-dpc to 0.7.6 2021-08-03 02:16:51 +03:00
gluaxspeed
dc37ef37f2 cache codecov and m1 2021-07-14 18:07:49 -07:00
gluaxspeed
8596e2cd1f Fix some github-actions yaml syntax 2021-07-14 18:07:11 -07:00
gluaxspeed
b8dcad44cc tests on github actions its easier cache platforms 2021-07-14 18:05:40 -07:00
gluaxspeed
315dcebb34 fmt stable only features, test all the platforms, cc stable 2021-07-14 13:55:01 -07:00
gluaxspeed
1168354a5c ci changes remove nightly asides from fmt 2021-07-14 13:26:32 -07:00
gluaxspeed
dd016f46ad remove CARGO_NET_GIT_FETCH_WITH_CLI: true 2021-07-08 11:29:20 -07:00
Howard Wu
72b25a7f22
Merge pull request #902 from AleoHQ/dependabot/add-v2-config-file 
Upgrade to GitHub-native Dependabot
 2021-06-21 14:31:18 -07:00
damirka
b9431fb4ac cleanup 2021-06-16 15:21:11 +03:00
damirka
0b49f0c9ad one more fix for cargo config 2021-06-16 15:05:29 +03:00
damirka
505aac2dc2 fixes cargo config 2021-06-16 14:48:29 +03:00
damirka
d0b05778fc adds build for apple silicon 2021-06-16 14:23:22 +03:00
dependabot-preview[bot]
46d2dcc83b
Upgrade to GitHub-native Dependabot 2021-04-29 15:43:55 +00:00
Howard Wu
2aabb09468 Adds a noconfig feature for release builds 2021-03-31 22:14:03 -07:00
Howard Wu
19e3bfc253
Merge pull request #639 from dev-sptg/fix-windows-build 
Fix build for windows 64 bit
 2021-03-31 21:26:27 -07:00
howardwu
d78692b4dd Clean up 2021-03-15 23:15:03 -07:00
howardwu
7259dbabb3 Revert codecov 2021-03-15 22:53:26 -07:00
howardwu
cf315f4ed6 Switch test infrastructure to CircleCI 2021-03-15 20:34:37 -07:00
howardwu
5b6cfd5c77 Removes leo setup from GA 2021-02-24 22:34:19 -08:00
howardwu
6f1f295ec5 Removes leo login and logout GA 2021-02-24 22:34:01 -08:00
howardwu
4cb0334453 Removes leo add and remove GA 2021-02-24 22:04:27 -08:00
howardwu
303c69e863 Add leo add and remove to circleci 2021-02-24 21:59:06 -08:00
howardwu
808e631014 Add leo clean to circleci 2021-02-24 21:45:06 -08:00
Collin Chin
558c974ae0
Merge pull request #590 from AleoHQ/feature/bors-badge 
[CI] Add bors
 2021-02-10 20:35:06 -08:00
collin
8c68b9e9ee add staging and trying branches to ci 2021-02-10 14:00:37 -08:00
dev-sptg
3ed7e13b3d Fix build for windows 64 bit 2021-02-09 19:30:06 +02:00
damirka
2ff2db2570 Leo CLI is now on StructOpt and Anyhow 
Features:

- introduces new Command and Route traits for Leo commands and Aleo PM API
- most of the CLI code replace with higher-level abstraction - StructOpt
- anyhow used for error handling, no more custom error classes
- improves API - now every status code has its business logic
- adds global flags (e.g. --quiet to suppress output)
- error messages improved for convenience and better user experience

Closes:

- #604
- #599
- #584
- #277
- #376
 2021-02-08 15:48:35 +03:00
Howard Wu
bdae2425a7
Merge pull request #589 from AleoHQ/add-check-setup 
[CLI] Adds --skip-key-check option to setup, run and prove commands
 2021-02-03 11:31:35 -08:00
howardwu
c481f19fa7 Update clippy logic 2021-02-01 20:15:57 -08:00
collin
f259828097 disable nightly clippy checks 2021-02-01 10:45:55 -08:00
Damir Shamanaev
576823df49 setup CI runs on pedersen hash example 2021-01-29 23:26:13 +03:00
Damir Shamanaev
ea742a5a4e adds --skip-key-check option to setup, run and prove commands 2021-01-29 23:01:52 +03:00
Damir Shamanaev
d4a765398c removes token check on leo add command 
- loggin for leo add was not necessary
- login/logout CI is separated
- add/remove checked together w/o logging in
 2021-01-27 15:33:01 +03:00
Damir Shamanaev
b638b84c5c changed workflow name - now leo-add 2021-01-26 19:19:08 +03:00
Damir Shamanaev
2aea36aa96 Adds leo add and leo remove CI cycle 
- requires ALEO_PM_USERNAME and ALEO_PM_PASSWORD to be set in secrets
- follows simple workflow: new-login-add-remove
 2021-01-25 15:50:19 +03:00
howardwu
cf8d646008 Move into outputs folder for leo clean checks 2021-01-18 08:24:59 -08:00
howardwu
a01004a303 Check that the outputs directory is empty on clean 2021-01-18 08:14:13 -08:00
howardwu
fa0cd887f4 Fix leo clean 2021-01-17 16:58:31 -05:00
howardwu
9678762ad4 Add caching for rust core jobs 2021-01-17 16:57:48 -05:00
howardwu
c3206ec558 Check location 2021-01-17 16:46:00 -05:00
howardwu
760fa9ee5c Release is unnecessary 2021-01-17 16:33:54 -05:00
howardwu
8db5374ebc Fix typo 2021-01-17 16:33:20 -05:00
howardwu
6739ab0040 Expand ci on leo commands 2021-01-17 14:33:52 -04:00