AlexanderKnueppel / AlexanderKnueppel/Skeditor
Add means for generating KeymaerraX programs
Aberta
enhancement
- Linguagem predominante
- Java
- Estrelas
- 1
- Forks
- 5
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
Currently, the only way to generate KeymaeraX programs from Skillgraphs is by using the dynamic model. We should add an additional AST-ish like structure to generate syntactically correct programs based on a skill of a skillgraph.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.