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

Issue 547: Langkit-based specification parser #551

Merged
merged 104 commits into from
Mar 2, 2021
Merged

Issue 547: Langkit-based specification parser #551

merged 104 commits into from
Mar 2, 2021

Conversation

senier
Copy link
Member

@senier senier commented Jan 18, 2021

Closes #547

@senier senier requested review from treiher and jklmnn January 18, 2021 22:44
@treiher treiher changed the title Issue 547 Issue 547: Langkit-based specification parser Jan 19, 2021
jklmnn
jklmnn suggested changes Jan 19, 2021
View reviewed changes
README.md Show resolved Hide resolved
rflx/model/model.py Outdated Show resolved Hide resolved
rflx/specification/parser.py Outdated Show resolved Hide resolved
setup.py Outdated Show resolved Hide resolved
treiher
treiher requested changes Jan 20, 2021
View reviewed changes
rflx/specification/parser.py Show resolved Hide resolved
tests/utils.py Outdated Show resolved Hide resolved
tests/utils.py Outdated Show resolved Hide resolved
.github/workflows/tests.yml Outdated Show resolved Hide resolved
.github/workflows/tests.yml Outdated Show resolved Hide resolved
rflx/model/session.py Outdated Show resolved Hide resolved
rflx/specification/parser.py Outdated Show resolved Hide resolved
rflx/specification/parser.py Outdated Show resolved Hide resolved
tests/unit/specification/parser_test.py Outdated Show resolved Hide resolved
tests/property/specification_test.py Show resolved Hide resolved
@treiher treiher linked an issue Jan 21, 2021 that may be closed by this pull request
Trailing ) in comment yields parse error #284
Closed
@treiher treiher removed a link to an issue Jan 21, 2021
Trailing ) in comment yields parse error #284
Closed
@treiher treiher linked an issue Jan 21, 2021 that may be closed by this pull request
Trailing ) in comment yields parse error #284
Closed
@treiher treiher mentioned this pull request Jan 21, 2021
Closed
@senier senier force-pushed the issue_547 branch 5 times, most recently from f959dc8 to 2b1e2da Compare February 9, 2021 21:01
@senier senier requested review from jklmnn and treiher February 9, 2021 22:18
jklmnn
jklmnn suggested changes Feb 10, 2021
View reviewed changes
.github/workflows/tests.yml Show resolved Hide resolved
tests/integration/specification_model_test.py Outdated Show resolved Hide resolved
rflx/specification/parser.py Outdated Show resolved Hide resolved
treiher
treiher reviewed Feb 10, 2021
View reviewed changes
rflx/specification/parser.py Outdated Show resolved Hide resolved
rflx/model/model.py Outdated Show resolved Hide resolved
treiher
treiher requested changes Feb 10, 2021
View reviewed changes
.github/workflows/tests.yml Outdated Show resolved Hide resolved
rflx/model/model.py Outdated Show resolved Hide resolved
rflx/specification/parser.py Outdated Show resolved Hide resolved
tests/utils.py Outdated Show resolved Hide resolved
@senier senier force-pushed the issue_547 branch 2 times, most recently from 1714b24 to 22f8310 Compare February 16, 2021 15:50
@senier senier requested review from jklmnn and treiher February 16, 2021 16:02
jklmnn
jklmnn previously approved these changes Feb 16, 2021
View reviewed changes
@senier senier requested a review from jklmnn February 17, 2021 16:45
jklmnn
jklmnn previously approved these changes Feb 17, 2021
View reviewed changes
treiher
treiher requested changes Feb 18, 2021
View reviewed changes
rflx/model/session.py Outdated Show resolved Hide resolved
rflx/model/session.py Outdated Show resolved Hide resolved
tests/data/models.py Outdated Show resolved Hide resolved
tests/unit/graph_test.py Outdated Show resolved Hide resolved
tests/unit/model/session_test.py Outdated Show resolved Hide resolved
tests/utils.py Outdated Show resolved Hide resolved
Alexander Senier added 17 commits February 26, 2021 20:31
@senier senier requested review from treiher and jklmnn and removed request for jklmnn February 27, 2021 16:14
treiher
treiher requested changes Mar 1, 2021
View reviewed changes
tests/ide/ide_test.py Show resolved Hide resolved
@senier senier merged commit d0e1734 into develop Mar 2, 2021
@senier senier deleted the issue_547 branch March 2, 2021 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jklmnn jklmnn jklmnn approved these changes

@treiher treiher treiher 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.

Langkit-based specification parser Trailing ) in comment yields parse error
3 participants
@senier @jklmnn @treiher