Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ProvableHQ/leo issues and pull requests

#28445 - [Bug] TYC Bug for unknown functions.

Issue - State: open - Opened by d0cd 1 day ago
Labels: bug

#28444 - [Redesign] Update mechanism

Issue - State: open - Opened by d0cd 1 day ago
Labels: proposal

#28442 - [Redesign] Dissambler, retriever, and stub system

Issue - State: open - Opened by d0cd 2 days ago
Labels: bug

#28441 - Interpreter.

Pull Request - State: open - Opened by mikebenfield 4 days ago

#28440 - [Feature] CLI Update Notification.

Pull Request - State: closed - Opened by d0cd 8 days ago

#28439 - [Proposal] Consider relaxing shadowing to a warning.

Issue - State: open - Opened by d0cd 10 days ago
Labels: proposal

#28438 - [Fix] Update HTTP headers in Leo CLI.

Pull Request - State: closed - Opened by d0cd 10 days ago

#28437 - Codespace moonlit troll jjppxg67xq5h47j

Pull Request - State: closed - Opened by KarenR20241 11 days ago

#28436 - [Bug] Group tuple

Issue - State: open - Opened by d0cd 11 days ago
Labels: bug

#28435 - Introducing Leo Guru on Gurubase.io

Pull Request - State: open - Opened by kursataktas 11 days ago - 3 comments

#28434 - Update MSRV; disallow long IDs

Pull Request - State: closed - Opened by mikebenfield 12 days ago - 1 comment

#28433 - Disallow local variables from shadowing functions, structs, mappings,…

Pull Request - State: closed - Opened by mikebenfield 13 days ago - 2 comments

#28432 - Bump anyhow from 1.0.91 to 1.0.92

Pull Request - State: open - Opened by dependabot[bot] 15 days ago - 1 comment
Labels: dependencies

#28431 - Bump thiserror from 1.0.65 to 1.0.66

Pull Request - State: open - Opened by dependabot[bot] 15 days ago
Labels: dependencies

#28430 - [Feature] Improve array construction.

Issue - State: open - Opened by d0cd 16 days ago
Labels: feature

#28429 - [Bug] Leo should check that input records are not returned directly.

Issue - State: open - Opened by d0cd 18 days ago
Labels: bug

#28428 - [Proposal] Tutorial for updating program logic.

Issue - State: open - Opened by d0cd 18 days ago
Labels: proposal

#28427 - Bump serde from 1.0.213 to 1.0.214

Pull Request - State: closed - Opened by dependabot[bot] 18 days ago
Labels: dependencies

#28426 - Bump reqwest from 0.12.8 to 0.12.9

Pull Request - State: closed - Opened by dependabot[bot] 18 days ago
Labels: dependencies

#28424 - [Feature] Print Statements

Pull Request - State: open - Opened by d0cd 22 days ago

#28423 - Bump regex from 1.11.0 to 1.11.1

Pull Request - State: closed - Opened by dependabot[bot] 22 days ago
Labels: dependencies

#28422 - [Docs] Fix broken links

Pull Request - State: closed - Opened by d0cd 24 days ago

#28421 - Don't panic when outputting TOML arrays in test failures.

Pull Request - State: closed - Opened by mikebenfield 24 days ago

#28420 - Bump anyhow from 1.0.90 to 1.0.91

Pull Request - State: closed - Opened by dependabot[bot] 24 days ago
Labels: dependencies

#28419 - Bump serde from 1.0.211 to 1.0.213

Pull Request - State: closed - Opened by dependabot[bot] 24 days ago
Labels: dependencies

#28418 - Bump thiserror from 1.0.64 to 1.0.65

Pull Request - State: closed - Opened by dependabot[bot] 24 days ago
Labels: dependencies

#28417 - Handle closures that are invalid for Aleo.

Pull Request - State: closed - Opened by mikebenfield 25 days ago - 4 comments

#28416 - [Feature] CTFE on array sizes

Issue - State: open - Opened by d0cd 25 days ago
Labels: feature

#28415 - Bump serde from 1.0.210 to 1.0.211

Pull Request - State: closed - Opened by dependabot[bot] 25 days ago
Labels: dependencies

#28414 - [CI] Move integration tests to CircleCI

Pull Request - State: closed - Opened by d0cd 26 days ago

#28412 - Test format

Pull Request - State: closed - Opened by mikebenfield 26 days ago

#28410 - How to claim my aleo tekens for the setup ceremony?

Issue - State: closed - Opened by 13billyblack 26 days ago - 1 comment
Labels: proposal

#28409 - [Bug] Negative literals error when passed in via command line.

Issue - State: open - Opened by d0cd 26 days ago
Labels: bug

#28408 - Bump anyhow from 1.0.89 to 1.0.90

Pull Request - State: closed - Opened by dependabot[bot] 26 days ago
Labels: dependencies

#28407 - More cli fixes.

Pull Request - State: closed - Opened by mikebenfield 29 days ago

#28406 - [CI] ssh into GitHub actions

Pull Request - State: closed - Opened by d0cd 29 days ago - 1 comment

#28405 - [Bug] Internal flattening pass does not respect SSA semantics.

Issue - State: closed - Opened by d0cd 29 days ago
Labels: bug

#28404 - Remove unused '.out' expectations files.

Pull Request - State: closed - Opened by mikebenfield 30 days ago

#28403 - SETUP CEREMONY ERROR

Issue - State: closed - Opened by 13billyblack about 1 month ago - 1 comment
Labels: proposal

#28402 - Output bytecode for test cases.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago - 1 comment

