Code

Modules#274

Code

Merged

lorenzleutgeb merged 122 commits intomasteralpha-asp/Alpha:masterfrom modulesalpha-asp/Alpha:modulesCopy head branch name to clipboardDec 2, 2021

+9,491-6,675

Commits

Commits on Oct 27, 2020

• gradle: Introduce submodules

  lorenzleutgeb

  committed
  fc3ff0d

  Copy full SHA for fc3ff0d

• core: Move ANTLR sources

  lorenzleutgeb

  committed
  ab5d5bf

  Copy full SHA for ab5d5bf

• cli: Move resources

  lorenzleutgeb

  committed
  f93ab16

  Copy full SHA for f93ab16

• git: Ignore */build

  lorenzleutgeb

  committed
  89dcda4

  Copy full SHA for 89dcda4

• WIP: Extract interfaces

  lorenzleutgeb

  committed
  1dfa72a

  Copy full SHA for 1dfa72a

Commits on Dec 4, 2020

• intermediate commit

  madmike200590

  committed
  2ae8d14

  Copy full SHA for 2ae8d14

Commits on Dec 14, 2020

• WIP: separate inheritance hierarchies for core- and api-types

  madmike200590

  committed
  725f45e

  Copy full SHA for 725f45e

Commits on Dec 18, 2020

• WIP: let core components only depend on core API (not dependent on public API)

  madmike200590

  committed
  af4d78c

  Copy full SHA for af4d78c

Commits on Dec 19, 2020

• adapt module names, add module alpha-solver

  madmike200590

  committed
  2a45628

  Copy full SHA for 2a45628

• adapt package names in alpha-core

  madmike200590

  committed
  60c1bcf

  Copy full SHA for 60c1bcf

• WIP: decouple core/public API

  madmike200590

  committed
  fdf165f

  Copy full SHA for fdf165f

Commits on Jan 4, 2021

• WIP: design published API

  madmike200590

  committed
  0fbd63e

  Copy full SHA for 0fbd63e

Commits on Jan 22, 2021

• WIP: make parser conform to public API

  madmike200590

  committed
  5e38c33

  Copy full SHA for 5e38c33

Commits on Jan 23, 2021

• WIP: ParseTreeVisitor and Alpha conforming to new public API

  madmike200590

  committed
  a91b282

  Copy full SHA for a91b282

Commits on Jan 29, 2021

• globally use interface types for API constructs

  madmike200590

  committed
  e75f694

  Copy full SHA for e75f694

• extract all interfaces, make it compile

  madmike200590

  committed
  848ad7c

  Copy full SHA for 848ad7c

• fix build errors

  madmike200590

  committed
  131a5c8

  Copy full SHA for 131a5c8

• WIP: fix tests

  madmike200590

  committed
  84f537c

  Copy full SHA for 84f537c

• WIP: fix tests

  madmike200590

  committed
  61b1bb3

  Copy full SHA for 61b1bb3

Commits on Feb 5, 2021

• WIP: adapt unit tests to modularized setup

  madmike200590

  committed
  ba43d48

  Copy full SHA for ba43d48

Commits on Feb 8, 2021

• modularize and fix compilation errors in unit tests

  madmike200590

  committed
  f250c24

  Copy full SHA for f250c24

Commits on Feb 12, 2021

• tests for core module fixed

  madmike200590

  committed
  f5e165a

  Copy full SHA for f5e165a

• fix unit tests in all modules

  madmike200590

  committed
  4c333fb

  Copy full SHA for 4c333fb

Commits on Feb 16, 2021

• WIP: deploy jar files to local maven cache

  madmike200590

  committed
  6c60b89

  Copy full SHA for 6c60b89

• ignore junit log

  madmike200590

  committed
  6ef295e

  Copy full SHA for 6ef295e

Commits on Feb 17, 2021

• new module alpha-commons

  madmike200590

  committed
  3000fde

  Copy full SHA for 3000fde

Commits on Feb 23, 2021

• WIP: move terms to commons module

  madmike200590

  committed
  9c57339

  Copy full SHA for 9c57339

• hide implementation details for VariableTerm, change implementation to package private

  madmike200590

  committed
  1b4f116

  Copy full SHA for 1b4f116

• hide implementation details for FunctionTerm, change implementation to package private

  madmike200590

  committed
  7ac24aa

  Copy full SHA for 7ac24aa

• hide implementation details for ArithmeticTerm, change implementation to package private

  madmike200590

  committed
  e3ca893

  Copy full SHA for e3ca893

