waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,692 Commits 8 Branches 0 Tags
9c98fc8026cfa0109652406842d528934a4c79ad
Commit Graph

1692 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
rvcas
9c98fc8026 feat: start splitting apart expr_parser 2023-07-04 17:19:28 -04:00
rvcas
e3ed5d3b00 feat: move expr_parser and remove module.rs to definitions 2023-07-04 17:19:28 -04:00
rvcas
3339d41fdd feat: finish moving definitions and start exprs 2023-07-04 17:19:27 -04:00
rvcas
fc580d4fa0 feat(parser): move definitions to their own modules 2023-07-04 17:19:27 -04:00
rvcas
699467a876 [create-pull-request] automated change 2023-07-04 17:19:06 -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
KtorZ
5a6cc855e6 Use byte count for token span in the lexer. 
Somehow, miette doesn't play well with spans when using chars indices.
  So we have to count the number of bytes in strings / chars, so that
  spans align accordingly.
 2023-07-04 16:51:59 -04:00
microproofs
67c072a1a9 test: add acceptance test 86 
fix: prevent mutual recursion for expect type code gen functions
 2023-07-04 12:24:25 -04:00
Matthias Benkort
841547dd6c Merge pull request #659 from SundaeSwap-finance/main 
Mention nix develop in CONTRIBUTING.md
 2023-07-04 15:13:58 +02:00
Pi Lanningham
28209bbe9e Update CONTRIBUTING.md 
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
 2023-07-04 08:33:15 -04:00
Pi Lanningham
fb021bdfd1 Mention nix develop in CONTRIBUTING.md 2023-07-04 00:41:45 -04:00
Pi Lanningham
12674c8c4c Added description to changelog 
Closes #610
 2023-07-01 16:17:10 -04:00
Pi Lanningham
c10f0e53df cargo fmt 2023-07-01 16:17:10 -04:00
Pi Lanningham
4a8cb72708 Add a blueprint policy command 
Computes the policy ID of a minting policy; added guards for blueprint address to check that it's not a minting policy; Wasn't 100% sure where the errors should live, so I'm happy to move them if there's objections
 2023-07-01 16:17:10 -04:00
microproofs
42544af799 fix: safe encode bits to check for 2^num_bits <= byte we are encoding 
fix: I thought namedDeBruijn takes advantage of Binder for encoding and decoding.
It does not...
fix: Debruijn was being converted to NamedDeBruijn incorrectly
 2023-06-30 23:06:38 -04:00
microproofs
d641f731b7 fix: needed a stricter check for expect_pattern func on discard pattern 2023-06-28 15:54:59 -04:00
rvcas
1c7b8e0286 [create-pull-request] automated change 2023-06-23 22:11:18 -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
619b73d03e feat: enhance new command 2023-06-23 19:40:11 -04:00
rvcas
d633129ddf fix: clearer unused var warning closes #579 2023-06-23 19:04:54 -04:00
rvcas
697de40376 chore: update changelog 2023-06-23 18:41:58 -04:00
microproofs
8b3504e9a1 fix: expect _ = ... not including the cast from data logic if the type is data and right hand has a type annotation 2023-06-23 18:39:12 -04:00
microproofs
226556bdd6 fix: builtins using the incorrect data to type conversion when used as a function param. 2023-06-23 14:31:19 -04:00
microproofs
db369da96e feat: Make traces produced by expect dependent on 
the value of the tracing flag.
 2023-06-23 14:03:23 -04:00
microproofs
dbfa08a5a7 fix: issue with tuple clause 
It was not consuming the next case if there was no condition being checked in the clause.
Now it properly always consumes the next clause unless last clause.
 2023-06-23 12:36:15 -04:00
microproofs
5362714a63 chore: update tests 2023-06-22 18:20:31 -04:00
microproofs
626033ff9b fix: attempt to convert from opaque before doing monomorphization 2023-06-22 18:20:31 -04:00
microproofs
24f5c4de6b fix: the final clause of a when expecting another clause afterwards in nested list cases. 
fix: all elements were being destructured in tuple clauses even if not used
 2023-06-19 21:43:38 -04:00
microproofs
e1f788b628 chore: commit tests first 2023-06-19 21:43:38 -04:00
Matthias Benkort
42519d3965 Merge pull request #619 from aiken-lang/first-class-binary-operators 
First class binary operators
 2023-06-17 17:23:34 +02:00
KtorZ
41b2bf1c7e Fill-in CHANGELOG. 2023-06-17 17:21:43 +02:00
KtorZ
4252ee6373 Implement formatter for anon binop. 2023-06-17 08:44:59 +02:00
KtorZ
91f03abb7b Support all binary operator in the anonymous binop parser. 2023-06-17 08:44:45 +02:00
KtorZ
d0b4c1c3b5 Add remaining boolean comparison operator to anon binop parser. 
Nothing to see here as they all have the same signature. Implementing
  arithmetic bin-operators and boolean logic operators will require some
  more logic.
 2023-06-17 07:57:37 +02:00
KtorZ
ec94230294 Extend parser to accept anonymous binop as expressions. 
This is simply a syntactic sugar which desugarize to a function call with two arguments mapped to the specified binary operator.
  Only works for '>' at this stage as a PoC, extending to all binop in the next commit.
 2023-06-17 07:36:11 +02:00
KtorZ
ba911d48ea Refactor 'is_capture' field on function expressions. 
Refactored into an enum to make it easier to extend with a new variant to support binary operators.
 2023-06-17 07:26:46 +02:00
microproofs
93135cebbb fix: redeemers in the script context are sorted by redeemer ptr not data hash 2023-06-16 12:24:44 -04:00
microproofs
e72a9f8e0b chore: rearrange code gen test order 2023-06-14 13:12:49 -04:00
rvcas
44e21ddcb8 [create-pull-request] automated change 2023-06-14 00:31:16 -04:00
rvcas
85d82e5aec chore: Release 2023-06-13 21:24:41 -04:00
rvcas
ad5feff06c [create-pull-request] automated change 2023-06-13 21:17:13 -04:00
rvcas
bf09c155fc chore: update changelog 2023-06-13 21:06:24 -04:00
rvcas
06079fa57e fix: wow 2023-06-13 21:03:16 -04:00
microproofs
379c2fe2bf chore: Release 2023-06-13 20:32:22 -04:00
rvcas
878fd4de48 feat: include column number in location 2023-06-13 20:30:43 -04:00
rvcas
44e066f907 feat: add a panic hook, present issue link 2023-06-13 20:30:43 -04:00
microproofs
b79437f596 update changelog 2023-06-13 12:03:38 -04:00
microproofs
c3bb7b0f75 fix: tail list being expected on when it should be empty 2023-06-13 12:03:38 -04:00
microproofs
1e0f7ea0ab fix: foldl test 2023-06-13 12:03:38 -04:00