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

#949 - Minimal pallas dependencies

Pull Request - State: closed - Opened by hadelive 4 months ago - 1 comment

#948 - Feature Request: aiken apply for multivalidators

Issue - State: closed - Opened by Quantumplation 4 months ago - 1 comment

#947 - How to contribute?

Issue - State: open - Opened by KtorZ 4 months ago
Labels: help welcomed

#947 - How to contribute?

Issue - State: open - Opened by KtorZ 4 months ago
Labels: help welcomed

#946 - Comments don't look good after formatting

Issue - State: closed - Opened by dmitrystas 5 months ago - 1 comment
Labels: bug, code formatting

#945 - fuzzer failed unexpectedly

Issue - State: closed - Opened by waalge 5 months ago

#944 - Fix scope management issue when deep-inferring callee.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#943 - add blaze to hello world

Pull Request - State: closed - Opened by rvcas 5 months ago

#942 - Compiler crashes with stack overflow

Issue - State: closed - Opened by t4ccer 5 months ago - 1 comment
Labels: bug, typechecking

#941 - typecheck permitting variables not in (hygenic) scope

Issue - State: closed - Opened by waalge 5 months ago - 1 comment
Labels: bug, typechecking

#940 - Compiler crashes when comparing functions

Issue - State: closed - Opened by t4ccer 5 months ago
Labels: bug, typechecking

#940 - Compiler crashes when comparing functions

Issue - State: closed - Opened by t4ccer 5 months ago
Labels: bug, typechecking

#939 - Compiler crashes if structs contain functions

Issue - State: closed - Opened by t4ccer 5 months ago - 1 comment
Labels: bug, typechecking

#939 - Compiler crashes if structs contain functions

Issue - State: closed - Opened by t4ccer 5 months ago - 1 comment
Labels: bug, typechecking

#938 - Modify blueprint schema to properly handle pairs

Pull Request - State: closed - Opened by MicroProofs 5 months ago

#938 - Modify blueprint schema to properly handle pairs

Pull Request - State: open - Opened by MicroProofs 5 months ago

#937 - Improve developer experience around parameterized validators

Issue - State: open - Opened by KtorZ 5 months ago
Labels: tooling, blueprint

#937 - Improve developer experience around parameterized validators

Issue - State: closed - Opened by KtorZ 5 months ago
Labels: tooling, blueprint

#927 - `aiken blueprint apply` works with the 1st parameter only

Issue - State: open - Opened by Fell-x27 5 months ago - 5 comments
Labels: tooling

#927 - `aiken blueprint apply` works with the 1st parameter only

Issue - State: open - Opened by Fell-x27 5 months ago - 5 comments
Labels: tooling

#926 - Setup `cargo dist`

Pull Request - State: closed - Opened by rvcas 5 months ago

#926 - Setup `cargo dist`

Pull Request - State: closed - Opened by rvcas 5 months ago

#925 - Example build errors

Issue - State: closed - Opened by ross-spencer 5 months ago - 3 comments

#925 - Example build errors

Issue - State: closed - Opened by ross-spencer 5 months ago - 3 comments

#924 - aiken::fatal::error in test

Issue - State: closed - Opened by oskin1 5 months ago - 5 comments
Labels: bug, test framework, waiting on response

#924 - aiken::fatal::error in test

Issue - State: closed - Opened by oskin1 5 months ago - 5 comments
Labels: bug, test framework, waiting on response

#923 - Add new acceptance test 101 capturing type mismatch at runtime.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#922 - Fix incongruous generics after type-checking.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#922 - Fix incongruous generics after type-checking.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#922 - Fix incongruous generics after type-checking.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#922 - Fix incongruous generics after type-checking.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#922 - Fix incongruous generics after type-checking.

Pull Request - State: closed - Opened by KtorZ 5 months ago

#921 - Type-checker wrongly requires MillerLoopResult to be serializable

Issue - State: closed - Opened by KtorZ 5 months ago
Labels: bug, typechecking

