Ecosyste.ms: Issues

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

GitHub / aiken-lang/aiken issues and pull requests

#501 - End to end uplc tests

Pull Request - State: closed - Opened by MicroProofs over 1 year ago - 2 comments

#500 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#500 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#499 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#499 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#498 - chore(deps): bump h2 from 0.3.16 to 0.3.17

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

#498 - chore(deps): bump h2 from 0.3.16 to 0.3.17

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

#497 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#497 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#494 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#494 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#493 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#493 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#493 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#492 - Improve `aiken packages` / `aiken add` commands

Issue - State: open - Opened by KtorZ over 1 year ago - 6 comments
Labels: help welcomed, tooling

#492 - Improve `aiken packages` / `aiken add` commands

Issue - State: closed - Opened by KtorZ over 1 year ago - 10 comments
Labels: help welcomed, tooling

#492 - Improve `aiken packages` / `aiken add` commands

Issue - State: closed - Opened by KtorZ over 1 year ago - 10 comments
Labels: help welcomed, tooling

#490 - new attempt at machine speed improvements

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment
Labels: virtual machine

#490 - new attempt at machine speed improvements

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment
Labels: virtual machine

#489 - Provide better (runtime) feedback / errors when failing to `expect`

Issue - State: open - Opened by rvcas over 1 year ago
Labels: code gen, tooling

#489 - Provide better (runtime) feedback / errors when failing to `expect`

Issue - State: open - Opened by rvcas over 1 year ago
Labels: code gen, tooling

#489 - Provide better (runtime) feedback / errors when failing to `expect`

Issue - State: closed - Opened by rvcas over 1 year ago - 4 comments
Labels: code gen, tooling

#488 - Blueprint apply error between commits

Issue - State: closed - Opened by logicalmechanism over 1 year ago - 1 comment

#488 - Blueprint apply error between commits

Issue - State: closed - Opened by logicalmechanism over 1 year ago - 1 comment

#488 - Blueprint apply error between commits

Issue - State: closed - Opened by logicalmechanism over 1 year ago - 1 comment

#487 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#486 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#485 - chore(deps): bump openssl from 0.10.45 to 0.10.49

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

#485 - chore(deps): bump openssl from 0.10.45 to 0.10.49

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

#483 - "Large" hydra transaction fails evaluation process in a timely manner (within sensible bounds expected).

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 7 comments
Labels: virtual machine

#483 - "Large" hydra transaction fails evaluation process in a timely manner (within sensible bounds expected).

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 7 comments
Labels: virtual machine

#483 - "Large" hydra transaction fails evaluation process in a timely manner (within sensible bounds expected).

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 7 comments
Labels: virtual machine

#482 - update flake

Pull Request - State: closed - Opened by waalge over 1 year ago - 1 comment

#482 - update flake

Pull Request - State: closed - Opened by waalge over 1 year ago - 1 comment

#482 - update flake

Pull Request - State: closed - Opened by waalge over 1 year ago - 1 comment

#480 - Multi Validator onchain and offchain for gift card.

Pull Request - State: open - Opened by MicroProofs over 1 year ago

#479 - validators: unused param warning

Pull Request - State: closed - Opened by rvcas over 1 year ago
Labels: parsing, typechecking

#478 - bump alloc in the VM

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment

#478 - bump alloc in the VM

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment

#477 - Blueprint schema validation

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#477 - Blueprint schema validation

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#477 - Blueprint schema validation

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#476 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#476 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#475 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#475 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#475 - Update Cargo.nix

Pull Request - State: closed - Opened by github-actions[bot] over 1 year ago

#474 - Acceptance scenario 080: expect unary constructors

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#473 - fix: Scope issues caused by common ancestor scope being the value instead of the assignment

Pull Request - State: closed - Opened by MicroProofs over 1 year ago
Labels: bug, code gen

#473 - fix: Scope issues caused by common ancestor scope being the value instead of the assignment

Pull Request - State: closed - Opened by MicroProofs over 1 year ago
Labels: bug, code gen

#472 - aiken uplc unflat incorrectly escapes strings

Issue - State: closed - Opened by nielstron over 1 year ago - 4 comments
Labels: bug, uplc

#472 - aiken uplc unflat incorrectly escapes strings

Issue - State: closed - Opened by nielstron over 1 year ago - 4 comments
Labels: bug, uplc

#471 - Trace formatting issue (minor bug / almost enhancement).

Issue - State: closed - Opened by matiwinnetou over 1 year ago
Labels: bug, code formatting

#470 - hashes do not match (sometimes)?

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 2 comments

#469 - Aiken build -k doesn't work properly or even at all?

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 5 comments

#468 - create `struct AirStack` to make scope handling and IR construction less error prone

Issue - State: closed - Opened by rvcas over 1 year ago
Labels: code gen

