2164 cancel button python gui#2165

Draft

JoKurth wants to merge 68 commits intomasterfrom

2164_cancel_button_python_gui

Commits on Mar 29, 2023

fix issues

daniilsvc
authored and
b-gehrke
committed
forgotten import and typos

daniilsvc
authored and
b-gehrke
committed
move import out of #ifdef HASKELINE

daniilsvc
authored and
b-gehrke
committed
v1 of new algo, too small completion result

daniilsvc
authored and
b-gehrke
committed
revised algo

daniilsvc
authored and
b-gehrke
committed
final working version

daniilsvc
authored and
b-gehrke
committed
correct weights and some minor changes

daniilsvc
authored and
b-gehrke
committed
change times_logic_in_branch

daniilsvc
authored and
b-gehrke
committed
remove traces

daniilsvc
authored and
b-gehrke
committed
remove old findComorphismPaths function

daniilsvc
authored and
b-gehrke
committed
pdf of User guide is linked on web page

tillmo
authored and
b-gehrke
committed
Change import for unsafeCoerce#

neilmayhew
authored and
b-gehrke
committed

Commits on Jun 1, 2023

Added requirements
b-gehrke
committed

Commits on Jun 13, 2023

Added edge and node styles
b-gehrke
committed

Commits on Jun 14, 2023

Added open file menu option
b-gehrke
committed

Commits on Jun 15, 2023

Commits on Jul 6, 2023

Commits on Jul 12, 2023

Refactoring to use Gtk Builder ui files for UI
b-gehrke
committed

Commits on Jul 14, 2023

Commits on Jul 16, 2023

Commits on Jul 21, 2023

Commits on Jul 27, 2023

Added output of consistency checker
b-gehrke
committed

Commits on Aug 1, 2023

Commits on Aug 4, 2023

Preparations for conservativity of edges
b-gehrke
committed

Commits on Sep 13, 2023

Added conservativity checker
b-gehrke
committed

Commits on Sep 21, 2023

Commits on Sep 27, 2023

Commits on Jul 11, 2024

Commits on Aug 7, 2024

added buttons to abort a proof; currently without functionality
JoKurth
committed

Commits on Aug 13, 2024

foo
JoKurth
committed
Revert "foo"
JoKurth
committed

Commits on Aug 14, 2024