Skip to content
This repository has been archived by the owner on Sep 22, 2024. It is now read-only.

Add the antlr maven plugin to epoch #19

Closed
lsk567 opened this issue Jul 5, 2023 · 2 comments · Fixed by #26
Closed

Add the antlr maven plugin to epoch #19

lsk567 opened this issue Jul 5, 2023 · 2 comments · Fixed by #26
Assignees
@lsk567

Comments

@lsk567
Copy link
Contributor

lsk567 commented Jul 5, 2023 •
edited
Loading

So that the verifier feature lf-lang/lingua-franca#1271 can be brought to epoch.
@lsk567 lsk567 self-assigned this Jul 5, 2023
@lhstrh lhstrh transferred this issue from lf-lang/lingua-franca Jul 5, 2023
@lhstrh
Copy link
Member

lhstrh commented Jul 6, 2023

@lsk567, please fix this before we merge in lf-lang/lingua-franca#1271.

@lsk567
Copy link
Contributor Author

lsk567 commented Jul 7, 2023

Sounds good. I will work on this.

This was referenced Jul 19, 2023
Merged
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@lsk567 lsk567

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Uclid5-based LF Verifier lf-lang/epoch
2 participants
@lsk567 @lhstrh