microproofs
eb709d6fc3
reorder tests to match order of functions
2024-03-08 00:12:44 -05:00
rvcas
fab6d5aff7
chore: fix fmt
2024-03-07 19:32:33 -05:00
KtorZ
8e558d893f
Only reify unit tests assertions on failure.
2024-03-07 19:07:55 +01:00
KtorZ
0d599f7e2d
re-add missing newline after test blocks.
2024-03-07 18:28:21 +01:00
KtorZ
23a22a65cb
Handle (recursive) generic types during reification.
...
Also moved a bunch of functions from code-gen back into _tipo_, as
they're better suited and generic enough to be reused elsewhere.
2024-03-07 18:07:52 +01:00
microproofs
a3fbe6c155
fix tests
2024-03-06 23:27:10 -05:00
microproofs
e217423145
mixed up pair builtin
2024-03-06 23:27:10 -05:00
microproofs
bdd84dc952
fixing the tests lead to me create a new function for converting from data
2024-03-06 23:27:10 -05:00
microproofs
892da06e14
add more runtime checking for a few of the data to primitive conversions
2024-03-06 23:27:10 -05:00
KtorZ
4c97240900
Fill-in CHANGELOG about associativity.
2024-03-07 01:31:04 +01:00
KtorZ
0f926d3c31
Fix code-gen tests due to associativity change.
2024-03-07 01:28:51 +01:00
KtorZ
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
KtorZ
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
KtorZ
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
rvcas
c9ab1aec98
chore: consume errs instead of cloning
2024-03-06 18:20:14 -05:00
rvcas
f8377af0c8
feat(parse): run in parallel
2024-03-06 18:16:07 -05:00
rvcas
9c5556aa1e
feat(deps): remove tests from ast and ignore warnings
2024-03-06 18:16:07 -05:00
rvcas
25ebdc2527
fix: validator args unexpectedly unbound
...
closes #852
2024-03-06 14:15:00 -05:00
rvcas
ad4840958c
chore: add test for validator args with no annotation
2024-03-06 11:19:32 -05:00
Matthias Benkort
f14bab69c0
Merge pull request #851 from aiken-lang/update-built
...
update package dependency
2024-03-06 17:11:05 +01:00
microproofs
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
microproofs
b146db8c95
update package dependency
2024-03-05 10:23:29 -05:00
dependabot[bot]
52795692d6
Bump mio from 0.8.10 to 0.8.11
...
Bumps [mio](https://github.com/tokio-rs/mio ) from 0.8.10 to 0.8.11.
- [Release notes](https://github.com/tokio-rs/mio/releases )
- [Changelog](https://github.com/tokio-rs/mio/blob/master/CHANGELOG.md )
- [Commits](https://github.com/tokio-rs/mio/compare/v0.8.10...v0.8.11 )
---
updated-dependencies:
- dependency-name: mio
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com >
2024-03-05 10:18:01 -05:00
KtorZ
966a20f691
Fix run_n_times for properties expected to fail.
2024-03-04 23:41:37 +01:00
KtorZ
4d432513e0
Fix interesting case identification for properties expected to fail.
2024-03-04 23:28:45 +01:00
KtorZ
4097d1edb2
Fix negative integer literal parsing in fuzzer DSL.
2024-03-04 23:27:23 +01:00
KtorZ
fbeb611e5f
Show counter examples in green when property is expected to fail.
2024-03-04 20:41:04 +01:00
KtorZ
3e922c0a52
Allow primitive literals, lists and tuples in fuzzer expressions.
2024-03-04 20:41:04 +01:00
rvcas
c7cd89d127
chore: fix fmt
2024-03-04 13:03:07 -05:00
KtorZ
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
microproofs
c9dd281b45
disable assert that was blocking issue #844
2024-03-04 11:48:22 -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
microproofs
d971d9818b
update tests and ensure identity reducer handles no_inline lambda
2024-03-04 10:52:56 -05:00
microproofs
af6c107187
remove unneeded assert
2024-03-04 10:52:56 -05:00
microproofs
06ca22c26a
update inliner to handle no_inline functions
2024-03-04 10:52:56 -05:00
microproofs
4e928f39db
start adding no inline flag to functions
2024-03-04 10:52:56 -05:00
microproofs
2aaa46e54c
remove print
2024-03-04 10:52:56 -05:00
microproofs
c6ef37cc5c
checkpoint
2024-03-04 10:52:56 -05:00
microproofs
4e0aaf970f
update tests and fix final unique issues
2024-03-04 10:52:56 -05:00
microproofs
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
microproofs
7d8fdc0f22
prevent curried function hoisting if occurrences is 0
2024-03-04 10:52:56 -05:00
microproofs
258b5abf23
now currying works
2024-03-04 10:52:56 -05:00
microproofs
3b55a32583
finish up curry optimization on builtins
2024-03-04 10:52:56 -05:00
microproofs
58d586c5cf
large refactor to reduce complexity
2024-03-04 10:52:56 -05:00
microproofs
8f84eb382f
commit some changes so far
2024-03-04 10:52:56 -05:00
microproofs
9a52258e14
chugging along with a small refactor and some more work toward currying
2024-03-04 10:52:56 -05:00
microproofs
2f72510102
chore: Add back curry code removed in a previous commit
2024-03-04 10:52:56 -05:00
Matthias Benkort
7c2bae0904
Merge pull request #849 from waalge/waalge/bump-rust-1-76-0
...
Waalge/bump rust 1 76 0
2024-03-04 16:18:41 +01:00
waalge
658984e157
Merge remote-tracking branch 'official/main' into waalge/bump-rust-1-76-0
2024-03-04 14:34:14 +00:00
