AlexanderKnueppel / AlexanderKnueppel/Skeditor
Update KeYmaera Bridge
Aberta
bug
- Linguagem predominante
- Java
- Estrelas
- 1
- Forks
- 5
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
KeYmaeraBridge in package ```de.tubs.skeditor.keymaera``` does not comply to newer versions of KeYmaera X.
Probably, the problem parser needs to be exchanged. Have a look at http://www.ls.cs.cmu.edu/KeYmaeraX/scaladoc/.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.