-
Notifications
You must be signed in to change notification settings - Fork 0
Correct languages #18
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.
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
Conversation
…message to explain why this merge is necessary, # especially if it merges an updated upstream into a topic branch. # # Lines starting with '#' will be ignored, and an empty message aborts # the commit.
…ra_puzzles into add_TrustLLM_languages
It looks like the commits were merged in the previous PR. This one only adds 6 new commits |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! Just needs the code check to pass now (running make check
locally should do the trick).
It seems some languages are not compatible with the plotting pipeline. I have opened a issue #19 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
Add a few corrections and list supported languages in README