waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,789 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

170 Commits

Author SHA1 Message Date
Cainã Costa 2cecb099d7 feat: add a generator for shell completions 2023-07-25 14:00:29 -04:00
rvcas 97acd6d7bd
chore: Release 2023-07-15 21:37:10 -04:00
rvcas 621017bd93
chore: Release 2023-07-14 10:55:13 -04:00
Cainã Costa 58c854fd3f
feat: add insta as dependency 
We are going to start to add "golden"/snapshot tests, so we are using
[insta](https://insta.rs) to do so.
 2023-07-04 17:19:28 -04:00
KtorZ 49098d5a45 Bump miette to 5.9.0 
No particular reason, but it's good to be up-to-date with our dependencies.
 2023-07-04 16:51:59 -04:00
rvcas 90ff211205
chore: Release 2023-06-23 19:41:14 -04:00
dependabot[bot] 6f7dafb82c chore(deps): bump openssl from 0.10.49 to 0.10.55 
Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.49 to 0.10.55.
- [Release notes](https://github.com/sfackler/rust-openssl/releases)
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.49...openssl-v0.10.55)

---
updated-dependencies:
- dependency-name: openssl
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-06-23 19:40:33 -04:00
rvcas 85d82e5aec
chore: Release 2023-06-13 21:24:41 -04:00
microproofs 379c2fe2bf chore: Release 2023-06-13 20:32:22 -04:00
microproofs c5af6e0be3 chore: Release 2023-06-08 19:34:51 -04:00
KtorZ 79a2174f0a
Extend parser to support int as hexadecimal and numeric underscore. 
We only allow numeric underscore for decimal numbers as I am not sure how we can define it for non-decimal numbers?
 2023-06-08 15:33:50 +02:00
rvcas cb9a140601
chore: Release 2023-06-02 00:34:07 -04:00
rvcas d68d4656df
feat(aiken-new): output a github action 
- bonus: include git short sha in version

closes #515
 2023-05-18 01:33:03 -04:00
microproofs 8e60234562 chore: Release 2023-05-17 18:04:45 -04:00
rvcas f2d8c8938c
chore: Release 2023-05-14 21:25:29 -04:00
rvcas e1a75391a1
chore: Release 2023-05-09 23:16:59 -04:00
microproofs b1728b57b8 chore: Release 2023-04-28 17:11:56 -04:00
microproofs 672a900243 chore: converted acceptance tests 5-7 2023-04-19 20:03:41 -04:00
microproofs e4276d7f5a move uplc tests to new location 2023-04-19 16:08:55 -04:00
microproofs 7dd13f8d73 feat: add end to end tests to replace acceptance tests with strict uplc comparison. 
Add acceptance tests 1,2, 6 as end to end tests
 2023-04-19 16:08:55 -04:00
rvcas 3182dac908
chore: Release 2023-04-17 10:53:30 -04:00
dependabot[bot] 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
rvcas 3d0fa1a5f6
chore: Release 2023-04-16 16:49:08 -04:00
rvcas 63ddef7efb
chore: Release 2023-04-13 13:37:12 -04:00
rvcas 12e8ebdf4f
chore: revert version bumps 2023-04-13 13:03:43 -04:00
KtorZ 067e39286d
Bump versions to 1.0.0-alpha, update CHANGELOG. 2023-04-13 17:35:21 +02:00
KtorZ 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
KtorZ 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
dependabot[bot] 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
rvcas 298e8068ee chore: remove program_builder 2023-03-30 21:15:27 -04:00
KtorZ 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
KtorZ dc500b8e13
Add missing import to owo_colors 2023-03-30 09:21:59 +02: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 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
KtorZ a46a9fca41
Only use colors & text decorations on ANSI-capable terminals. 
Fixes #404.
 2023-02-26 13:19:03 +01: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 fbf65de1dc
Update default cost models for Aiken 
Closes #396
 2023-02-22 17:03:48 +01:00
rvcas 815d7d80c6 feat(lsp): hover and goto definition 2023-02-20 15:30:25 -05:00
KtorZ 56258dc815
Fix todo/error parser on when clauses. 2023-02-16 00:40:49 +01:00
rvcas c1d67e95e1
feat: fix errors and add tests for BigInt changes 2023-02-09 15:01:30 -05:00
KtorZ e76d26eb3c
Fixup: follow compiler. 2023-02-09 16:09:49 +01:00
rvcas ec58279424
test(machine): integer overflow 2023-02-09 09:44:06 -05:00
rvcas 67a2674d27 feat: allow verify functions to build for wasm 2023-02-07 00:25:22 -05:00
rvcas fb69a2c8a9 fix: switch to rust bindings for bitcoin-secp256k1 2023-02-04 22:07:56 -05:00
rvcas 7bffb994fc feat: add k256 for elliptic curve algos 2023-02-04 22:07:56 -05:00
dependabot[bot] 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
Kasey White 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
rvcas 618ea0c8dc feat: switch to zip from zip-extract 2023-02-01 14:50:18 -05:00