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
025bf73254
test: verify schnorr and ecdsa
2023-02-04 22:07:56 -05:00
6053e76f6f
chore: more acceptance tests
...
Co-authored-by: rvcas <x@rvcas.dev>
2023-02-04 02:33:10 -05:00
a9ed04ef22
feat: newer rules around casting Data
...
* you cannot cast FROM Data with a `let`
* you cannot cast FROM Data by passing
Data to none Data when calling a function
* you MUST use `assert` to cast from data
* you can cast INTO Data with a `let`
* you can cast INTO Data by passing none Data
to Data when calling a function
* You cannot assert cast Data without an
annotation
2023-02-04 02:33:10 -05:00
0f6d2487ec
fix: acceptance test 040 after new casting rules
2023-02-02 01:17:58 -05:00
79b0af15da
chore: commit acceptance test plutus files
2023-02-02 00:49:47 -05:00
0ee083cc9a
chore(examples): commit updated plutus.json
2023-02-01 23:54:35 -05:00
79b8786cee
Replace 'assets' with generated blueprints.
2023-01-31 15:39:41 +01:00
d4a73f1235
chore: commit assets
2023-01-30 12:01:56 -05:00
aec79936e2
chore: move a test case to 049
2023-01-30 11:49:18 -05:00
b653714c0c
Merge branch 'main' into when-clause-guards
2023-01-30 11:40:29 -05:00
a638388747
Add more complex test 40.
...
Add assert for when constr index is given
2023-01-30 04:17:03 -05:00
8c04ab093a
update test 40
2023-01-30 03:24:52 -05:00
d608c50130
Added 048 acceptance test
2023-01-23 01:12:29 +11:00
e36f91c39c
fix: multiple list cases of the same length weren't being handled
2023-01-21 19:42:17 -05:00
a178cee7bf
Add new acceptance test scenario: 046
2023-01-21 19:42:17 -05:00
e8fb386bdc
chore: Switch from hashmap and hashset to indexmap and indexset
2023-01-21 18:10:15 -05:00
a926a1a2d4
Add new acceptance test scenario 048
2023-01-21 17:49:44 +01:00
83fd910604
Update artifacts from acceptance tests 036
2023-01-21 12:46:22 +01:00
ce65236514
Parse tests as private functions.
...
They actually are private; we can't export / import tests. Fixes #284 .
2023-01-20 12:50:07 +01:00
2f6c794cdf
fix: ci... :facepalm
2023-01-18 15:29:51 -05:00
479d49bdfc
fix: ci... again
2023-01-18 15:29:51 -05:00
f975c345c9
fix: ci
2023-01-18 15:29:51 -05:00
75808cc046
Add new acceptance scenario: 044
...
❌ 044
Error:
× Main thread panicked.
├─▶ at crates/aiken-lang/src/uplc.rs:846:89
╰─▶ called `Option::unwrap()` on a `None` value
2023-01-18 15:29:51 -05:00
6e64bb72e6
Add new acceptance test scenario 045
...
Error:
× Main thread panicked.
├─▶ at crates/aiken-lang/src/uplc.rs:3435:48
╰─▶ called `Option::unwrap()` on a `None` value
2023-01-18 16:28:44 +01:00
63bfb4e05d
chore: no longer need pub here
2023-01-15 12:33:10 -05:00
00f2150eed
feat: add identity, always, & flip
2023-01-14 23:33:49 -05:00
9daf86e984
chore: fix version for hello world
2023-01-14 22:22:36 -05:00
95c9be5c52
chore: acceptance test 040 had the wrong name
2023-01-14 22:03:56 -05:00
8c19d4ec08
Fix and re-apply formatter on all acceptance tests
...
Less noise, pretty tuples. Everyone's happy.
2023-01-14 20:23:17 +01:00
c6fe5235fe
chore: fmt acceptance test 40
2023-01-13 14:55:18 -05:00
7b023911af
add assert and record
...
Record is a more efficient air for making records
Assert guarantees a custom is of a certain variant.
2023-01-13 13:50:27 -05:00
1721c3945b
Refactors:
...
Add test 40
refactor how we get data type from type
Call contains type now to handle certain record cases
2023-01-13 13:50:27 -05:00
42c8d50fa1
feat: finish record update
2023-01-08 19:42:49 -05:00
c89802eaed
chore: bump pallas version
2023-01-06 13:39:18 -05:00
de7a8f6f20
Merge pull request #240 from matiwinnetou/aiken-examples
...
hello world for starters
2023-01-06 13:49:30 +01:00
193792b48f
Draft quick README, use ENV var for passing configuration.
2023-01-06 13:44:20 +01:00
1b7be32d74
rename 'hello_world-keygen.ts' as 'generate-credentials'
...
And add *.sk to .gitignore!
2023-01-06 13:32:27 +01:00
eb2f4a8056
Use pinned version of the stdlib.
2023-01-06 13:31:18 +01:00
7c2b1ac269
Define 'local' gitignore for examples' packages.
2023-01-06 13:30:56 +01:00
1142c6ca6d
hello world for starters
2023-01-06 13:24:15 +01:00
aff96d99af
Return non-zero exit code on acceptance test failure.
2023-01-06 13:10:11 +01:00
613fb3c957
Add new acceptance test scenario 038
2023-01-06 06:46:15 +01:00
88d5d1b7f7
chore: add 036 assets
2022-12-31 00:09:02 -05:00
3514e66234
Fix to variant name creation for dependencies.
...
Last few changes to go Tuple Index,
Assert, Check, not
change test 35 to produce intended functionality
2022-12-30 14:01:11 -05:00
d5d878e83c
Add acceptance test scenario: 037
...
```
Error:
× Main thread panicked.
├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-
│ project/src/lib.rs:701:36
╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
"_not", unique: Unique(1) })
```
2022-12-29 17:40:21 +01:00
6f8d1698fe
Add missing function 'concat' in acceptance test 034.
2022-12-29 12:13:32 +01:00
4f83d4fa1b
Add new acceptance test scenario: 036
...
```
Error:
× Main thread panicked.
├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-
│ project/src/lib.rs:567:36
╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
"_not", unique: Unique(17) })
```
2022-12-29 12:11:55 +01:00
602a6a03a8
Rename '{run, run-all}.sh' into '{run, run-all}'.
2022-12-29 12:04:37 +01:00
013fe886f5
Add new acceptance test scenario: 035
...
```
Error:
× Main thread panicked.
├─▶ at /Users/ktorz/Documents/Projects/aiken-lang/aiken/crates/aiken-
│ project/src/lib.rs:692:36
╰─▶ called `Result::unwrap()` on an `Err` value: FreeUnique(Name { text:
"aiken/dict_do_insert_with_map_bytearray_int_bytearray_int_data",
unique: Unique(27) })
```
2022-12-28 17:03:32 +01:00
Kasey White