• separate package for terms in alpha-commons

  madmike200590

  committed
  82ad457

  Copy full SHA for 82ad457

• fix checkstyle errors

  madmike200590

  committed
  fe97209

  Copy full SHA for fe97209

Commits on Apr 1, 2021

• WIP: move AggregateAtom to alpha-commons

  madmike200590

  committed
  171f6b3

  Copy full SHA for 171f6b3

Commits on Apr 3, 2021

• hide implementation for AggregateAtom

  madmike200590

  committed
  95ddd72

  Copy full SHA for 95ddd72

• fix ChoiceAtom and RuleAtom

  madmike200590

  committed
  833ffed

  Copy full SHA for 833ffed

• hide implementation for ComparisonAtom, fix EnumerationAtom

  madmike200590

  committed
  bf992f6

  Copy full SHA for bf992f6

• Hide implementation for ExternalAtom

  madmike200590

  committed
  7632b97

  Copy full SHA for 7632b97

• fix IntervalAtom

  madmike200590

  committed
  400732f

  Copy full SHA for 400732f

• moved literal implementations to commons module

  madmike200590

  committed
  120bfca

  Copy full SHA for 120bfca

• fix unit tests

  madmike200590

  committed
  347be4a

  Copy full SHA for 347be4a

Commits on Apr 7, 2021

• introduce interfaces NormalProgram and NormalRule

  madmike200590

  committed
  f1c23d7

  Copy full SHA for f1c23d7

Commits on Apr 10, 2021

• WIP: remove direct compile dependencies from alpha-cli-app to alpha-core

  madmike200590

  committed
  24e4a77

  Copy full SHA for 24e4a77

Commits on Apr 16, 2021

• remove direct compile-time dependencies from alpha-cli-app to alpha-core

  madmike200590

  committed
  d7d3495

  Copy full SHA for d7d3495

• WIP: refactor debug output workflow for CLI app

  madmike200590

  committed
  08419ba

  Copy full SHA for 08419ba

Commits on Apr 23, 2021

• implement InternalProgram#toNormalProgram, add missing override annotations

  madmike200590

  committed
  1ce5f0b

  Copy full SHA for 1ce5f0b

Commits on Apr 24, 2021

• adapt CLI app to use single debug flag for preprocessing debug options

  madmike200590

  committed
  ef14b0f

  Copy full SHA for ef14b0f

• remove interfaces specific to internal grounder workings from public API

  madmike200590

  committed
  57dcad0

  Copy full SHA for 57dcad0

• include runtime dependencies for application jar

  madmike200590

  committed
  6f0605f

  Copy full SHA for 6f0605f

• merge master into branch modules

  madmike200590

  committed
  82fbc6d

  Copy full SHA for 82fbc6d

• update appveyor config

  madmike200590

  committed
  c7b9b64

  Copy full SHA for c7b9b64

Commits on Aug 26, 2021

• clean up public API

  madmike200590

  committed
  6c41d24

  Copy full SHA for 6c41d24

• clean up public API package structure

  madmike200590

  committed
  788c0dc

  Copy full SHA for 788c0dc

• fix cehckstyle warnings

  madmike200590

  committed
  e7401ae

  Copy full SHA for e7401ae

Commits on Sep 8, 2021

• merge changes from master

  madmike200590

  committed
  dd390a8

  Copy full SHA for dd390a8

Commits on Sep 9, 2021

• adapt antlr folder structure to new reflect module name

  madmike200590

  committed
  432a04c

  Copy full SHA for 432a04c

• correct antlr path in build file

  madmike200590

  committed
  8b042c4

  Copy full SHA for 8b042c4

• fix packages to conform to antlr-generated folder structure

  madmike200590

  committed
  7211edb

  Copy full SHA for 7211edb

• create separate package for heads in api module

  madmike200590

  committed
  1ab79e4

  Copy full SHA for 1ab79e4

Commits on Sep 14, 2021

• hide implementation details for rule heads

  madmike200590

  committed
  034621d

  Copy full SHA for 034621d

Commits on Sep 20, 2021

• merge upstream changes from master

  madmike200590

  committed
  f6876f0

  Copy full SHA for f6876f0

• merge upstream changes from master

  madmike200590

  committed
  c746f2b

  Copy full SHA for c746f2b

• clean up test package structure

  madmike200590

  committed
  d918830

  Copy full SHA for d918830

Commits on Oct 6, 2021

• delete obsolete files

  madmike200590

  committed
  d8ff66d

  Copy full SHA for d8ff66d

