eda388fb29
test(aiken-lang): add a new test for list edge case in when clause patterns
2023-08-08 20:47:35 -04:00
bfa4cc2efc
fix: some function dependency tree path was not being updated in order
...
fix: revert to old implicit way of casting to data for now
2023-08-07 12:02:44 -04:00
b050018a37
test fix: blueprint change
2023-04-25 02:06:56 -04:00
672a900243
chore: converted acceptance tests 5-7
2023-04-19 20:03:41 -04:00
02d57cc076
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -04:00
897011e9bc
misc changes
2023-04-09 17:43:56 -04:00
f4ba6b8985
fix: unused validator args had an incorrect if check
2023-04-09 17:43:56 -04:00
3f45b524b8
feat: unused validator args are not expect checked
2023-04-09 17:43:56 -04:00
17431daaa4
Correctly nest multiline pipeline expressions.
2023-03-30 12:48:15 +02:00
6e5b24a937
refactor the rest of the term builders to use more concise code
2023-03-21 00:50:13 -04:00
50db958d06
update codegen to use more streamlined uplc building methods
2023-03-21 00:50:13 -04:00
c3870e340e
feat(codegen): support multi-validators
...
* rename force_wrap to force
* add a bunch of builder methods to Term<Name>
* refactor one tiny location to show off builder methods
* split generate into `generate` and `generate_test`
* create wrap_as_multi_validator function
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2023-03-17 18:40:44 -04:00
660d2199d4
Make blueprint generation deterministic
...
Sort validators before iterating on them.
2023-03-17 14:57:39 +01:00
20f5baffa7
Enforce newline after assignment / clause.
...
This leads to more consistent formatting across entire Aiken programs.
Before that commit, only long expressions would be formatted on a
newline, causing non-consistent formatting and additional reading
barrier when looking at source code.
Programs also now take more vertical space, which is better for more
friendly diffing in version control systems (especially git).
2023-03-16 19:46:46 +01:00
ae981403c6
Re-introduce field title & description in referenced schemas.
2023-03-12 12:44:49 -04:00
45a463786f
Update blueprints from acceptance tests and hello, world.
2023-03-12 12:44:49 -04:00
65c336cb82
Update blueprint outputs to reflect latest specification.
...
Schemas of datums, redeemers and parameters are now nested under a field 'schema'. This allows to define a field 'purpose' at the same level.
2023-03-02 17:17:27 +01:00
665a8dec67
feat: add support for unconstr_data
...
-Builitins IR now acts like Record IR in terms of argument consumption
-UnConstrData returns as Pair(Data,Data) to conform with how pairs are treated behind the scenes.
2023-02-26 00:13:38 -05:00
5132110d4b
Fix acceptance tests to use new syntax.
2023-02-19 10:10:40 +01:00
f3cdc05875
fix: the refactor on discharge value env ( #393 )
2023-02-18 20:49:29 -05:00
d41e6942c6
test: fix acceptance tests
2023-02-16 00:05:55 -05:00
e9883adf12
fix: scope issue when using when with a function call subject
2023-02-12 18:43:11 -05:00
e92d9af3c2
fix: changed how list_access_to_uplc handles discards fixing unit test 55
...
Also fix incorrect error message in runtime in machine
2023-02-11 04:30:18 -05:00
9b0fc0b395
chore: fix some weirdness after rebasing with main
2023-02-10 10:09:00 +01:00
6f591c633d
chore: fmt most of the acceptance tests
2023-02-09 00:57:14 -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
79b0af15da
chore: commit acceptance test plutus files
2023-02-02 00:49:47 -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
e8fb386bdc
chore: Switch from hashmap and hashset to indexmap and indexset
2023-01-21 18:10:15 -05:00
83fd910604
Update artifacts from acceptance tests 036
2023-01-21 12:46:22 +01:00
2f6c794cdf
fix: ci... :facepalm
2023-01-18 15:29:51 -05:00
f975c345c9
fix: ci
2023-01-18 15:29:51 -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
88d5d1b7f7
chore: add 036 assets
2022-12-31 00:09:02 -05: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
microproofs