Ecosystem of classes #45
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
03ca34f to
4b9457b
Compare
commit 4b9457b Author: Jan Mas Rovira <[email protected]> Date: Fri Jul 18 09:44:49 2025 +0200 add keys commit 0695dd3 Author: Jan Mas Rovira <[email protected]> Date: Fri Jul 18 08:00:17 2025 +0200 action commit 9c21534 Author: Jan Mas Rovira <[email protected]> Date: Thu Jul 17 22:01:49 2025 +0200 Logic commit c0c6d22 Author: Jan Mas Rovira <[email protected]> Date: Thu Jul 17 18:41:41 2025 +0200 more refactors commit bcaa410 Author: Jan Mas Rovira <[email protected]> Date: Thu Jul 17 17:30:49 2025 +0200 refactor files commit 5bb96be Author: Jan Mas Rovira <[email protected]> Date: Thu Jul 17 15:47:59 2025 +0200 adapt examples commit 0e0cdf6 Author: Jan Mas Rovira <[email protected]> Date: Thu Jul 17 13:19:14 2025 +0200 label for intents commit eae64cf Author: Jan Mas Rovira <[email protected]> Date: Thu Jul 17 10:06:38 2025 +0200 logic checks commit 7155377 Author: Jan Mas Rovira <[email protected]> Date: Wed Jul 16 22:32:16 2025 +0200 move intents out commit e0882f4 Author: Jan Mas Rovira <[email protected]> Date: Wed Jul 16 22:15:20 2025 +0200 function logic commit 2051950 Author: Jan Mas Rovira <[email protected]> Date: Wed Jul 16 14:37:26 2025 +0200 more changes commit 9e8ca17 Author: Jan Mas Rovira <[email protected]> Date: Tue Jul 15 19:14:04 2025 +0200 ecosystem wip commit 4d809d0 Author: Łukasz Czajka <[email protected]> Date: Wed Jul 16 15:47:23 2025 +0200 Use the `label` field to store Intent.ResourceData (#44) - Closes #39 commit 3db1b8e Author: Łukasz Czajka <[email protected]> Date: Wed Jul 16 06:42:20 2025 +0200 Compliance units (#43) - Closes #10 - The translation is modified to divide each action into compliance units. Dummy ephemeral resources with quantity 0 are added to satisfy the requirement that each compliance unit needs to have one consumed and one created resource. - The RLs are updated to filter out (ignore) the dummy resources. --------- Co-authored-by: Copilot <[email protected]>
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
| match Function.parseObjectArgs args funId with | ||
| | none => pure none | ||
| | some (consumedObjects : funId.Selves) => | ||
| let mconsumedList : Option (List SomeConsumedObject) := |
Collaborator
There was a problem hiding this comment.
In my opinion, this lack of indenting for matches makes the code less readable
lukaszcz
reviewed
Jul 21, 2025
Co-authored-by: Łukasz Czajka <[email protected]>
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
approved these changes
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
lukaszcz
reviewed
Jul 21, 2025
Collaborator
lukaszcz
left a comment
There was a problem hiding this comment.
We should rethink allowed intent placement.
lukaszcz
requested changes
Jul 21, 2025
Collaborator
lukaszcz
left a comment
There was a problem hiding this comment.
We should rethink allowed intent placement.
Collaborator
We have to make a single RL for the whole ecosystem, which makes it more difficult to associate allowed intents with classes. But we could check the class label of the consumed object, and check if the intent is allowed for it. |
Collaborator
Author
|
I think it would make more sense to tackle the intent placement issue in a separate pr. If I put it back into |
Collaborator
Okay, let's do it in a separate PR |
lukaszcz
previously approved these changes
Jul 21, 2025
Collaborator
That's not true. We still have |
lukaszcz
approved these changes
Jul 21, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pr introduces
Ecosystem.Labels,Ecosystems andFunctions.An ecosystem consists of:
Class).Relevant changes:
Ecosystem.Labelidentifies and describes an ecosystem.Ecosystembecomes the new entry point for the AVM layer. Before it wasClass.