Commits on Oct 12, 2021

• merge changes from master into 'modules'

  madmike200590

  committed
  3447d10

  Copy full SHA for 3447d10

Commits on Oct 14, 2021

• remove unneeded dependencies

  madmike200590

  committed
  b13060c

  Copy full SHA for b13060c

• add global junit5 dependency, get rid of junit4 leftovers

  madmike200590

  committed
  e161e84

  Copy full SHA for e161e84

Commits on Oct 18, 2021

• repo: Ignore junit.log

  lorenzleutgeb

  committed
  619adcd

  Copy full SHA for 619adcd

• api: Remove TODO that mentions class from core

  lorenzleutgeb

  committed
  6c24d02

  Copy full SHA for 6c24d02

• repo: Move publishing configuration to convention

  lorenzleutgeb

  committed
  a7c800e

  Copy full SHA for a7c800e

• repo: Remove source JARs

  lorenzleutgeb

  committed
  c27f435

  Copy full SHA for c27f435

• gradle: 7.0 -> 7.2

  lorenzleutgeb

  committed
  ab956a6

  Copy full SHA for ab956a6

• gradle: Migrate to KotlinScript

  lorenzleutgeb

  committed
  4975f63

  Copy full SHA for 4975f63

• gradle: Fix compileClasspath to contain ANTLR

  lorenzleutgeb

  committed
  8b5dde2

  Copy full SHA for 8b5dde2

Commits on Oct 20, 2021

• core: Remove Rete

  lorenzleutgeb

  committed
  8f82812

  Copy full SHA for 8f82812

• gradle: Use stringtemplateVersion

  lorenzleutgeb

  committed
  1f0359f

  Copy full SHA for 1f0359f

• gradle: Remove unnecessary it

  lorenzleutgeb

  committed
  a0e6fb1

  Copy full SHA for a0e6fb1

• gradle: Fix use of mainClassName

  lorenzleutgeb

  committed
  e45cbec

  Copy full SHA for e45cbec

Commits on Oct 21, 2021

• gradle: Rename LICENSE/NOTICE in Kotlin

  lorenzleutgeb

  committed
  2ab14ec

  Copy full SHA for 2ab14ec

• commons: Suppres warning about varargs

  lorenzleutgeb

  committed
  14a7417

  Copy full SHA for 14a7417

• api: Convert TODOs to issues

  Show description for 4e43015
  lorenzleutgeb

  committed
  4e43015

  Copy full SHA for 4e43015

• api: remove obsolete TODOs

  madmike200590

  committed
  513e485

  Copy full SHA for 513e485

• AbstractTerm: remove obsolete TODO

  madmike200590

  committed
  b63eeb1

  Copy full SHA for b63eeb1

• commons: address TODOs, added to refactoring suggestions in #300

  madmike200590

  committed
  50a854b

  Copy full SHA for 50a854b

• core: remove obsolete TODO

  madmike200590

  committed
  2ab3038

  Copy full SHA for 2ab3038

• WIP: address TODOs

  madmike200590

  committed
  8702ecb

  Copy full SHA for 8702ecb

Commits on Oct 26, 2021

• gradle: Clean up dependency declarations

  lorenzleutgeb

  committed
  54922dd

  Copy full SHA for 54922dd

• doc: Remove reference to Externals from Predicate annotation

  lorenzleutgeb

  committed
  797a871

  Copy full SHA for 797a871

Commits on Nov 5, 2021

• Merge remote-tracking branch 'refs/remotes/origin/modules' into modules

  madmike200590

  committed
  0a7d5aa

  Copy full SHA for 0a7d5aa

• WIP: api: javadoc

  madmike200590

  committed
  8be4abc

  Copy full SHA for 8be4abc

Commits on Nov 8, 2021

• api: javadoc for Alpha and related types

  madmike200590

  committed
  1a61d0b

  Copy full SHA for 1a61d0b

• api: javadoc for configs

  madmike200590

  committed
  3c807ed

  Copy full SHA for 3c807ed

• api: javadoc for public interfaces

  madmike200590

  committed
  b3d0fe5

  Copy full SHA for b3d0fe5

Commits on Nov 9, 2021

• api: javadocs for programs and graphs

  madmike200590

  committed
  e246463

  Copy full SHA for e246463

• api: javadoc for program building blocks

  madmike200590

  committed
  f218181

  Copy full SHA for f218181

• remove deprecated method Alpha#getConfig

  madmike200590

  committed
  b1c51d7

  Copy full SHA for b1c51d7

