search

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
5 stars 5 forks source link

Add (C, Java, Javascript) semantics to kweb #26

Open pdaian opened 9 years ago

pdaian commented 9 years ago

... and generalize frontend for multiple tools.