#468 - create `struct AirStack` to make scope handling and IR construction less error prone

Issue - State: closed - Opened by rvcas over 1 year ago
Labels: code gen

#467 - Create AirStack

Pull Request - State: closed - Opened by rvcas over 1 year ago
Labels: code gen

#466 - Code Gen Cleanup

Issue - State: open - Opened by rvcas over 1 year ago
Labels: code gen

#466 - Code Gen Cleanup

Issue - State: open - Opened by rvcas over 1 year ago
Labels: code gen

#466 - Code Gen Cleanup

Issue - State: closed - Opened by rvcas over 1 year ago
Labels: code gen

#465 - Exception while running aiken build -k

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 6 comments
Labels: bug, code gen

#464 - Aiken is no longer evaluating trace and cbor traces.

Issue - State: closed - Opened by matiwinnetou over 1 year ago - 11 comments

#463 - bump rustc version for nix

Pull Request - State: closed - Opened by waalge over 1 year ago

#461 - An end-to-end minting/burning policy example would be beneficial.

Issue - State: closed - Opened by rvcas over 1 year ago
Labels: need for documentation

#460 - Refactor code gen uplc

Pull Request - State: closed - Opened by MicroProofs over 1 year ago
Labels: uplc, code gen

#459 - Cleanup implementation from multi-subjects when/is

Pull Request - State: closed - Opened by KtorZ over 1 year ago - 1 comment

#458 - Fix comment formatting panic

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#457 - Two in one validators

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment

#457 - Two in one validators

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment

#456 - Add new failing test case for 048 (clause guards)

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#456 - Add new failing test case for 048 (clause guards)

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#456 - Add new failing test case for 048 (clause guards)

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#455 - Support multi-clause patterns as syntactic sugar

Pull Request - State: closed - Opened by KtorZ over 1 year ago - 3 comments

#455 - Support multi-clause patterns as syntactic sugar

Pull Request - State: closed - Opened by KtorZ over 1 year ago - 3 comments

#454 - Enforce newline after assignment / clause.

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#453 - Removed unused let-bindings from generated code.

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#452 - FreeUnique(Name { text: "aiken/dict_new", unique: Unique(90) })

Issue - State: closed - Opened by logicalmechanism over 1 year ago
Labels: bug, code gen

#452 - FreeUnique(Name { text: "aiken/dict_new", unique: Unique(90) })

Issue - State: closed - Opened by logicalmechanism over 1 year ago
Labels: bug, code gen

#451 - Erase unused let-binding from when de-sugaring (Untyped -> Typed) and trigger proper warnings

Issue - State: closed - Opened by KtorZ over 1 year ago
Labels: typechecking

#451 - Erase unused let-binding from when de-sugaring (Untyped -> Typed) and trigger proper warnings

Issue - State: closed - Opened by KtorZ over 1 year ago
Labels: typechecking

#450 - Provide better compiler feedback for type holes in annotations.

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#450 - Provide better compiler feedback for type holes in annotations.

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#450 - Provide better compiler feedback for type holes in annotations.

Pull Request - State: closed - Opened by KtorZ over 1 year ago

#449 - Add type information on type-holes

Issue - State: closed - Opened by KtorZ over 1 year ago
Labels: typechecking

#449 - Add type information on type-holes

Issue - State: closed - Opened by KtorZ over 1 year ago
Labels: typechecking

#449 - Add type information on type-holes

Issue - State: closed - Opened by KtorZ over 1 year ago
Labels: typechecking

#448 - W/gift card multinetwork

Pull Request - State: closed - Opened by waalge over 1 year ago - 1 comment

#447 - print todo's type when printing the todo warning

Pull Request - State: closed - Opened by rvcas over 1 year ago
Labels: typechecking

#446 - Have `todo` properly displays the expected type

Issue - State: closed - Opened by rvcas over 1 year ago

#446 - Have `todo` properly displays the expected type

Issue - State: closed - Opened by rvcas over 1 year ago

#446 - Have `todo` properly displays the expected type

Issue - State: closed - Opened by rvcas over 1 year ago

#445 - Lucid Issue

Pull Request - State: closed - Opened by rvcas over 1 year ago - 1 comment

#444 - Add Deno to nix

Pull Request - State: closed - Opened by waalge over 1 year ago - 2 comments

#444 - Add Deno to nix

Pull Request - State: closed - Opened by waalge over 1 year ago - 2 comments

#444 - Add Deno to nix

Pull Request - State: closed - Opened by waalge over 1 year ago - 2 comments

#443 - Flexible pipe operator

Pull Request - State: closed - Opened by KtorZ over 1 year ago - 1 comment

#442 - do not force newlines on `|>`

Issue - State: closed - Opened by KtorZ over 1 year ago
Labels: code formatting