#921 - Type-checker wrongly requires MillerLoopResult to be serializable

Issue - State: closed - Opened by KtorZ 5 months ago
Labels: bug, typechecking

#919 - moving to pragma

Pull Request - State: closed - Opened by rvcas 5 months ago

#919 - moving to pragma

Pull Request - State: closed - Opened by rvcas 5 months ago

#918 - Aiken lsp hover back passing inside a block inside a when block

Issue - State: open - Opened by MicroProofs 5 months ago
Labels: bug, language-server

#918 - Aiken lsp hover back passing inside a block inside a when block

Issue - State: open - Opened by MicroProofs 5 months ago
Labels: bug, language-server

#917 - Invalid code successfully typechecks

Issue - State: closed - Opened by fallen-icarus 5 months ago - 2 comments
Labels: bug, typechecking

#917 - Invalid code successfully typechecks

Issue - State: closed - Opened by fallen-icarus 5 months ago - 2 comments
Labels: bug, typechecking

#917 - Invalid code successfully typechecks

Issue - State: closed - Opened by fallen-icarus 5 months ago - 2 comments
Labels: bug, typechecking

#917 - Invalid code successfully typechecks

Issue - State: closed - Opened by fallen-icarus 5 months ago - 2 comments
Labels: bug, typechecking

#917 - Invalid code successfully typechecks

Issue - State: closed - Opened by fallen-icarus 5 months ago - 2 comments
Labels: bug, typechecking

#916 - No warning/error for files ignored due to capital letters in filename

Issue - State: closed - Opened by mach-diamond 5 months ago
Labels: bug, tooling

#916 - No warning/error for files ignored due to capital letters in filename

Issue - State: closed - Opened by mach-diamond 5 months ago
Labels: bug, tooling

#914 - Update Fresh in the gift_card example

Pull Request - State: closed - Opened by coddeys 6 months ago

#913 - join the dots of the cli

Issue - State: closed - Opened by waalge 6 months ago - 4 comments

#912 - aiken docs : jump to source (if available)

Issue - State: closed - Opened by waalge 6 months ago - 2 comments
Labels: help welcomed

#910 - Make lsp less chatty (opt)

Issue - State: closed - Opened by waalge 6 months ago - 2 comments

#909 - Running to fatal error in and expression

Issue - State: closed - Opened by t0anh 6 months ago - 1 comment
Labels: bug, test framework

#908 - chore(deps): bump h2 from 0.3.24 to 0.3.26

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

#907 - Allow compiling targeting either PlutusV2 or PlutusV3

Issue - State: closed - Opened by KtorZ 6 months ago - 10 comments
Labels: uplc, tooling

#906 - aiken check coersion error

Issue - State: closed - Opened by waalge 6 months ago - 3 comments
Labels: bug, test framework

#904 - Aiken LSP Hover on generic functions

Issue - State: open - Opened by MicroProofs 6 months ago
Labels: bug, language-server

#903 - feat: Emit keyword

Pull Request - State: closed - Opened by micahkendall 6 months ago - 2 comments

#902 - Validators should implicitly be public

Issue - State: closed - Opened by franciscojoray 6 months ago - 1 comment

#901 - LSP type info on hover shows type of result instead of expression when using backpassing

Issue - State: closed - Opened by MicroProofs 6 months ago - 2 comments
Labels: bug, language-server

#900 - The command `aiken blueprint convert` doesn't detect Plutus V3 validators

Issue - State: closed - Opened by jmagan 6 months ago - 3 comments

#899 - Allow downcasting to data in piped function calls.

Pull Request - State: closed - Opened by KtorZ 6 months ago

#898 - Backpassing with expect gives a warning on pattern matches

Issue - State: closed - Opened by MicroProofs 6 months ago
Labels: bug, typechecking

#897 - Fixes #881.

Pull Request - State: closed - Opened by KtorZ 6 months ago - 1 comment

#896 - fix handling of casting and catching expect opaque

