1d60a02822
chore(deps): bump h2 from 0.3.16 to 0.3.17
...
Bumps [h2](https://github.com/hyperium/h2 ) from 0.3.16 to 0.3.17.
- [Release notes](https://github.com/hyperium/h2/releases )
- [Changelog](https://github.com/hyperium/h2/blob/master/CHANGELOG.md )
- [Commits](https://github.com/hyperium/h2/compare/v0.3.16...v0.3.17 )
---
updated-dependencies:
- dependency-name: h2
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-04-17 00:02:44 -04:00
3d0fa1a5f6
chore: Release
2023-04-16 16:49:08 -04:00
63ddef7efb
chore: Release
2023-04-13 13:37:12 -04:00
12e8ebdf4f
chore: revert version bumps
2023-04-13 13:03:43 -04:00
067e39286d
Bump versions to 1.0.0-alpha, update CHANGELOG.
2023-04-13 17:35:21 +02:00
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
f089eff97d
Release 0.0.25
...
aiken@0.0.25
aiken-lang@0.0.25
aiken-lsp@0.0.25
aiken-project@0.0.25
uplc@0.0.25
Generated by cargo-workspaces
2022-11-14 18:04:19 -05:00
2736df5466
Validate project name on aiken new
2022-11-14 14:15:02 -05:00
9d6f9fd013
Use indoc for better raw text
2022-11-10 01:45:32 -05:00
e90a210537
feat: add a basic lsp
2022-11-10 01:27:18 -05:00
7e0767ef74
feat: output build assets
2022-11-08 22:21:07 -05:00
e3fa9ac105
checkpoint commit
2022-11-08 22:21:07 -05:00
3cafb2bcbe
checkpoint commit
2022-11-08 22:21:07 -05:00
483aa0784e
chore: clean up some errors after rebase and rename project to aiken_project
2022-11-08 22:21:07 -05:00
cba7a6f46e
feat: bring over the formatter from gleam
2022-11-05 15:35:11 -04:00
3df275043a
Release 0.0.24
...
aiken@0.0.24
aiken-lang@0.0.24
aiken-project@0.0.24
uplc@0.0.24
Generated by cargo-workspaces
2022-11-04 13:56:15 -04:00
d1141f306a
Sorted all relevant structures in ScriptContext
2022-11-04 17:58:23 +01:00
c4db8c951f
Release 0.0.23
...
aiken@0.0.23
aiken-lang@0.0.23
aiken-project@0.0.23
uplc@0.0.23
Generated by cargo-workspaces
2022-11-03 20:27:03 -04:00
1b6e5d262f
Release 0.0.22
...
aiken@0.0.22
aiken-lang@0.0.22
aiken-project@0.0.22
uplc@0.0.22
Generated by cargo-workspaces
2022-10-31 13:32:54 -04:00
09462bbb42
chore: rename project to aiken-project
2022-10-31 13:25:19 -04:00
6d0d938fb9
Extra project utilities in their own crate.
...
This was currently in the 'cli' crates, but this code is pretty standalone and need not to be mixed with the rest of the cli logic.
Ideally, we want the cli crate to be only a thin wrapper over functionality available from the rest of the lib crates.
2022-10-28 13:48:40 +02:00
819256df99
feat: wrap up adding uplc builtins for now
2022-10-25 18:52:27 -04:00
d5d2ba9cd7
feat: start creating aiken/builtin module
2022-10-25 18:52:27 -04:00
cabc653167
feat: start expr inference
2022-10-24 00:09:00 -04:00
ed2ef4fa9b
feat: sort modules and detect cycles
2022-10-24 00:09:00 -04:00
15c774b7d0
Release 0.0.21
...
aiken@0.0.21
flat-rs@0.0.21
uplc@0.0.21
Generated by cargo-workspaces
2022-10-23 17:58:21 -04:00
ce875a3c47
Release 0.0.20
...
aiken@0.0.20
aiken-lang@0.0.20
flat-rs@0.0.20
uplc@0.0.20
Generated by cargo-workspaces
2022-10-17 17:22:50 -04:00
da89e9902c
feat: starting to get pretty error messages
2022-10-11 14:34:27 -04:00
59d7b54473
feat: start integrating miette
2022-10-11 14:34:27 -04:00
ff26db2245
feat: start project building
2022-10-09 15:39:28 -04:00
2896b92203
Release 0.0.19
...
aiken@0.0.19
aiken-lang@0.0.19
Generated by cargo-workspaces
2022-10-04 17:10:21 -04:00
6de41e64be
feat: add simple check command
2022-10-04 17:09:43 -04:00
8e3b32fe2c
Release 0.0.18
...
aiken@0.0.18
uplc@0.0.18
Generated by cargo-workspaces
2022-09-27 09:15:41 -04:00
037297880c
Release 0.0.17
...
aiken@0.0.17
uplc@0.0.17
Generated by cargo-workspaces
2022-09-27 09:15:26 -04:00
8f9481079c
Release 0.0.16
...
aiken@0.0.16
uplc@0.0.16
Generated by cargo-workspaces
2022-09-27 09:14:11 -04:00
94bfc2846c
Release 0.0.17
...
aiken-lang@0.0.17
Generated by cargo-workspaces
2022-09-26 17:13:44 -04:00
65f39432fa
Release 0.0.16
...
aiken@0.0.16
aiken-lang@0.0.16
Generated by cargo-workspaces
2022-09-26 17:11:01 -04:00
28553e3d03
Merge pull request #33 from txpipe/lang
...
Lang
2022-09-26 17:10:30 -04:00
119a6f1e77
feat: use pretty assert
2022-09-26 17:04:54 -04:00
ae2866f784
Release 0.0.15
...
aiken@0.0.15
uplc@0.0.15
Generated by cargo-workspaces
2022-09-26 16:34:26 -04:00
81dd826ab8
Merge branch 'main' into lang
2022-09-26 11:15:02 -04:00
e817b39e4c
Release 0.0.14
...
aiken@0.0.14
uplc@0.0.14
Generated by cargo-workspaces
2022-09-26 09:59:28 -04:00
c08f6a8454
Merge branch 'main' into lang
2022-09-25 17:44:20 -04:00
25790287b7
Release 0.0.13
...
aiken@0.0.13
uplc@0.0.13
Generated by cargo-workspaces
2022-09-24 20:35:36 -04:00
02a8a34fe8
expose tx simulation with simulate cli command
2022-09-16 04:35:20 -04:00
3f27bd9f13
move utils to uplc and break up
2022-09-16 04:00:29 -04:00
ddf3cdb6ec
chore: use alpha 3 instead of main
2022-09-15 11:29:08 -04:00
348ed3b719
fix: changes from pallas bump
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2022-09-14 22:00:52 -04:00
336af376e1
chore: bump pallas version
2022-09-14 18:52:42 -04:00
fa6520e585
added full evaluation; still fails because hashes mismatch regarding pallas
2022-09-14 18:52:04 -04:00
60d7c52c26
added some structs; added ToPlutusData
2022-09-14 18:52:01 -04:00
dependabot[bot]