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 |
|
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
|
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 |
|
microproofs
|
47596f0324
|
feat: Remove tuple_index and record_access in favor of faster more direct functions for
accessing an item in a tuple or a field in a record
|
2023-09-28 01:05:05 -04:00 |
|
microproofs
|
eb0b4dd6d8
|
update lock files
|
2023-09-25 21:16:19 -04:00 |
|
microproofs
|
b8737a1021
|
add one more test for unbound generics
|
2023-09-25 21:16:19 -04:00 |
|
rvcas
|
bc0824f4eb
|
chore: new aiken.lock files for examples
|
2023-09-13 18:17:40 -04:00 |
|
rvcas
|
f4d0f231d7
|
test: fix acceptance tests
|
2023-08-16 14:52:06 -04:00 |
|
rvcas
|
37b2f0c239
|
fix: gift card example stdlib update
closes #596
|
2023-06-13 00:38:29 -04:00 |
|
microproofs
|
5faa925aea
|
fix: error when using nested boolean checks in when conditions
|
2023-06-06 03:04:12 -04:00 |
|
microproofs
|
bfd2a50a6b
|
fix: zero arg functions were grabbing extra dependencies they didn't need to
fix: Had the wrong conversion for constant maps to plutus data. Fixed to check for right conversion
|
2023-06-04 15:23:36 -04:00 |
|