a3fbe6c155
fix tests
2024-03-06 23:27:10 -05:00
e217423145
mixed up pair builtin
2024-03-06 23:27:10 -05:00
bdd84dc952
fixing the tests lead to me create a new function for converting from data
2024-03-06 23:27:10 -05:00
892da06e14
add more runtime checking for a few of the data to primitive conversions
2024-03-06 23:27:10 -05:00
0f926d3c31
Fix code-gen tests due to associativity change.
2024-03-07 01:28:51 +01:00
bff822ea7f
Rework unit test report to leverage new reification
...
And also provide slightly better errors when traces, or trace-if-false operators are present.
2024-03-07 01:20:40 +01:00
59996850c1
Implement 'reify_constant' and rename reify to 'reify_data'
...
Both fullfill similar goal, but reify_constant sits one level above.
2024-03-07 01:17:06 +01:00
8ffa68d2f0
Fix && and || associativity.
...
Somehow, these have always been right-associative, when the natural thing to expect is left-associativity. It now matters when trying to crawl down binary tree to display them properly.
2024-03-07 01:17:05 +01:00
c9ab1aec98
chore: consume errs instead of cloning
2024-03-06 18:20:14 -05:00
f8377af0c8
feat(parse): run in parallel
2024-03-06 18:16:07 -05:00
9c5556aa1e
feat(deps): remove tests from ast and ignore warnings
2024-03-06 18:16:07 -05:00
25ebdc2527
fix: validator args unexpectedly unbound
...
closes #852
2024-03-06 14:15:00 -05:00
ad4840958c
chore: add test for validator args with no annotation
2024-03-06 11:19:32 -05:00
f14bab69c0
Merge pull request #851 from aiken-lang/update-built
...
update package dependency
2024-03-06 17:11:05 +01:00
2bc433f61e
fix: need to use temp_term for counting var occurrences in identity reducer
...
chore: Adding more shrinker tests and fixed some of the existing ones
2024-03-05 12:08:18 -05:00
b146db8c95
update package dependency
2024-03-05 10:23:29 -05:00
966a20f691
Fix run_n_times for properties expected to fail.
2024-03-04 23:41:37 +01:00
4d432513e0
Fix interesting case identification for properties expected to fail.
2024-03-04 23:28:45 +01:00
4097d1edb2
Fix negative integer literal parsing in fuzzer DSL.
2024-03-04 23:27:23 +01:00
fbeb611e5f
Show counter examples in green when property is expected to fail.
2024-03-04 20:41:04 +01:00
3e922c0a52
Allow primitive literals, lists and tuples in fuzzer expressions.
2024-03-04 20:41:04 +01:00
c7cd89d127
chore: fix fmt
2024-03-04 13:03:07 -05:00
df3baa082e
Remove 'seed' arg from 'with_project' to FinishedTests event
...
Also polish a bit the output of tests, move test result to stdout to allow filtering out warnings by redirecting stderr to /dev/null.
2024-03-04 18:43:51 +01:00
c9dd281b45
disable assert that was blocking issue #844
2024-03-04 11:48:22 -05:00
27eb1a3e04
Change all uses of interning besides the uplc parser to use the new CodeGenInterner
2024-03-04 11:03:23 -05:00
d971d9818b
update tests and ensure identity reducer handles no_inline lambda
2024-03-04 10:52:56 -05:00
af6c107187
remove unneeded assert
2024-03-04 10:52:56 -05:00
06ca22c26a
update inliner to handle no_inline functions
2024-03-04 10:52:56 -05:00
4e928f39db
start adding no inline flag to functions
2024-03-04 10:52:56 -05:00
2aaa46e54c
remove print
2024-03-04 10:52:56 -05:00
c6ef37cc5c
checkpoint
2024-03-04 10:52:56 -05:00
4e0aaf970f
update tests and fix final unique issues
2024-03-04 10:52:56 -05:00
62963f7fc2
feat: finish curry optmization, improve inline optimization further, and add a subtract integer to add integer conversion
2024-03-04 10:52:56 -05:00
7d8fdc0f22
prevent curried function hoisting if occurrences is 0
2024-03-04 10:52:56 -05:00
258b5abf23
now currying works
2024-03-04 10:52:56 -05:00
3b55a32583
finish up curry optimization on builtins
2024-03-04 10:52:56 -05:00
58d586c5cf
large refactor to reduce complexity
2024-03-04 10:52:56 -05:00
8f84eb382f
commit some changes so far
2024-03-04 10:52:56 -05:00
9a52258e14
chugging along with a small refactor and some more work toward currying
2024-03-04 10:52:56 -05:00
2f72510102
chore: Add back curry code removed in a previous commit
2024-03-04 10:52:56 -05:00
8e8e0de044
cargo fmt --all
2024-03-04 14:46:16 +01:00
362acd43a3
Rework and optimize PRNG
...
Using ByteArrays as vectors on-chain is a lot more efficient than relying on actul Data's list of values. From the Rust end, it doesn't change much as we were already manipulating vectors anyway.
2024-03-04 14:27:16 +01:00
dd1c7d675f
Allow Aiken files to have more than one dot-separated suffix.
2024-03-04 00:15:05 +01:00
50faf81c0f
Use u64 for PRNG choices.
2024-03-04 00:14:34 +01:00
900b73b21a
cargo fmt --all
2024-03-03 21:05:43 +01:00
fbda31d980
Fix and improve test outputs for prop tests.
2024-03-03 21:00:51 +01:00
7a2537432a
Accept an optional --seed parameter for check, otherwise default to random.
...
Also, show the seed on failure.
2024-03-03 20:36:01 +01:00
a7b9d4bb22
Use u8 for fuzzer choices instead of u32
...
Value is bounded between 0 and 255.
2024-03-03 19:38:49 +01:00
30841fe000
Rework generate_raw to avoid need to intern in prop tests
...
Also, this commit makes `apply_term` automatically re-intern the
program since it isn't safe to apply any term onto a UPLC program. In
particular, terms that introduce new let-bindings (via lambdas) will
mess with the already generated DeBruijn indices.
The problem doesn't occur for pure constant terms like Data. So we
still have a safe and fast version 'apply_data' when needed.
2024-03-03 19:33:27 +01:00
1134b8d7d0
Register tests as callable definitions.
...
Also move the registering of validators into the same place as they
other and define a little cute function to avoid code-duplication.
2024-03-03 19:33:27 +01:00
microproofs