AlexanderKnueppel / AlexanderKnueppel/Skeditor
Update KeYmaera Bridge
Aperta
bug
- Lingua principale
- Java
- Stelle
- 1
- Fork
- 5
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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/.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.