issues
search
aiken-lang
/
aiken
A modern smart contract platform for Cardano
https://aiken-lang.org
Apache License 2.0
454
stars
84
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Improve warning message help for unused fields
#894
rvcas
closed
4 months ago
0
Needless parentheses around binop inserted by the formatter, following associativity fix
#893
KtorZ
closed
5 months ago
0
(automatically) provide structured JSON outputs for commands when stdout isn't an ANSI-capable terminal
#892
KtorZ
closed
4 months ago
0
Discard is not taken into account in backpassing.
#890
KtorZ
closed
5 months ago
0
Provide a mechanism for non-terminating cast from Data
#889
KtorZ
closed
2 months ago
0
Remove complex clauses creation (TupleGuard, ClauseGuard, ListGuard) from the IR
#888
KtorZ
closed
5 days ago
0
Rework creation of when clauses to avoid the need for manual re-ordering and pattern filling
#887
KtorZ
opened
5 months ago
0
Remove clause guards.
#886
KtorZ
closed
1 month ago
0
Dashes in folder names or file names breaks the lsp
#885
MicroProofs
closed
5 days ago
3
Formatter gets rid of fuzzer annotations
#883
KtorZ
closed
5 months ago
0
Spans are slightly off for some errors involving by-passing.
#882
KtorZ
closed
5 months ago
0
Ensure we can cast an opaque type to `Data`
#881
KtorZ
closed
5 months ago
0
Add Pair type to code gen to simplify and improve using tuples
#880
KtorZ
closed
4 months ago
1
Invalid error reported in `expect` expression for a public non-opaque type
#878
mpetruska
closed
5 months ago
4
Only compile modules the project depends on
#877
KtorZ
closed
5 months ago
0
add step method
#876
sbelizaire
closed
5 months ago
0
block expects on opaque types
#875
rvcas
closed
5 months ago
5
backpassing multiple patterns
#874
rvcas
closed
5 months ago
0
Initial pass at watch filtering
#873
Quantumplation
opened
6 months ago
3
Failing tests print no traces
#872
Quantumplation
closed
6 months ago
1
Backpassing
#871
KtorZ
closed
6 months ago
1
Forbid non-serializable inhabitants in compound data-types.
#869
KtorZ
closed
6 months ago
1
FR: `docs` propogates to deps
#867
waalge
closed
6 months ago
0
Codegen Whoops in complex property test
#866
Quantumplation
closed
6 months ago
2
Compiler crashes if a generator fails
#864
Quantumplation
closed
6 months ago
0
Codegen whoops
#863
Quantumplation
closed
6 months ago
4
Include the number of tests / checks run as part of the summary
#862
Quantumplation
closed
6 months ago
0
Cache dependencies
#861
rvcas
closed
4 months ago
0
Preserve type-aliases in (pretty-printed) type annotations
#860
KtorZ
closed
6 months ago
0
impl serde on CheckedModule
#859
rvcas
closed
6 months ago
0
Aiken testing and fixes
#858
MicroProofs
closed
6 months ago
0
Parallel Parsing
#857
rvcas
closed
6 months ago
0
Data deserialization checks
#856
MicroProofs
closed
6 months ago
0
compiler crash on division after todo
#855
waalge
closed
5 months ago
2
unexpect eof when actually there is a mismatch of braces
#854
waalge
closed
6 months ago
1
Severe/Critical codegen bug in behaviour of `expect` in combination with `Void`
#853
KristianBalaj
closed
6 months ago
0
Bug: We need a data type definition for type Var
#852
AgustinBadi
closed
6 months ago
0
update package dependency
#851
MicroProofs
closed
6 months ago
0
Bump mio from 0.8.10 to 0.8.11
#850
dependabot[bot]
closed
6 months ago
0
Waalge/bump rust 1 76 0
#849
waalge
closed
6 months ago
0
bump rust version in flake
#848
waalge
closed
6 months ago
0
Forbid opaque types in the application binary interface.
#847
KtorZ
closed
6 months ago
0
Start working on separating pairs from 2 tuples in Aiken
#845
MicroProofs
closed
4 months ago
1
Code type checks but fails to build
#844
fallen-icarus
closed
6 months ago
2
Add `aiken export`
#843
rvcas
closed
5 months ago
3
Implement quickfixes for more warnings
#842
KtorZ
closed
5 months ago
0
Bug: Typemismatch while computing a G1Element value.
#840
AgustinBadi
closed
6 months ago
3
Unit type missing
#839
nazrhom
closed
6 months ago
4
no traces
#838
waalge
closed
6 months ago
6
Error message for non-existing versions of aiken is missing
#837
nielstron
closed
6 months ago
4
Previous
Next