#28401 - [Bug] Leo generates invalid Aleo code for empty functions / closures

Issue - State: closed - Opened by mikebenfield about 1 month ago
Labels: bug

#28400 - Fixes to clap CLI code.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28399 - [Bug] Update Leo Docs links in repo.

Issue - State: closed - Opened by d0cd about 1 month ago
Labels: bug

#28398 - only_testnet feature.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago - 1 comment

#28397 - Turn off LTO for dev and test builds.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago - 1 comment

#28396 - Fix help messages for command line options.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28394 - [Feature] Test framework should output bytecode.

Issue - State: closed - Opened by d0cd about 1 month ago - 1 comment
Labels: feature

#28393 - [Bug] Asserts don't provide information on which one failed.

Issue - State: open - Opened by d0cd about 1 month ago
Labels: bug

#28392 - Improve handling of guards while flattening.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago - 2 comments

#28391 - [Bug] CI takes too long to run, consider splitting tests to make this faster

Issue - State: closed - Opened by d0cd about 1 month ago
Labels: bug

#28390 - [Feature] Test framework in "run" mode.

Issue - State: open - Opened by d0cd about 1 month ago
Labels: feature

#28389 - [Feature] Array assignment.

Issue - State: open - Opened by d0cd about 1 month ago
Labels: feature

#28388 - [Feature] Array variable indexing.

Issue - State: open - Opened by d0cd about 1 month ago
Labels: feature

#28387 - [Bug] asserts don't consider early returns

Issue - State: closed - Opened by mikebenfield about 1 month ago
Labels: bug

#28385 - Bump clap from 4.5.19 to 4.5.20

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies

#28384 - [Refactor] Remove `examples` and add it back in as a submodule

Pull Request - State: closed - Opened by d0cd about 1 month ago - 1 comment

#28383 - hex and binary literals for integers.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28382 - Clean up dependencies.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago - 1 comment

#28381 - Require comma separators (and nothing else) between struct members.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28380 - Display Type::Boolean as `bool`, not `boolean`.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28379 - [Bug] Struct can be parsed without separators.

Issue - State: closed - Opened by d0cd about 1 month ago
Labels: bug

#28378 - [Bug] `parse_console_statement` is obsolete

Issue - State: open - Opened by d0cd about 1 month ago
Labels: bug

#28376 - [Bug] The parser allows imports after the program scope

Issue - State: open - Opened by d0cd about 1 month ago
Labels: bug

#28374 - Address clippy lints.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28373 - Add function inputs to the type table.

Pull Request - State: closed - Opened by mikebenfield about 1 month ago

#28372 - [Bug] Fix basic Leo README.

Issue - State: open - Opened by d0cd about 1 month ago
Labels: bug

#28371 - [Docs] Remove examples to workshop repo

Issue - State: open - Opened by d0cd about 1 month ago
Labels: documentation

#28370 - [Bug] compiler panic with assignment in else block

Issue - State: closed - Opened by mikebenfield about 1 month ago
Labels: bug

#28369 - [Cleanup] Remove unused `json` feature

Issue - State: closed - Opened by d0cd about 2 months ago - 1 comment
Labels: bug

#28368 - Bump clap from 4.5.17 to 4.5.19

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies

#28367 - [Format] Update to latest nightly format recommendations.

Pull Request - State: closed - Opened by d0cd about 2 months ago

#28366 - [Feature]

Issue - State: open - Opened by kire81 about 2 months ago
Labels: feature

#28365 - [Bug] URL in leo examples needs to http for local execution.

Issue - State: closed - Opened by d0cd about 2 months ago
Labels: bug

#28364 - [Bug] Leo Deploy dry run does not show txn.

Issue - State: open - Opened by d0cd about 2 months ago
Labels: bug

#28363 - [Bug] Investigate capital letters in Leo program names

Issue - State: open - Opened by d0cd about 2 months ago
Labels: bug

#28362 - Bump reqwest from 0.12.7 to 0.12.8

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies

#28361 - [Bug]

Issue - State: open - Opened by Wythmadam about 2 months ago
Labels: bug

#28360 - Bump tempfile from 3.12.0 to 3.13.0

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies

#28359 - Bump regex from 1.10.6 to 1.11.0

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies

#28358 - Bump clap from 4.5.17 to 4.5.18

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies

#28357 - Bump thiserror from 1.0.63 to 1.0.64

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies

#28356 - I submitted my contribution in time but it was declined

Issue - State: open - Opened by eyjafjallajoskull about 2 months ago
Labels: proposal

#28354 - Leo contributor badge

Issue - State: open - Opened by must479 about 2 months ago
Labels: feature

#28353 - [Feature]

Issue - State: open - Opened by must479 about 2 months ago
Labels: feature

#28352 - Update to the lastest snarkVM version.

Pull Request - State: closed - Opened by d0cd about 2 months ago

#28351 - [Bug]

Issue - State: closed - Opened by Athena95-h 2 months ago
Labels: bug

#28350 - Bump anyhow from 1.0.88 to 1.0.89

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#28349 - Update error messaging to account for redirects from APIs

Pull Request - State: closed - Opened by d0cd 2 months ago

#28348 - Bump anyhow from 1.0.87 to 1.0.88

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#28347 - mod: Refactor Testnet Endpoint frrom api.explorer.aleo.org to api.exp…

Pull Request - State: closed - Opened by TheSpiritMan 2 months ago - 1 comment

#28346 - mod: Refactor Testnet Endpoint frrom api.explorer.aleo.org to api.exp…

Pull Request - State: closed - Opened by TheSpiritMan 2 months ago - 1 comment