Code

Nico/user input new#28

Code

Merged

nrueh merged 12 commits intomasterpotassco/coom-suite:masterfrom nico/user-input-newpotassco/coom-suite:nico/user-input-newCopy head branch name to clipboardDec 2, 2024

+2,026-55

Commits

Commits on Nov 29, 2024

• added grammar for user input

  nrueh

  committed
  787223f

  Copy full SHA for 787223f

• renamed ASPVisitor -> ASPModelVisitor

  nrueh

  committed
  8cfabc2

  Copy full SHA for 8cfabc2

• adder user input grammar (stripped down)

  nrueh

  committed
  d238ab7

  Copy full SHA for d238ab7

• user input can be parsed

  nrueh

  committed
  a470e72

  Copy full SHA for a470e72

• added encoding and checks for user input

  nrueh

  committed
  25053f0

  Copy full SHA for 25053f0

• fix lint and typing

  nrueh

  committed
  a561a6f

  Copy full SHA for a561a6f

• fixed option passing in main

  nrueh

  committed
  ccbe10e

  Copy full SHA for ccbe10e

Commits on Nov 30, 2024

• added simple explanations for user input

  nrueh

  committed
  97fca11

  Copy full SHA for 97fca11

Commits on Dec 2, 2024

• added tests for user input parsing

  nrueh

  committed
  195242f

  Copy full SHA for 195242f

• added tests for user input check

  nrueh

  committed
  889b30b

  Copy full SHA for 889b30b

• added tests for (valid) user input

  nrueh

  committed
  288492c

  Copy full SHA for 288492c

• change python versions for nox. added user input example

  nrueh

  committed
  703d5ac

  Copy full SHA for 703d5ac