Skip to content

Grammar usage and import#77

Merged
andreas-zeller merged 2 commits intouds-se:masterfrom
LaPlei96:master
Jan 16, 2025
Merged

Grammar usage and import#77
andreas-zeller merged 2 commits intouds-se:masterfrom
LaPlei96:master

Conversation

@LaPlei96
Copy link

Changed Alhazen.ipynb and Alhazen.py to be able to run Alhazen on any grammar and not only on the CALC_GRAMMAR.
Changed Alhazen.py to be able to import and run Alhazen.

@andreas-zeller andreas-zeller merged commit df687db into uds-se:master Jan 16, 2025
6 of 7 checks passed
@andreas-zeller
Copy link
Member

Thanks! I am integrating this into the 1.3.1 debuggingbook release.

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.

2 participants