Skip to content

Issues: dionyziz/Automata

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

16 Open 18 Closed
16 Open 18 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The site automata.discrete.gr isn't working
#57 opened Mar 15, 2024 by DmitryMyadzelets
Automata is not rendered when loaded
#55 opened Apr 20, 2016 by DmitryMyadzelets
Double clicking on an edge's label should edit it bounty enhancement
#39 opened Jul 1, 2014 by dionyziz
1
Reloading the page should not lose your automaton enhancement
#38 opened Jul 1, 2014 by dionyziz
Introduce copy/paste functionality bounty enhancement
#37 opened Jul 1, 2014 by dionyziz
1
using the app is not clear
#33 opened Apr 8, 2014 by vagoum
Looks horrible sometimes bug
#32 opened Feb 18, 2014 by gtklocker
@gtklocker
4
Retina icons bounty
#30 opened Jan 31, 2014 by dionyziz
1
Add help/shortcuts button
#26 opened Jun 30, 2012 by vgerak
2
Resize automaton when running enhancement
#24 opened Jun 21, 2012 by dionyziz
Add undo ability bounty enhancement
#23 opened Jun 21, 2012 by dionyziz
1
Next/prev buttons on runner need text enhancement
#20 opened Jun 11, 2012 by dionyziz
@gtklocker
On load should display the empty automaton enhancement
#19 opened Jun 11, 2012 by dionyziz
Designer should not be screen-space-dependent enhancement
#18 opened Jun 11, 2012 by dionyziz
1
Running when no initial state is defined should warn user enhancement
#17 opened Jun 11, 2012 by dionyziz
Clicking on runner state button should advance runner enhancement
#16 opened Jun 11, 2012 by dionyziz
ProTip! Updated in the last three days: updated:>2024-11-17.