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.

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

lexer for the cplint language #2045

Merged
merged 14 commits into from Feb 20, 2022
Merged

lexer for the cplint language #2045

merged 14 commits into from Feb 20, 2022

Conversation

friguzzi
Copy link
Contributor

Lexer for the cplint language https://cplint.eu, including CP-logic, Logic Programs with Annotated Disjunctions, ProbLog and Distributional Clauses syntax

@friguzzi
Copy link
Contributor Author

I uploaded changes that should fix the problems found during workflow run

@friguzzi
Copy link
Contributor Author

I fixed the copyright problem

@friguzzi
Copy link
Contributor Author

I included myself to the list of authors

Copy link
Contributor

@jeanas jeanas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not a maintainer, just a random lurker on the Internet. Since the maintainers have many PRs and not enough time, I'll review this anyway.

pygments/lexers/cplint.py Outdated Show resolved Hide resolved
pygments/lexers/cplint.py Outdated Show resolved Hide resolved
pygments/lexers/cplint.py Show resolved Hide resolved
pygments/lexers/cplint.py Outdated Show resolved Hide resolved
pygments/lexers/cplint.py Outdated Show resolved Hide resolved
pygments/lexers/cplint.py Outdated Show resolved Hide resolved
tests/examplefiles/cplint/gaussian_mixture.pl Show resolved Hide resolved
pygments/lexers/cplint.py Outdated Show resolved Hide resolved
@friguzzi
Copy link
Contributor Author

friguzzi commented Feb 3, 2022

with the latest commit I should have resolved all the problems

@Anteru
Copy link
Collaborator

Anteru commented Feb 20, 2022

Can you please update this to the latest master branch so we can re-run the CI? There was a breaking change to pytest which now affects all "old" PRs.

@friguzzi
Copy link
Contributor Author

PR updated

@Anteru
Copy link
Collaborator

Anteru commented Feb 20, 2022

Thanks! Now I can run the CI properly

@Anteru Anteru merged commit 61c78d1 into pygments:master Feb 20, 2022
@Anteru
Copy link
Collaborator

Anteru commented Feb 20, 2022

Merged, thanks a lot for the contribution!

@Anteru Anteru added this to the 2.12.0 milestone Feb 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants