Skip to content

First translation efforts#8

Open
markus7800 wants to merge 10 commits intomainfrom
ppl-backend-markus
Open

First translation efforts#8
markus7800 wants to merge 10 commits intomainfrom
ppl-backend-markus

Conversation

@markus7800
Copy link
Copy Markdown
Collaborator

@markus7800 markus7800 commented Nov 15, 2023

You can find my first efforts to translate probros programs to Pyro, Turing, and Gen in python/probros/translators

The program is assumed to be restricted to the syntax described in python/probros/docs.ipynb.

cd python/probros/translators and run test.py for a demo.

It is by no means complete, but handles

  • sample statements
  • observe statements
  • dynamic addresses
  • some checks if program can be translated to Turing
  • Vectors / Arrays

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.

1 participant