Code

Completion#283

Code

Draft

AntoniusW wants to merge 19 commits intomasteralpha-asp/Alpha:masterfrom completionalpha-asp/Alpha:completionCopy head branch name to clipboard

+1,233-216

Commits

Commits on Dec 25, 2019

• Initial ideas for better completion.

  Show description for 569188f
  AntoniusW

  committed
  569188f

  Copy full SHA for 569188f

Commits on Jan 2, 2020

• WIP/completion.

  Show description for 3ce767f
  

  Antonius Weinzierl

  committed
  3ce767f

  Copy full SHA for 3ce767f

• Fix bugs, remove dead code.

  AntoniusW

  committed
  5031d46

  Copy full SHA for 5031d46

Commits on Jan 5, 2020

• Replace unique-head optimisation. Bugfixes.

  Show description for 5d5c33b
  AntoniusW

  committed
  5d5c33b

  Copy full SHA for 5d5c33b

Commits on Jan 9, 2020

• Enable completion at MBT-at-fixpoint, grounds more rules.

  Show description for f058ffe
  AntoniusW

  committed
  f058ffe

  Copy full SHA for f058ffe

• Make completion and justifications configurable from CLI.

  rtaupe

  committed
  d54e381

  Copy full SHA for d54e381

• Merge pull request #215 from alpha-asp/completion_cli

  Show description for 325f57d
  AntoniusW

  authored
  325f57d

  Copy full SHA for 325f57d

Commits on Jan 10, 2020

• Merge CompletionConfiguration parsing.

  AntoniusW

  committed
  e2f0fa6

  Copy full SHA for e2f0fa6

Commits on Jan 11, 2020

• Enable functional dependencies.

  Show description for a7d23cd
  AntoniusW

  committed
  a7d23cd

  Copy full SHA for a7d23cd

Commits on Jan 12, 2020

• Extend direct functional dependencies and rewrite equations.

  Show description for 6f81390
  AntoniusW

  committed
  6f81390

  Copy full SHA for 6f81390

Commits on Jan 17, 2020

• Bugfix: check FixedInterpretationLiterals for completed ground rules.

  AntoniusW

  committed
  6e2b105

  Copy full SHA for 6e2b105

Commits on Feb 22, 2020

• Fix bug/typo.

  AntoniusW

  committed
  e40ea40

  Copy full SHA for e40ea40

Commits on Feb 24, 2020

• Rework completion configuration; improve rules deriving atom detection;

  Show description for 8493a0e
  AntoniusW

  committed
  8493a0e

  Copy full SHA for 8493a0e

Commits on Feb 25, 2020

• Clear up completion configuration.

  AntoniusW

  committed
  f56076c

  Copy full SHA for f56076c

Commits on Mar 13, 2020

• Merge branch 'master' into completion

  Show description for 792e427
  AntoniusW

  committed
  792e427

  Copy full SHA for 792e427

Commits on Mar 14, 2020

• Merge branch 'clause_minimization_local' into completion

  AntoniusW

  committed
  c208d2e

  Copy full SHA for c208d2e

Commits on Mar 15, 2020

• Merge branch 'issue211' into completion

  AntoniusW

  committed
  b781c03

  Copy full SHA for b781c03

Commits on Mar 18, 2020

• Adjust log level.

  AntoniusW

  committed
  8c6e83f

  Copy full SHA for 8c6e83f

Commits on Dec 15, 2020

• Fix merge master into completion.

  AntoniusW

  committed
  5e47fad

  Copy full SHA for 5e47fad