issues
search
ProvableHQ
/
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
https://leo-lang.org/
GNU General Public License v3.0
4.79k
stars
655
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Bug] compiler panic with assignment in else block
#28370
mikebenfield
opened
16 minutes ago
0
[Cleanup] Remove unused `json` feature
#28369
d0cd
opened
8 hours ago
0
Bump clap from 4.5.17 to 4.5.19
#28368
dependabot[bot]
opened
13 hours ago
1
[Format] Update to latest nightly format recommendations.
#28367
d0cd
closed
8 hours ago
0
[Feature]
#28366
kire81
opened
23 hours ago
0
[Bug] URL in leo examples needs to http for local execution.
#28365
d0cd
closed
8 hours ago
0
[Bug] Leo Deploy dry run does not show txn.
#28364
d0cd
opened
1 day ago
0
[Bug] Investigate capital letters in Leo program names
#28363
d0cd
opened
1 day ago
0
Bump reqwest from 0.12.7 to 0.12.8
#28362
dependabot[bot]
opened
1 day ago
1
[Bug]
#28361
Wythmadam
opened
2 days ago
0
Bump tempfile from 3.12.0 to 3.13.0
#28360
dependabot[bot]
opened
2 days ago
1
Bump regex from 1.10.6 to 1.11.0
#28359
dependabot[bot]
opened
2 days ago
1
Bump clap from 4.5.17 to 4.5.18
#28358
dependabot[bot]
closed
13 hours ago
1
Bump thiserror from 1.0.63 to 1.0.64
#28357
dependabot[bot]
opened
1 week ago
1
I submitted my contribution in time but it was declined
#28356
eyjafjallajoskull
opened
1 week ago
0
I submitted my contribution in time but it was declined because deadline was Dec 19!
#28355
eyjafjallajoskull
closed
1 week ago
0
Leo contributor badge
#28354
must479
opened
2 weeks ago
0
[Feature]
#28353
must479
opened
2 weeks ago
0
Update to the lastest snarkVM version.
#28352
d0cd
closed
2 weeks ago
0
[Bug]
#28351
Athena95-h
closed
2 weeks ago
0
Bump anyhow from 1.0.88 to 1.0.89
#28350
dependabot[bot]
closed
22 hours ago
0
Update error messaging to account for redirects from APIs
#28349
d0cd
closed
2 weeks ago
0
Bump anyhow from 1.0.87 to 1.0.88
#28348
dependabot[bot]
closed
2 weeks ago
0
mod: Refactor Testnet Endpoint frrom api.explorer.aleo.org to api.exp…
#28347
TheSpiritMan
closed
2 weeks ago
1
mod: Refactor Testnet Endpoint frrom api.explorer.aleo.org to api.exp…
#28346
TheSpiritMan
closed
2 weeks ago
1
[Feature] Leo CLI new version update notification
#28345
ungaro
opened
3 weeks ago
3
[Feature] Handle GET and POST requests better.
#28344
d0cd
opened
3 weeks ago
0
[Feature] Leo init
#28343
d0cd
opened
3 weeks ago
1
Update API endpoint.
#28342
d0cd
closed
3 weeks ago
0
Bump backtrace from 0.3.73 to 0.3.74
#28341
dependabot[bot]
closed
3 weeks ago
0
Bump anyhow from 1.0.86 to 1.0.87
#28340
dependabot[bot]
closed
3 weeks ago
0
Bump serde from 1.0.209 to 1.0.210
#28339
dependabot[bot]
closed
3 weeks ago
0
[Docs] Add CooperNic to contributors.
#28338
CooperNic
opened
3 weeks ago
0
Bump reqwest from 0.12.5 to 0.12.7
#28337
dependabot[bot]
closed
3 weeks ago
0
Bump clap from 4.5.16 to 4.5.17
#28336
dependabot[bot]
closed
3 weeks ago
0
[Feature] Leo CLI should notify users as soon as there is a new version available, for any invocation of the CLI
#28335
d0cd
opened
4 weeks ago
0
Update license header, Cargo metadata, and snarkVM rev.
#28334
d0cd
closed
4 weeks ago
0
[Feature] `leo fmt`
#28333
d0cd
opened
4 weeks ago
0
Leo Installation for Windows Bug (const-oid)
#28332
Elexy101
closed
4 weeks ago
1
[Proposal] Remove CONTRIBUTORS.md or move it to its own repo.
#28331
ungaro
opened
1 month ago
0
[Feature] Add deployment summary with comma-formatted variables and constraints counts.
#28330
ungaro
closed
4 weeks ago
2
Bump serde from 1.0.208 to 1.0.209
#28329
dependabot[bot]
closed
1 month ago
0
[Feature] CLI should tell exact number of variables in deployment
#28328
d0cd
closed
4 weeks ago
2
leo error reporting after build
#28327
ungaro
opened
1 month ago
1
small error formatting improvements
#28326
ungaro
closed
1 month ago
3
Bump serde from 1.0.207 to 1.0.208
#28325
dependabot[bot]
closed
1 month ago
0
Bump clap from 4.5.15 to 4.5.16
#28324
dependabot[bot]
closed
1 month ago
0
Remove --seed flag from account sign command
#28323
Meshiest
closed
1 month ago
3
allow non-leo files to be in src folder
#28322
ungaro
closed
1 month ago
1
allow non leo files to be in src folder
#28321
ungaro
closed
1 month ago
1
Next