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

README: publication update #430

Merged
merged 1 commit into from
Jul 31, 2024
Merged

README: publication update #430

merged 1 commit into from
Jul 31, 2024

Conversation

vhavlena
Copy link
Collaborator

Reference to the TACAS'24 paper.

@vhavlena vhavlena requested review from Adda0 and jurajsic July 31, 2024 09:51
@vhavlena
Copy link
Collaborator Author

@jurajsic Juraj, there are two remaining items in the issue #319 . Can you explain what do you mean by that? I want to finish it off.

@jurajsic
Copy link
Member

jurajsic commented Jul 31, 2024 •
edited
Loading

@jurajsic Juraj, there are two remaining items in the issue #319 . Can you explain what do you mean by that? I want to finish it off.

graphviz - mention why it is needed in readme, that it is used for showing automata (in the building of python binding, also it is weird we use apt-get, it should be buildable also on mac)

The coverage - see #142

@Adda0
Copy link
Collaborator

Adda0 commented Jul 31, 2024

I will merge this PR and the remaining issues can be resolved in another PR.

@Adda0 Adda0 merged commit 6f9cb59 into devel Jul 31, 2024
18 checks passed
@Adda0 Adda0 deleted the readme-publ-update branch July 31, 2024 12:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jurajsic jurajsic jurajsic approved these changes

@Adda0 Adda0 Adda0 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@vhavlena @jurajsic @Adda0