c18deecdc8
Show slightly better schema mismatch errors
...
Display terms as CBOR diagnostic when they are Plutus data.
2023-04-08 08:57:38 +02:00
565c0bea74
Write JSON deserializers for Reference, Constructors, Items and Data.
...
This is needed in order to deserialize a JSON blueprint and use it to perform validation.
Still TODO:
- [ ] Write JSON deserializer for 'Schema'
Which should now be relatively straightforward.
2023-04-08 08:53:49 +02:00
9a73535610
chore(deps): bump openssl from 0.10.45 to 0.10.49
...
Bumps [openssl](https://github.com/sfackler/rust-openssl ) from 0.10.45 to 0.10.49.
- [Release notes](https://github.com/sfackler/rust-openssl/releases )
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.45...openssl-v0.10.49 )
---
updated-dependencies:
- dependency-name: openssl
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-04-07 17:21:51 -04:00
298e8068ee
chore: remove program_builder
2023-03-30 21:15:27 -04:00
1d3315005c
Support some single-character escape sequences in UPLC
...
Fixes #472 .
This also partially addresses #195 . However, as pointed out in one of
the comment, there's no 'official rule' when it comes to what should
be considered valid escape sequences. Haskell relies mostly on the
AttoParsec library and Rust also has its own set of rules.
This is in particular true for unicode escape sequences, but there is
a common middleground for some usual single character escapes such as
\n or \\. So we now at least support these.
For more complicated escape sequence, please refer to #195 for now and
keep the discussion going there.
2023-03-30 11:50:59 +02:00
dc500b8e13
Add missing import to owo_colors
2023-03-30 09:21:59 +02:00
4f1d14f2a0
feat: introduce miette into uplc
2023-03-08 10:19:35 +01:00
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
1902a2d56c
chore: update all deps
2023-03-06 13:13:59 -05:00
1f8535e76e
chore: update some deps
2023-03-06 11:09:44 -05:00
a46a9fca41
Only use colors & text decorations on ANSI-capable terminals.
...
Fixes #404 .
2023-02-26 13:19:03 +01:00
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
fbf65de1dc
Update default cost models for Aiken
...
Closes #396
2023-02-22 17:03:48 +01:00
815d7d80c6
feat(lsp): hover and goto definition
2023-02-20 15:30:25 -05:00
56258dc815
Fix todo/error parser on when clauses.
2023-02-16 00:40:49 +01:00
c1d67e95e1
feat: fix errors and add tests for BigInt changes
2023-02-09 15:01:30 -05:00
e76d26eb3c
Fixup: follow compiler.
2023-02-09 16:09:49 +01:00
ec58279424
test(machine): integer overflow
2023-02-09 09:44:06 -05:00
67a2674d27
feat: allow verify functions to build for wasm
2023-02-07 00:25:22 -05:00
fb69a2c8a9
fix: switch to rust bindings for bitcoin-secp256k1
2023-02-04 22:07:56 -05:00
7bffb994fc
feat: add k256 for elliptic curve algos
2023-02-04 22:07:56 -05:00
71b7ec6088
chore(deps): bump tokio from 1.23.1 to 1.24.2
...
Bumps [tokio](https://github.com/tokio-rs/tokio ) from 1.23.1 to 1.24.2.
- [Release notes](https://github.com/tokio-rs/tokio/releases )
- [Commits](https://github.com/tokio-rs/tokio/commits )
---
updated-dependencies:
- dependency-name: tokio
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-02-04 20:06:54 -05:00
fdf89b7326
implement optimizations
...
-Force usage on builtins
-Inline vars used once
-Lambdas that use a var as an arg
-Lambdas that use a const as an arg
2023-02-01 23:49:33 -05:00
618ea0c8dc
feat: switch to zip from zip-extract
2023-02-01 14:50:18 -05:00
651f757b63
chore(deps): bump bzip2 from 0.4.3 to 0.4.4
...
Bumps [bzip2](https://github.com/alexcrichton/bzip2-rs ) from 0.4.3 to 0.4.4.
- [Release notes](https://github.com/alexcrichton/bzip2-rs/releases )
- [Commits](https://github.com/alexcrichton/bzip2-rs/commits/0.4.4 )
---
updated-dependencies:
- dependency-name: bzip2
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-02-01 13:00:30 -05:00
6974d31285
chore(deps): bump tokio from 1.23.0 to 1.23.1
...
Bumps [tokio](https://github.com/tokio-rs/tokio ) from 1.23.0 to 1.23.1.
- [Release notes](https://github.com/tokio-rs/tokio/releases )
- [Commits](https://github.com/tokio-rs/tokio/compare/tokio-1.23.0...tokio-1.23.1 )
---
updated-dependencies:
- dependency-name: tokio
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-02-01 12:36:49 -05:00
daee8e39d6
Implement new command: address
...
This calculates a validator's address from validators found in a blueprint. It also provides a convenient way to attach a delegation part to the validator if needs be. The command is meant to provide a nice user experience and works 'out of the box' for projects that have only a single validator. Just call 'aiken address' to get the validator's address.
Note that the command-line doesn't provide any option to configure the target network. This automatically assumes testnet, and will until we deem the project ready for mainnet. Those brave enough to run an Aiken's program on mainnet will find a way anyway.
2023-01-31 15:39:40 +01:00
d2cc44e5f4
Allow testing blueprint generation from Aiken programs
...
This is quite something, because now we have a testing pipeline that
can also be used for testing other compiler-related stuff such as the
type-checker or the code generator.
2023-01-31 09:48:44 +01:00
e8fb386bdc
chore: Switch from hashmap and hashset to indexmap and indexset
2023-01-21 18:10:15 -05:00
0771ab24bd
Move 'PackageName' and associated methods in its own module.
...
This is a bit cleaner, as the 'cmd/new' had many on-the-fly functions
which are better scoped inside this module.
Plus, it plays nicely with the std::str::FromStr trait definition.
2023-01-14 23:29:28 +01:00
158b3dfe51
feat(aiken-project): use rayon to run tests in parallel
2023-01-09 18:12:18 -05:00
d649b34ec3
Release 0.0.28
...
aiken@0.0.28
aiken-lang@0.0.28
aiken-lsp@0.0.28
aiken-project@0.0.28
uplc@0.0.28
Generated by cargo-workspaces
2023-01-06 13:41:00 -05:00
c89802eaed
chore: bump pallas version
2023-01-06 13:39:18 -05:00
ee678f2978
Release 0.0.27
...
aiken@0.0.27
aiken-lang@0.0.27
aiken-lsp@0.0.27
aiken-project@0.0.27
flat-rs@0.0.27
uplc@0.0.27
Generated by cargo-workspaces
2022-12-30 00:57:49 -05:00
3139c85fe8
Support declaring bytearray literals as base16 strings.
2022-12-29 13:08:58 +01:00
69f060e675
Rework all errors to provide better help text.
2022-12-23 19:27:06 +01:00
18acd0e65f
Merge pull request #202 from aiken-lang/tuple-indexes
...
Tuple indexes
2022-12-22 09:35:08 +01:00
4d74deb223
re-generate Cargo.lock
2022-12-22 09:15:26 +01:00
bf7cdfba73
Implement parser & type-checker for tuple indexes.
...
```aiken
fn foo() {
let tuple = #(1, 2, 3, 4)
tuple.1st + tuple.2nd + tuple.3rd + tuple.4th
}
```
2022-12-22 09:14:23 +01:00
2fc14c7c1f
Make box-drawing code more reusable
...
- Move it to 'pretty' module.
- Have function work on colored strings titles and contents
2022-12-21 14:39:46 -05:00
b06bf610b7
feat: dep downloading now works
2022-12-20 16:32:31 -05:00
5bd2a9336c
feat: tons of boilerplate for fetching packages
2022-12-20 16:32:31 -05:00
34f9029a57
chore: fix lock file
2022-12-20 16:32:31 -05:00
a6fd8f92a8
feat(deps): start laying out some types and functions
2022-12-20 16:32:31 -05:00
16b0a9fbe4
Introduce 'docs' for generating documentation for aiken libraries.
2022-12-16 18:33:04 +01:00
4ad74bef1f
refactor: move prints to cli via EventListener trait
2022-12-08 19:25:28 -05:00
5770ea2456
Make test runner more sexy.
...
Using colors.
2022-12-08 19:25:28 -05:00
391849bf37
feat: parser improvements
...
- record creation with punning
- disambiguate if condition from record creation with punning
- split parser tests up into many smaller ones
2022-12-04 21:12:29 -05:00
0358952984
Release 0.0.26
...
aiken@0.0.26
aiken-lang@0.0.26
aiken-lsp@0.0.26
aiken-project@0.0.26
Generated by cargo-workspaces
2022-11-23 00:31:24 -05:00
bff99b0cf2
feat: publish errors as lsp diagnostic messages
2022-11-15 17:44:50 -05:00
KtorZ