KtorZ
48535636ed
Fix remaining acceptance tests to be V3-compatible
2024-08-27 19:19:25 +02:00
KtorZ
3521a8c921
Start adjusting acceptance tests to the new Plutus V3 syntax.
2024-08-25 17:12:36 +02:00
microproofs
72059eacee
Fix: Recursion issue where the static param optimization on recursive functions that were passed as arguments to other functions
2024-08-08 19:36:16 -04:00
microproofs
0a1992acd2
Run acceptance tests
2024-08-08 00:39:44 -04:00
KtorZ
bf5a406ffb
Remove clause guards.
...
Closes #886 .
2024-08-02 00:16:27 -04:00
microproofs
1001e83374
Updated acceptance test runs
2024-07-24 10:34:29 -04:00
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
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
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