Issues
- 0
docs: Readme
#43 opened by chbridges - 0
docs: Presentations
#70 opened by chbridges - 2
docs: Generate documentation with sphinx
#42 opened by chbridges - 0
feat: setup.py
#47 opened by chbridges - 0
test: Implement R code generation for re2
#18 opened by chbridges - 0
feat: Re-compile OCaml solvers for Ubuntu 20.04
#45 opened by chbridges - 0
- 0
bug: pipenv fails to install Box2D
#41 opened by chbridges - 1
feat: 1-Click-Demo
#46 opened by chbridges - 1
feat: Implement R code verification
#39 opened by chbridges - 0
feat: Implement R code generation for re2
#11 opened by chbridges - 0
feat: Integrate tqdm
#48 opened by chbridges - 1
feat: Load manual fixes for invented primitives
#50 opened by chbridges - 0
bug: Nested invented primitives are not handled
#35 opened by chbridges - 0
feat: Re-implement the re2 primitives in R
#13 opened by chbridges - 2
feat: Extend translation to full re2 domain
#10 opened by chbridges - 1
- 1
- 0
feat: Statistics
#40 opened by chbridges - 1
test: Translations
#34 opened by chbridges - 2
test: Implement Python code verification
#22 opened by chbridges - 0
feat: Implement Python code verification
#21 opened by chbridges - 2
- 1
- 1
- 2
- 1
refactor: Translation module
#36 opened by chbridges - 1
feat: Remove comments from parsed primitives
#32 opened by chbridges - 2
- 1
- 1
- 1
feat: Implement Python code generation for simple ASTs (arithmetics, procedures)
#5 opened by saboenisa - 1
- 0
- 0
- 0
- 0
- 0
- 0
- 1
- 2
- 2
- 1
ci: test coverage
#20 opened by chbridges - 1
ci: update linting
#19 opened by chbridges