waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,429 Commits 8 Branches 0 Tags
057102c49129607db76cf05a055c002c51d603d8
Commit Graph

1042 Commits

Author SHA1 Message Date
rvcas
bd7b8792bf feat: introduce EvalResult type 2023-03-08 10:19:36 +01:00
rvcas
4f1d14f2a0 feat: introduce miette into uplc 2023-03-08 10:19:35 +01:00
KtorZ
cb11b21c9f Update dependencies 
In particular, tempfile >= 3.4.0 to remove the vulnerability on remove_dir_all
 2023-03-08 10:17:22 +01:00
rvcas
8f765bfd52 fix: some breaking changes from pallas v0.18 2023-03-06 13:17:14 -05:00
rvcas
c3175e2fc9 fix: some breaking changes from clap v4 2023-03-06 13:16:33 -05:00
rvcas
79c2cb3062 fix: toml now have a better way to capture error spans 2023-03-06 13:15:48 -05:00
rvcas
92161bed43 fix: From<&str> for GlobPattern does not exist need to use string 2023-03-06 13:15:12 -05:00
rvcas
1902a2d56c chore: update all deps 2023-03-06 13:13:59 -05:00
rvcas
1f8535e76e chore: update some deps 2023-03-06 11:09:44 -05:00
rvcas
9f587e802c chore: update comment 2023-03-03 20:57:20 -05:00
rvcas
e2dc4ec6c8 feat: implement convert command 2023-03-03 20:57:20 -05:00
rvcas
812ffb30f0 feat(cli): wire together a new command for convert 2023-03-03 20:57:20 -05:00
Kasey White
f230af436c fix: scope issue with expect and function calls 
Add acceptance test 72
 2023-03-03 01:00:35 -05:00
Kasey White
60bc2ab61d clippy 2023-03-02 21:49:20 -05:00
Kasey White
5779b77ccc fix: Had to also check for generic type in return of a function. 
add check to prevent stack overflow error
Add panic to prevent any other occurrences of stack overflow
 2023-03-02 21:49:20 -05:00
Kasey White
fe1f200e4d rename find_generics_... to find_and_replace_generics 
Other renames as well
 2023-03-02 21:49:20 -05:00
KtorZ
6d098a4571 Fix blueprint generation for nested fields with Data 
Having the data's schema be optional at the level of the 'Schema' did not allow to represent cases where there would be an opaque data at an arbitrary nesting. So I introduced a new variant 'Opaque' on 'Data' to fill that gap.
 2023-03-02 15:25:17 -05:00
rvcas
a40f88b918 fix: test never used Foo 2023-03-02 15:25:17 -05:00
KtorZ
65c336cb82 Update blueprint outputs to reflect latest specification. 
Schemas of datums, redeemers and parameters are now nested under a field 'schema'. This allows to define a field 'purpose' at the same level.
 2023-03-02 17:17:27 +01:00
KtorZ
70cdf3cb26 Add 'exported_data' test and revert 413a056 2023-03-02 16:09:08 +01:00
Kasey White
413a056c08 fix: Data was not allowed in an interface 
Co-authored-by: rvcas <x@rvcas.dev>
 2023-03-01 21:34:36 -05:00
Kasey White
d7c33bd62a fix: A unique error was caused by the order in which we insert functions. 
These functions relied on the same dependency and had the same scope. So insertion was by encounter rather than order determined by dependency handling. Now we switched to dependency order is prioritized to prevent free unique.
 2023-03-01 14:22:59 -05:00
KtorZ
a46a9fca41 Only use colors & text decorations on ANSI-capable terminals. 
Fixes #404.
 2023-02-26 13:19:03 +01:00
Kasey White
2f2be39813 clippy fixes 2023-02-26 00:13:38 -05:00
Kasey White
665a8dec67 feat: add support for unconstr_data 
-Builitins IR now acts like Record IR in terms of argument consumption
-UnConstrData returns as Pair(Data,Data) to conform with how pairs are treated behind the scenes.
 2023-02-26 00:13:38 -05:00
rvcas
0066cc61cc Release 0.0.29 
aiken@0.0.29
aiken-lang@0.0.29
aiken-lsp@0.0.29
aiken-project@0.0.29
uplc@0.0.29

Generated by cargo-workspaces
 2023-02-23 19:04:18 -05:00
KtorZ
539ed2dea4 Fix unicode char parsing in comments. 2023-02-22 17:33:13 +01:00
KtorZ
fbf65de1dc Update default cost models for Aiken 
Closes #396
 2023-02-22 17:03:48 +01:00
KtorZ
bdee5e7995 Use variable-length threshold for levenshtein distance 
Fixes #348
 2023-02-22 13:29:39 +01:00
KtorZ
00e9dabe82 Add missing Plutus builtins to Aiken's lang. 2023-02-22 12:53:03 +01:00
KtorZ
0838d48f7c Move module name validation outside of type-checking 
And disable it for documentation generation. This way, we can generate documentation for aiken/builtins and aiken (prelude)
 2023-02-22 11:51:32 +01:00
KtorZ
6465af3ae2 Add missing keywords to highlightjs for doc generation. 2023-02-22 11:50:31 +01:00
KtorZ
c0230a811f Add 'plutusVersion' to blueprints. 2023-02-21 15:37:35 +01:00
KtorZ
82a32a082b Remove 'purpose' from blueprint's schema. 
This has been removed from the CIP-0057 specification since validators
  are often re-used for multiple purposes (especially validators with
  arity 2). It's misleading to assign a validator a purpose since the
  purpose distinction actually happens _within_ the validator itself.
 2023-02-21 15:30:41 +01:00
KtorZ
db0dfbbec1 Fix blueprint schema for tuples. 2023-02-21 15:29:33 +01:00
rvcas
e611d1ee7a chore(cmd::new): update validator definition in generated readme 2023-02-20 15:51:12 -05:00
rvcas
97f03e5e98 fix: variants no longer exist 2023-02-20 15:46:55 -05:00
rvcas
94ffc36442 chore: cargo fmt fix 2023-02-20 15:46:55 -05:00
rvcas
bd93ced647 feat: improve validator arity check 
* add count to dynamically adjust message
* check if args is greater than 3
* delete unused project level errors
 2023-02-20 15:46:55 -05:00
rvcas
6af6607df4 chore: github made a weird commit 2023-02-20 15:30:25 -05:00
rvcas
8b9991fd5b chore: update some strings 2023-02-20 15:30:25 -05:00
Lucas
4b296de27c Update crates/aiken-lsp/src/utils.rs 
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
 2023-02-20 15:30:25 -05:00
rvcas
52bb0e749e fix(lsp): cannot blindly run publish after handle_request 2023-02-20 15:30:25 -05:00
rvcas
a8829889e3 feat(lsp): properly recompile project is files change 2023-02-20 15:30:25 -05:00
rvcas
c033cab79e feat(lsp): bring over some stuff for completions, it basically doesn't work right though 2023-02-20 15:30:25 -05:00
rvcas
02eaefce21 feat(lsp): include docs on hover 2023-02-20 15:30:25 -05:00
rvcas
815d7d80c6 feat(lsp): hover and goto definition 2023-02-20 15:30:25 -05:00
rvcas
39ea803fe6 chore: remove eprintln 2023-02-20 15:30:25 -05:00
rvcas
38bcbaf701 feat(lsp): enable compiling a project 2023-02-20 15:30:25 -05:00
rvcas
b55726c90f feat(project): remove Error::List and use Vec<Error> 2023-02-20 15:30:25 -05:00