cfbe5fd3cc
feat: use BigInt in constant integer
2023-02-09 09:46:42 -05:00
ec58279424
test(machine): integer overflow
2023-02-09 09:44:06 -05:00
37bd22a0d2
Merge pull request #353 from aiken-lang/rvcas/assert_expect
...
Rename assert to expect
2023-02-09 15:17:14 +01:00
461aaf14bd
chore: no more loose numbers for location offsets
2023-02-09 09:16:54 -05:00
b5cf8c78a5
Add Ordering data-type definition to prelude known constructors.
2023-02-09 14:36:39 +01:00
6be2a9ed80
Fix formatting of unary operators applied to binary operators.
...
Add crucial parenthesis...
2023-02-09 13:58:11 +01:00
83a86e6dc0
Fix logical operator precedence in parser.
...
Whoopsie... || and && were treated with the same precedence, causing very surprising behavior down the line.
I noticed this because of the auto-formatter adding parenthesis where it really shouldn't. The problem came actually from the parser and how it constructed the AST.
2023-02-09 13:57:12 +01:00
62fe321ddf
Add 'Ordering' data-type to the Prelude.
...
Useful to have around to build comparison functions.
2023-02-09 11:07:30 +01:00
b803332f99
Update crates/aiken-lang/src/tipo/error.rs
2023-02-09 09:25:33 +01:00
460da20e4a
feat: warn when using expect in a completely safe way
2023-02-09 02:10:22 -05:00
e9caa710c4
chore: rename assert_parser to expect_parser
2023-02-09 01:05:11 -05:00
9348caab2f
feat(expect): update formatter
...
* Token::Expect should format to expect
* since we still capture assert this means
we can help users update to the new syntax
2023-02-09 00:57:38 -05:00
3f540c7c99
chore: rename assignment kind
2023-02-09 00:47:38 -05:00
dbd162e985
feat: handle expect in parser
...
* map both assert/expect to Token::Expect
* use the new token in the parser
* new unit test to expect
2023-02-09 00:43:29 -05:00
5a4a8df727
feat(token): add Token::Expect
2023-02-09 00:25:54 -05:00
fd14da0720
chore: fix blueprint tests
2023-02-09 00:09:23 -05:00
f60b7d84c1
clippy fix
2023-02-09 00:09:23 -05:00
076871492b
fix: unwrap used in a reachable place. Replaced with alternative option
2023-02-09 00:09:23 -05:00
9ae28aaa88
all nebula tests pass. Had one more fix on listaccessor to finish
2023-02-09 00:09:23 -05:00
986a6009f7
fix: Various fixes for FieldsExpose, ListAccessor, TupleAccessor
2023-02-09 00:09:23 -05:00
95a62f7172
Fix oversights in blueprint / schema generation.
2023-02-08 19:04:50 +01:00
221f1afbfe
Changed imports
2023-02-08 16:28:59 +01:00
74b3507777
Added tag/constructor conversion tests
2023-02-08 16:26:58 +01:00
242eaa8b67
Merge pull request #347 from spacebudz/constr
...
Fix constructor tag range
2023-02-08 14:52:50 +01:00
ce648b7483
Fixed schnorr and limiting it to 32 bytes messages for now
2023-02-08 08:04:24 -05:00
3012a0b41d
Fix constructor tag range
2023-02-08 13:14:26 +01:00
7c9443d87f
Changed to prehash function
2023-02-07 22:53:30 +01:00
6e554129e9
Fix blueprint validator tests.
2023-02-07 12:28:34 +01:00
8feaefe073
Merge pull request #335 from aiken-lang/blueprint-parameters
...
Blueprint parameters
2023-02-07 11:43:01 +01:00
4aa92a6d5e
Use positional argument for blueprint 'apply' command
2023-02-07 11:42:42 +01:00
08e8347317
chore: rename feature flag to native-secp256k1
2023-02-07 00:25:22 -05:00
67a2674d27
feat: allow verify functions to build for wasm
2023-02-07 00:25:22 -05:00
5d0c5d2a5b
remove a redundant type replacement in build_ir
2023-02-05 23:56:44 -05:00
3ff927d30a
feat: reset the generator when generate finishes
2023-02-05 20:35:39 -05:00
501d667532
chore: fix tests
2023-02-05 20:35:39 -05:00
f1b24a5f6d
fix: the following issues
...
fix conversion from inner opaque type for when and assignment
This fixes Clause being used in cases where ListClause or TupleClause should be used
Reset defined and zero arg functions between each code gen
Fixes for optimizations when encountering shadowed variables
2023-02-05 20:35:39 -05:00
c32a9d7b6f
commit working changes so far
2023-02-05 20:35:39 -05:00
31cd19f198
feat: use secp256k1 to implement verify for ecdsa and schnorr
2023-02-04 22:07:56 -05:00
cde3e31723
feat: fill in todo for verify ecdsa and schnorr costing
2023-02-04 22:07:56 -05:00
09d8d683b6
fix: switch to error from secp256k1
2023-02-04 22:07:56 -05:00
fb69a2c8a9
fix: switch to rust bindings for bitcoin-secp256k1
2023-02-04 22:07:56 -05:00
c2ff9389c5
feat(runtime): implement verifyEcdsaSecp256k1Signature
2023-02-04 22:07:56 -05:00
d224fe5356
feat(runtime): set force count and arg typechecking for the elliptic curve builtins
2023-02-04 22:07:56 -05:00
fb37521857
feat: make a transparent machine error for signature::Error
2023-02-04 22:07:56 -05:00
175cd777d8
feat: enable elliptic curve verification builtins
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
ddad05bf51
chore: leave a comment for later
2023-02-04 15:33:18 -05:00
b04fb5962a
Do not compute addresses of parameterized validators
...
And leave a proper notice.
2023-02-04 11:49:56 +01:00
9b8ff590b8
Implement 'blueprint apply' command.
...
This is still a bit clunky as the interface is expecting parameters in UPLC form and we don't do any kind of verification. So it is easy to shoot oneself in the foot at the moment (for example, to apply an integer into something that should have received a data). To be improved later.
2023-02-04 11:39:55 +01:00
rvcas