Pull Request - State: closed - Opened by rvcas 6 months ago - 1 comment

#894 - Improve warning message help for unused fields

Issue - State: closed - Opened by rvcas 6 months ago
Labels: help welcomed, typechecking

#893 - Needless parentheses around binop inserted by the formatter, following associativity fix

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: bug, code formatting

#890 - Discard is not taken into account in backpassing.

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: typechecking

#889 - Provide a mechanism for non-terminating cast from Data

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: parsing, typechecking, code gen

#888 - Remove complex clauses creation (TupleGuard, ClauseGuard, ListGuard) from the IR

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: code gen

#887 - Rework creation of when clauses to avoid the need for manual re-ordering and pattern filling

Issue - State: open - Opened by KtorZ 6 months ago
Labels: typechecking, code gen

#886 - Remove clause guards.

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: parsing, typechecking, code gen

#885 - Dashes in folder names or file names breaks the lsp

Issue - State: closed - Opened by MicroProofs 6 months ago - 3 comments
Labels: bug, language-server

#884 - Supercharge constant & rework 0-arg functions

Issue - State: open - Opened by KtorZ 6 months ago - 2 comments
Labels: parsing, typechecking, code gen

#883 - Formatter gets rid of fuzzer annotations

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: bug, code formatting

#882 - Spans are slightly off for some errors involving by-passing.

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: bug, typechecking

#881 - Ensure we can cast an opaque type to `Data`

Issue - State: closed - Opened by KtorZ 6 months ago
Labels: bug, typechecking

#880 - Add Pair type to code gen to simplify and improve using tuples

Issue - State: closed - Opened by KtorZ 6 months ago - 1 comment
Labels: parsing, typechecking, code gen

#877 - Only compile modules the project depends on

Pull Request - State: closed - Opened by KtorZ 7 months ago

#876 - add step method

Pull Request - State: closed - Opened by sbelizaire 7 months ago

#875 - block expects on opaque types

Pull Request - State: closed - Opened by rvcas 7 months ago - 5 comments

#874 - backpassing multiple patterns

Pull Request - State: closed - Opened by rvcas 7 months ago

#873 - Initial pass at watch filtering

Pull Request - State: open - Opened by Quantumplation 7 months ago - 3 comments

#872 - Failing tests print no traces

Issue - State: closed - Opened by Quantumplation 7 months ago - 1 comment

#871 - Backpassing

Pull Request - State: closed - Opened by KtorZ 7 months ago - 1 comment

#869 - Forbid non-serializable inhabitants in compound data-types.

Pull Request - State: closed - Opened by KtorZ 7 months ago - 1 comment

#867 - FR: `docs` propogates to deps

Issue - State: closed - Opened by waalge 7 months ago

#866 - Codegen Whoops in complex property test

Issue - State: closed - Opened by Quantumplation 7 months ago - 2 comments

#864 - Compiler crashes if a generator fails

Issue - State: closed - Opened by Quantumplation 7 months ago

#863 - Codegen whoops

Issue - State: closed - Opened by Quantumplation 7 months ago - 4 comments

#861 - Cache dependencies

Issue - State: closed - Opened by rvcas 7 months ago
Labels: tooling

#860 - Preserve type-aliases in (pretty-printed) type annotations

Pull Request - State: closed - Opened by KtorZ 7 months ago

#859 - impl serde on CheckedModule

Pull Request - State: closed - Opened by rvcas 7 months ago

#858 - Aiken testing and fixes

Pull Request - State: closed - Opened by MicroProofs 7 months ago

#857 - Parallel Parsing

Pull Request - State: closed - Opened by rvcas 7 months ago

#856 - Data deserialization checks

Pull Request - State: closed - Opened by MicroProofs 7 months ago

#855 - compiler crash on division after todo

Issue - State: closed - Opened by waalge 7 months ago - 2 comments

#854 - unexpect eof when actually there is a mismatch of braces

Issue - State: closed - Opened by waalge 7 months ago - 1 comment