Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2023

• Merge pull request #363 from alpha-asp/issue_362

  madmike200590

  authored
  2b1dddb
  More actions

Commits on Jul 24, 2023

• Update dependencies to avoid several CVEs.

  AntoniusWeinzierl

  committed
  6512eea
  More actions

Commits on Apr 28, 2023

• [Gradle Release Plugin] - new version commit: '0.8.0-SNAPSHOT'.

  madmike200590

  committed
  2cce436
  More actions

• [Gradle Release Plugin] - pre tag commit: '0.7.0'.

  madmike200590

  committed
  ef74c9c
  More actions

• Make releasing Alpha more convenient by adding gradle release plugin (#359)

  madmike200590

  authored
  e9dccb7
  More actions

• Merge pull request #358 from madmike200590/asp-unit-tests

  madmike200590

  authored
  5d04cc1
  More actions

Commits on Mar 5, 2023

• remove obsolete TODO

  madmike200590

  committed
  5dd8f80
  More actions

• allow keywords as identifiers in programs

  madmike200590

  committed
  c7b1f9a
  More actions

• delete accidentally commited generated source files

  madmike200590

  committed
  a9d442b
  More actions

• negative tests for unit test support

  madmike200590

  committed
  be85567
  More actions

• add assertion error messages to test result

  madmike200590

  committed
  6248871
  More actions

Commits on Mar 3, 2023

• add 3-coloring example with unit tests

  madmike200590

  committed
  ecc9bbd
  More actions

• commandline option to run unit tests

  madmike200590

  committed
  0d0e4bc
  More actions

• implement unit test execution

  madmike200590

  committed
  10a1d13
  More actions

• skeleton implementation for unit test execution

  madmike200590

  committed
  d79d556
  More actions

• tests for unit test parsing

  madmike200590

  committed
  4d1c69a
  More actions

• Lexer rules for test-specific reserved words, slight syntax tweaks

  madmike200590

  committed
  2e4ffaf
  More actions

Commits on Mar 2, 2023

• parsing for unit tests

  madmike200590

  committed
  7237490
  More actions

Commits on Feb 19, 2023

• unit tests: grammar + parser skeleton

  madmike200590

  committed
  e049fbf
  More actions

Commits on Jan 24, 2023

• Add JaCoCo report aggregation (#356)

  AntoniusW

  authored
  b16b9d6
  More actions

Commits on Jan 13, 2023

• Merge pull request #332 from alpha-asp/reification

  AntoniusW

  authored
  3028684
  More actions

Commits on Jan 12, 2023

• also reify constraints

  madmike200590

  committed
  28ab2bb
  More actions

• Merge remote-tracking branch 'origin/master' into reification

  madmike200590

  committed
  1e97745
  More actions

• Merge pull request #355 from alpha-asp/upgrade-setup-java

  madmike200590

  authored
  b8af1d7
  More actions

Commits on Jan 10, 2023

• ci: Upgrade actions/setup-java

  lorenzleutgeb

  authored
  acf0e94
  More actions

Commits on Jan 5, 2023

• Merge pull request #315 from alpha-asp/java-17

  AntoniusW

  authored
  8879279
  More actions

• merge origin/master

  madmike200590

  committed
  4bd7fc7
  More actions

• java version to 11 instead of 17, set jvm target to 11 kotlin

  madmike200590

  committed
  ce69537
  More actions

• merge branch master into reification

  madmike200590

  committed
  af55383
  More actions

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

  

  madmike200590

  and

  AntoniusW

  authored
  9a43dff
  More actions

• reification test for aggregate and external atoms

  madmike200590

  committed
  104b724
  More actions

Commits on Jan 4, 2023

• merge master; add reification test case for comparison atom

  madmike200590

  committed
  f168b94
  More actions

• Merge pull request #353 from alpha-asp/ruleatom_nostring

  madmike200590

  authored
  b6f39e3
  More actions

• Small polish in BasicSubstitution as suggested by Michael Langowski.

  AntoniusW

  committed
  e41c0d8
  More actions

• Check for inconsistent substitutions when comparing RuleAtomData.

  AntoniusW

  committed
  55ee779
  More actions

Pagination

PreviousNext