Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support realizes for justifications #15

Open
mosser opened this issue Aug 1, 2023 · 0 comments
Open

Support realizes for justifications #15

mosser opened this issue Aug 1, 2023 · 0 comments
Assignees
@Nirmal-code
Labels
feature New feature or request
Milestone
2312 - Fall 23

Comments

@mosser
Copy link
Member

mosser commented Aug 1, 2023

Patterns and justification can be compiled, but so far, a justification cannot realize a pattern. This needs to be fixed.
@mosser mosser added the feature New feature or request label Aug 1, 2023
@mosser mosser added this to the Summer 23 milestone Aug 1, 2023
@mosser mosser self-assigned this Aug 1, 2023
@mosser mosser modified the milestones: Summer 23, Fall 23 Sep 22, 2023
@mosser mosser assigned Nirmal-code and unassigned mosser Sep 22, 2023
Nirmal-code added a commit that referenced this issue Oct 5, 2023
@Nirmal-code
[feature] issue #15 mostly complete
144f697 
Implemented a realizes relation between justification diagram and pattern. Still one issue that must be addressed where diagrams are overlapping on each other.
Nirmal-code added a commit that referenced this issue Oct 6, 2023
@Nirmal-code
[fix] Fixed issue #15 to prevent overlap
3c558d1 
Previous error was due to conclusion having duplicate support identifiers in its set. Implemented an equality relation for JustificiationElement.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Nirmal-code Nirmal-code

Labels
feature New feature or request
Projects
None yet
Milestone
2312 - Fall 23
Development

No branches or pull requests
2 participants
@mosser @Nirmal-code