• AnswerSetQuery: remove superfluous public modifiers

  madmike200590

  committed
  31e6cab

  Copy full SHA for 31e6cab

Commits on Nov 11, 2021

• gradle: 7.0 -> 7.3

  lorenzleutgeb

  committed
  64d03b7

  Copy full SHA for 64d03b7

Commits on Nov 15, 2021

• Merge pull request #312 from alpha-asp/gradle-7.3

  Show description for bdbeeaf
  madmike200590

  authored
  bdbeeaf

  Copy full SHA for bdbeeaf

Commits on Nov 18, 2021

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/NormalProgram.java

  Show description for b186d30
  

  madmike200590

  and

  AntoniusW

  authored
  b186d30

  Copy full SHA for b186d30

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/Predicate.java

  Show description for fcadbda
  

  madmike200590

  and

  AntoniusW

  authored
  fcadbda

  Copy full SHA for fcadbda

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/analysis/DependencyGraph.java

  Show description for 619ad8c
  

  madmike200590

  and

  AntoniusW

  authored
  619ad8c

  Copy full SHA for 619ad8c

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/AggregateAtom.java

  Show description for 69b4a1e
  

  madmike200590

  and

  AntoniusW

  authored
  69b4a1e

  Copy full SHA for 69b4a1e

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/terms/ArithmeticTerm.java

  Show description for 7912765
  

  madmike200590

  and

  AntoniusW

  authored
  7912765

  Copy full SHA for 7912765

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/Predicate.java

  Show description for 49c69ac
  

  madmike200590

  and

  AntoniusW

  authored
  49c69ac

  Copy full SHA for 49c69ac

Commits on Nov 19, 2021

• Reduce sources of compiler warnings.

  Show description for f93fc2d
  AntoniusW

  committed
  f93fc2d

  Copy full SHA for f93fc2d

Commits on Nov 22, 2021

• gradle: Fix indentation characters

  lorenzleutgeb

  committed
  b88b290

  Copy full SHA for b88b290

• gradle: Fix bundledJar and release docs

  lorenzleutgeb

  committed
  b07a088

  Copy full SHA for b07a088

• cli: Add logging library

  lorenzleutgeb

  committed
  073da17

  Copy full SHA for 073da17

• Update alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/atoms/ExternalAtomImpl.java

  Show description for d18bc72
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  d18bc72

  Copy full SHA for d18bc72

Commits on Nov 23, 2021

• Update alpha-cli-app/build.gradle.kts

  Show description for 1205889
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  1205889

  Copy full SHA for 1205889

Commits on Nov 24, 2021

• Update alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/comparisons/ComparisonOperators.java

  Show description for 77474e9
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  77474e9

  Copy full SHA for 77474e9

• core: Ignore ANTLR generated classes from coverage

  lorenzleutgeb

  committed
  33b8c12

  Copy full SHA for 33b8c12

Commits on Nov 28, 2021

• Update alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/RuleParser.java

  Show description for bb43ee1
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  bb43ee1

  Copy full SHA for bb43ee1

• Update alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/IndexedInstanceStorage.java

  Show description for f5fb4c8
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  f5fb4c8

  Copy full SHA for f5fb4c8

• Update alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/Alpha.java

  Show description for ae9b9ec
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  ae9b9ec

  Copy full SHA for ae9b9ec

• Update alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/NormalizeProgramTransformation.java

  Show description for 900684e
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  900684e

  Copy full SHA for 900684e

• Update alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/RuleParser.java

  Show description for 42502bf
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  42502bf

  Copy full SHA for 42502bf

• Update alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/DefaultSolver.java

  Show description for 4fa05fc
  

  lorenzleutgeb

  and

  AntoniusW

  authored
  4fa05fc

  Copy full SHA for 4fa05fc

Commits on Nov 29, 2021

• Add/Improve documentation of StatisticsReportingSolver and BinaryNoGoodPropagationEstimationStrategy.

  AntoniusW

  committed
  83c07e1

  Copy full SHA for 83c07e1

• Merge branch 'master' into modules

  lorenzleutgeb

  committed
  c65b8ea

  Copy full SHA for c65b8ea

Commits on Dec 1, 2021

• core, commons: Remove dead code and TODOs

  Show description for d7f7189
  lorenzleutgeb

  committed
  d7f7189

  Copy full SHA for d7f7189

• cli: Fix counting LICENSE files

  lorenzleutgeb

  committed
  bddb5d6

  Copy full SHA for bddb5d6