Search results

The site automata.discrete.gr isn't working

Status: Open.

#57 In dionyziz/Automata;

· DmitryMyadzelets opened on Mar 15, 2024

Automata is not rendered when loaded

Status: Open.

#55 In dionyziz/Automata;

· DmitryMyadzelets opened on Apr 20, 2016

Double clicking on an edge's label should edit it

bounty

enhancement

Status: Open.

#39 In dionyziz/Automata;

· dionyziz opened on Jul 1, 2014

Reloading the page should not lose your automaton

enhancement

Status: Open.

#38 In dionyziz/Automata;

· dionyziz opened on Jul 1, 2014

Introduce copy/paste functionality

bounty

enhancement

Status: Open.

#37 In dionyziz/Automata;

· dionyziz opened on Jul 1, 2014

using the app is not clear

Status: Open.

#33 In dionyziz/Automata;

· vagoum opened on Apr 8, 2014

Looks horrible sometimes

bug

Status: Open.

#32 In dionyziz/Automata;

· gtklocker opened on Feb 18, 2014

Retina icons

bounty

Status: Open.

#30 In dionyziz/Automata;

· dionyziz opened on Jan 31, 2014

Add help/shortcuts button

Status: Open.

#26 In dionyziz/Automata;

· vgerak opened on Jun 30, 2012

Resize automaton when running

enhancement

Status: Open.

#24 In dionyziz/Automata;

· dionyziz opened on Jun 21, 2012

Add undo ability

bounty

enhancement

Status: Open.

#23 In dionyziz/Automata;

· dionyziz opened on Jun 21, 2012

Next/prev buttons on runner need text

enhancement

Status: Open.

#20 In dionyziz/Automata;

· dionyziz opened on Jun 11, 2012