Code

Web sus#150

Code

Merged

susuhahnml merged 24 commits intoweb_frontendpotassco/clinguin:web_frontendfrom web_suspotassco/clinguin:web_susCopy head branch name to clipboardOct 28, 2023

+8,730-7,354

Commits

Commits on Sep 20, 2023

• Web changes

  susuhahnml

  committed
  81213d3

  Copy full SHA for 81213d3

Commits on Sep 22, 2023

• better colors

  susuhahnml

  committed
  10205d3

  Copy full SHA for 10205d3

Commits on Sep 26, 2023

• Better examples

  susuhahnml

  committed
  7912414

  Copy full SHA for 7912414

• Changed name

  susuhahnml

  committed
  22844a1

  Copy full SHA for 22844a1

• raplace

  susuhahnml

  committed
  d6e664c

  Copy full SHA for d6e664c

• Sudokus

  susuhahnml

  committed
  f1a2e9a

  Copy full SHA for f1a2e9a

Commits on Sep 27, 2023

• AST

  susuhahnml

  committed
  773ff78

  Copy full SHA for 773ff78

• More examples

  susuhahnml

  committed
  6e1f724

  Copy full SHA for 6e1f724

• Export file

  susuhahnml

  committed
  cb9cb39

  Copy full SHA for cb9cb39

Commits on Sep 28, 2023

• improved export

  susuhahnml

  committed
  1133490

  Copy full SHA for 1133490

• Fixed clingraph

  susuhahnml

  committed
  d053e9a

  Copy full SHA for d053e9a

• restart policy

  susuhahnml

  committed
  e952a3f

  Copy full SHA for e952a3f

• better error handling

  susuhahnml

  committed
  8377cd3

  Copy full SHA for 8377cd3

• Optional context value

  susuhahnml

  committed
  ded1998

  Copy full SHA for ded1998

• Multi policy

  susuhahnml

  committed
  cd5e8ef

  Copy full SHA for cd5e8ef

Commits on Sep 29, 2023

• Small UI fixes

  susuhahnml

  committed
  6489184

  Copy full SHA for 6489184

Commits on Oct 3, 2023

• Cleanup

  susuhahnml

  committed
  65056c1

  Copy full SHA for 65056c1

Commits on Oct 4, 2023

• better job shop UI but still next issue

  susuhahnml

  committed
  9880e0f

  Copy full SHA for 9880e0f

• Fixed job shop

  susuhahnml

  committed
  a22ae5a

  Copy full SHA for a22ae5a

Commits on Oct 6, 2023

• Merge pull request #148 from potassco/clingo-dl

  Show description for 9b22b92
  susuhahnml

  authored
  9b22b92

  Copy full SHA for 9b22b92

Commits on Oct 28, 2023

• Better integration with clingraph

  susuhahnml

  committed
  14a241b

  Copy full SHA for 14a241b

• Example and better context menu

  susuhahnml

  committed
  38b66e9

  Copy full SHA for 38b66e9

• Fixed rebase

  susuhahnml

  committed
  7ee3693

  Copy full SHA for 7ee3693

• Merge pull request #149 from potassco/web_sus_clingraph

  Show description for 59e3397
  susuhahnml

  authored
  59e3397

  Copy full SHA for 59e3397