microproofs
f1cfc84e67
Fix tree traversal node selection for a few of the enum variants
2024-06-25 18:50:00 -04:00
microproofs
3d06129d9b
add test for curry optimization that is a reduced case of #945
2024-05-22 15:46:32 -04:00
microproofs
c1c2cd97b7
New test 103 and clippy fixes
2024-05-21 11:56:12 -04:00
KtorZ
6d7b851c70
Fix 077 after yet-another-breaking-change in stdlib.
2024-05-10 19:05:00 +02:00
microproofs
893e9c9855
activate test 75
2024-05-06 15:17:01 -04:00
microproofs
b3d0c3ec04
fix: fixing tests to account for the new stdlib main. Also added test 75 but commented out for now until a fix is merged
2024-05-04 14:26:06 -04:00
microproofs
a44ed4c1a8
Change prelude Map to AList
2024-05-04 14:04:12 -04:00
microproofs
fc0e88018e
Chore:
...
Refactor get_uplc_type to account for constr types that don't exactly resolve to a uplc type
Check arg_stack in uplc generator has only 1 argument at the end of the generation
warning fixes
2024-05-04 14:04:12 -04:00
KtorZ
1091eba3c3
Review & fix acceptance tests
...
Temporarily using the 'specialize-dict-key' branch from the stdlib
which makes use of Pair where relevant. Once this is merged back into
'main' we should update the acceptance test toml files to keep getting
them automatically upgraded.
This commit also fixes an oversight in the reification of data-types
now properly distinguishing between pairs and 2-tuples.
Co-authored-by: Microproofs <kasey.white@cardanofoundation.org >
2024-05-04 14:04:12 -04:00
microproofs
a6003c3be9
chore: push changes in blueprint snapshot test
2024-03-27 15:57:29 -04:00
microproofs
61936cb91e
fix(codegen): Add tracing when checking for a constr vs another primitive
2024-03-17 16:25:17 -04:00
microproofs
eb07365e73
fix tests
2024-03-08 00:12:44 -05:00
microproofs
a3fbe6c155
fix tests
2024-03-06 23:27:10 -05:00
microproofs
27eb1a3e04
Change all uses of interning besides the uplc parser to use the new CodeGenInterner
2024-03-04 11:03:23 -05:00
microproofs
e14f091b86
add back test 93
2024-03-04 10:52:56 -05:00
KtorZ
2b8e99a1b8
Fix CI script for acceptance tests, and have them run in parallel.
2024-03-02 14:11:22 +01:00
rvcas
9e3f348c6c
chore: commit artifacts from acceptance tests
2024-02-13 21:29:46 -05:00
microproofs
d8cdeba6fd
chore: lastest acceptance test lock and plutus.json files
2024-01-31 00:07:43 -05:00
KtorZ
b50e4ab63a
Re-format and re-run all acceptance tests.
2024-01-20 10:44:16 +01:00
microproofs
c7af27a6ba
fix: generic edge case with tuples that allowed 2 tuples and 3 tuples to use the same monomorphized function.
...
Also massively reduced the space taken up by generics in scripts when using generics with list and tuples
2024-01-13 17:46:32 -05:00
microproofs
394cac86b8
feat: expect on a type now can take in a msg when in trace mode
2024-01-04 16:03:51 -05:00
rvcas
b17b7f287c
chore: update to pallas v0.20.0
2023-12-04 21:44:19 -05:00
rvcas
7c4cabada9
chore: add latest acceptance artifacts
2023-12-04 21:10:55 -05:00
microproofs
446ef11606
chore: finishing acceptance test 29
...
and updating acceptance test lock files
2023-11-08 14:31:44 -05:00
microproofs
5d56d41a68
chore: update lock files for acceptance tests
2023-11-06 15:37:04 -05:00
microproofs
598ec5eaef
Use a better algorithm for inlining single occurrences
2023-11-06 15:37:04 -05:00
microproofs
68d9a21c6a
commit current lock files
2023-10-07 19:42:24 -04:00
rvcas
bc0824f4eb
chore: new aiken.lock files for examples
2023-09-13 18:17:40 -04:00
Kasey White
02d57cc076
tests pass now after adding in final wrapper as air elements
2023-04-09 17:43:56 -04:00
Kasey White
897011e9bc
misc changes
2023-04-09 17:43:56 -04:00
Kasey White
f4ba6b8985
fix: unused validator args had an incorrect if check
2023-04-09 17:43:56 -04:00
Kasey White
3f45b524b8
feat: unused validator args are not expect checked
2023-04-09 17:43:56 -04:00
rvcas
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
KtorZ
45a463786f
Update blueprints from acceptance tests and hello, world.
2023-03-12 12:44:49 -04:00
KtorZ
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
Kasey White
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
rvcas
d41e6942c6
test: fix acceptance tests
2023-02-16 00:05:55 -05:00
Kasey White
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
rvcas
9b0fc0b395
chore: fix some weirdness after rebasing with main
2023-02-10 10:09:00 +01:00
Matthias Benkort
efbc3abb95
Delete tests.ak
2023-02-09 09:23:46 +01:00
rvcas
6f591c633d
chore: fmt most of the acceptance tests
2023-02-09 00:57:14 -05:00
Kasey White
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
rvcas
79b0af15da
chore: commit acceptance test plutus files
2023-02-02 00:49:47 -05:00
KtorZ
79b8786cee
Replace 'assets' with generated blueprints.
2023-01-31 15:39:41 +01:00
rvcas
d4a73f1235
chore: commit assets
2023-01-30 12:01:56 -05:00
KtorZ
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
