79ccc55499
feat(cli): print Export json to stdout
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-04-08 14:30:07 -04:00
dac3308620
feat(Project::export): use Export::from_function and transpose
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-04-08 14:30:07 -04:00
8ed930ac5a
feat: implement Export object based on blueprint
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-04-08 14:30:07 -04:00
3cdb21ad6b
feat(blueprint): make a helper public
2024-04-08 14:30:07 -04:00
a11b1fa56a
chore: cleanup validator creator method
2024-04-08 14:30:07 -04:00
9322020a5e
feat(blueprint): re-export Error
2024-04-08 14:30:07 -04:00
f50f7e42db
feat(project): create export type
...
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-04-08 14:30:07 -04:00
9d49be46b8
chore: add some docs to the uplc crate
2024-04-08 14:30:07 -04:00
033cc26313
fix: with_project no longer needs a seed
2024-04-08 14:30:07 -04:00
1d462314c4
feat: use new generate_raw function
2024-04-08 14:30:07 -04:00
7d67f1497c
feat(export): implement basic command functionality
2024-04-08 14:30:07 -04:00
b63bd9b9e0
feat(cli): add empty export commands
2024-04-08 14:30:07 -04:00
2abf626e25
chore(deps): bump h2 from 0.3.24 to 0.3.26
...
Bumps [h2](https://github.com/hyperium/h2 ) from 0.3.24 to 0.3.26.
- [Release notes](https://github.com/hyperium/h2/releases )
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.26/CHANGELOG.md )
- [Commits](https://github.com/hyperium/h2/compare/v0.3.24...v0.3.26 )
---
updated-dependencies:
- dependency-name: h2
dependency-type: indirect
...
Signed-off-by: dependabot[bot] <support@github.com>
2024-04-08 12:26:51 -04:00
fdbe811bf1
chore: update changelog
2024-04-02 19:49:30 -04:00
b27fcf38e5
fix(check): collapse_links on tuple_index access closes #905
2024-04-02 19:45:16 -04:00
7c5b9aa35e
feat(lsp): find_node for TypedArgVia
2024-04-02 19:22:19 -04:00
d22ee6e086
chore: remove useless clone
2024-04-02 19:04:33 -04:00
0ba6d23efa
chore: update changelog
2024-04-02 17:56:53 -04:00
e02bc2a58a
feat(lsp): find_node should traverse tail of list
2024-04-02 17:55:04 -04:00
98bd61a0cd
chore: update changelog
2024-03-29 11:38:22 -04:00
b5f27026e2
fix: confusing public validator closes #902
2024-03-29 11:32:04 -04:00
ce2c723d0c
chore: remove some dbg macros
2024-03-29 11:28:22 -04:00
21b1e29f09
chore: clippy fix
2024-03-27 16:39:52 -04:00
a6003c3be9
chore: push changes in blueprint snapshot test
2024-03-27 15:57:29 -04:00
a5a0734629
fix: casting a field type to Data with expect and traces on was assuming the raw Data was of type constr
2024-03-27 15:52:23 -04:00
075668b52e
chore: Release
2024-03-25 22:09:37 -04:00
54a89d3e69
chore: update changelog
2024-03-25 22:05:25 -04:00
a3f7b48ec3
Allow downcasting to data in piped function calls.
...
We have been a bit too strict on disallowing 'allow_cast' propagations. This is really only problematic for nested elements like Tuple's elements or App's args. However, for linked and unbound var it is probably okay, and it certainly is as well for function arguments.
2024-03-25 11:57:13 -04:00
4e8042fd06
chore: Release
2024-03-22 16:10:17 +01:00
eee1d1bf1e
Fix release date for v1.0.25-alpha.
2024-03-22 16:07:29 +01:00
96387e3437
Fixes #767
...
Co-authored-by: @rvcas <x@rvcas.dev>
2024-03-22 16:05:32 +01:00
80858387f6
chore: update changelog
2024-03-21 20:20:31 -04:00
a09069b828
fix: binop associativity formatting
...
it seems we can fix this by changing which side
gets subtracted by 1 depending on the op associativity.
BinOp::Or & BinOp::And are right associative while the
other bin ops are left associative.
closes #893
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-03-21 20:12:49 -04:00
0f9dbfd874
Fixes #883 .
2024-03-21 18:20:19 +01:00
ee280bc309
fix: only allow casting on top level Data
2024-03-21 11:59:34 -04:00
c20ff6b160
fix: contains_opaque was never intended to be used for type equality
2024-03-21 11:59:34 -04:00
5cec2544b3
Nonsensical prints to be removed.
2024-03-21 11:59:34 -04:00
25e9db4f6c
Rename t1 -> lhs, t2 -> rhs in unify.
2024-03-21 11:59:34 -04:00
dc9bab4f5c
Add extra test case.
2024-03-21 11:59:34 -04:00
bee2b712de
Fixes #881 .
2024-03-21 11:59:34 -04:00
4f8e900aac
fix: Discard not taken into account in backpassing
...
closes #890
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-03-20 17:53:17 -04:00
898ef74457
fix: spans for backpassing args
...
closes #882
Co-authored-by: Kasey White <kwhitemsg@gmail.com>
2024-03-20 17:27:17 -04:00
8495f98c1d
remove print
2024-03-17 16:26:10 -04:00
61936cb91e
fix(codegen): Add tracing when checking for a constr vs another primitive
2024-03-17 16:25:17 -04:00
d1ba8db889
Do not generate documentation for empty modules.
2024-03-15 21:40:57 +01:00
6515efeb73
Implementing remaining shrinking strategies.
...
This makes the search for counterexample slower in some cases by 30-40% with the hope of finding better counterexamples. We might want to add a flag '--simplification-level' to the command-line to let users decide on the level of simplifications.
2024-03-15 13:36:05 +01:00
b09e0316fa
Merge pull request #877 from aiken-lang/dependencies-pruning
...
Only compile modules the project depends on
2024-03-15 00:25:00 +01:00
9986bc6bfd
Remove duplication between docs & compile
...
And move some logic out of project/lib to be near the CheckedModule
instead. The project API is already quite heavy and long, so making it
more lightweight is generally what we want to tend to.
2024-03-15 00:05:39 +01:00
1caed3e87c
Use BTreeSet instead of HashSet whenever possible.
2024-03-14 23:08:39 +01:00
3f254dbe6b
Merge pull request #875 from aiken-lang/rvcas/expect_opaque
...
block expects on opaque types
2024-03-14 19:43:47 +01:00
rvcas