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
#905 - Aiken error on using tuple index when a tuple is returned by a (generic) function
Issue -
State: closed - Opened by MicroProofs 6 months ago
- 1 comment
#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
#892 - (automatically) provide structured JSON outputs for commands when stdout isn't an ANSI-capable terminal
Issue -
State: closed - Opened by KtorZ 6 months ago
Labels: tooling
#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
#878 - Invalid error reported in `expect` expression for a public non-opaque type
Issue -
State: closed - Opened by mpetruska 7 months ago
- 4 comments
#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
#862 - Include the number of tests / checks run as part of the summary
Pull Request -
State: closed - Opened by Quantumplation 7 months ago
#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
#853 - Severe/Critical codegen bug in behaviour of `expect` in combination with `Void`
Issue -
State: closed - Opened by KristianBalaj 7 months ago