search

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
http://adam.informatik.uni-oldenburg.de:4567/
GNU General Public License v3.0
5 stars 2 forks source link

Cannot rename a node in Chromium #5

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

When renaming a node I can type in the changes and hit enter, but nothing changes.

I think this is related to: #2

annyanich commented 4 years ago

Fixed it in b5dd0ca18a42a96eb7bb3aa418a384824f8994c3 :)