Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Evolog: Permit actions in stratifiable part of input programs #338

Draft
wants to merge 115 commits into
base: evolog-new
Choose a base branch
from
Draft

Evolog: Permit actions in stratifiable part of input programs #338

wants to merge 115 commits into from

Commits on Dec 2, 2021

  1. repo: Migrate to Java 17

    @lorenzleutgeb
    lorenzleutgeb committed Dec 2, 2021
    Configuration menu
    Copy the full SHA
    14d13e6 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2021

  1. implementation skeleton for reification helper

    @madmike200590
    madmike200590 committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    c6f79be View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2021

  1. commons: draft implementation of reification logic for asp programs

    @madmike200590
    madmike200590 committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    6a888da View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into reification

    @madmike200590
    madmike200590 committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    f288581 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2022

  1. API method and CLI option for reification

    @madmike200590
    madmike200590 committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    a34319c View commit details
    Browse the repository at this point in the history

  2. refine reification

    @madmike200590
    madmike200590 committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    0aa1d30 View commit details
    Browse the repository at this point in the history

  3. fix checkstyle violations

    @madmike200590
    madmike200590 committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    d7b9761 View commit details
    Browse the repository at this point in the history

  4. commons: unit tests for term reification

    @madmike200590
    madmike200590 committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    3240f1e View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2022

  1. unit tests for basic and comparison atom reification

    @madmike200590
    madmike200590 committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    227fbb4 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2022

  1. unit tests for aggregate and external atom reification

    @madmike200590
    madmike200590 committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    b4cf45b View commit details
    Browse the repository at this point in the history

  2. additional test for atom reification

    @madmike200590
    madmike200590 committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    40a336a View commit details
    Browse the repository at this point in the history

  3. constant term types: string, integer, symbol, object

    @madmike200590
    madmike200590 committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    f1779cb View commit details
    Browse the repository at this point in the history

  4. correctly handle strings containing quotes

    @madmike200590
    madmike200590 committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    7c8b746 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2022

  1. add number of items for reified elements with list properties

    @madmike200590
    madmike200590 committed Jan 31, 2022
    Configuration menu
    Copy the full SHA
    1de895d View commit details
    Browse the repository at this point in the history

  2. extend unit tests

    @madmike200590
    madmike200590 committed Jan 31, 2022
    Configuration menu
    Copy the full SHA
    39793fa View commit details
    Browse the repository at this point in the history

  3. integration test for reification feature

    @madmike200590
    madmike200590 committed Jan 31, 2022
    Configuration menu
    Copy the full SHA
    e3c3892 View commit details
    Browse the repository at this point in the history

  4. fix NPE in constraint reification

    @madmike200590
    madmike200590 committed Jan 31, 2022
    Configuration menu
    Copy the full SHA
    a990c8b View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2022

  1. Merge branch 'master' into reification

    @madmike200590
    madmike200590 committed Feb 2, 2022
    Configuration menu
    Copy the full SHA
    e955c13 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2022

  1. add action heads and draft evaluation

    @madmike200590
    madmike200590 committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    fdc4902 View commit details
    Browse the repository at this point in the history

  2. account for action heads in rewritings and rule translations

    @madmike200590
    madmike200590 committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    5097587 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2022

  1. refactoring: factory methods for rules

    @madmike200590
    madmike200590 committed Feb 11, 2022
    Configuration menu
    Copy the full SHA
    b975a9c View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2022

  1. actions: file output draft

    @madmike200590
    madmike200590 committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    b2f9c96 View commit details
    Browse the repository at this point in the history

  2. actions: file input draft

    @madmike200590
    madmike200590 committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    09e1b7c View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2022

  1. additional actions for input stream handling

    @madmike200590
    madmike200590 committed Feb 24, 2022
    Configuration menu
    Copy the full SHA
    21664ed View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2022

  1. actions: draft implementation

    @madmike200590
    madmike200590 committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    4f9de69 View commit details
    Browse the repository at this point in the history

  2. remove useage of non-java-8-api

    @madmike200590
    madmike200590 committed Mar 8, 2022
    Configuration menu
    Copy the full SHA
    0f2fe31 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2022

  1. unit tests for new standard library externals

    @madmike200590
    madmike200590 committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    7f8ba4f View commit details
    Browse the repository at this point in the history

  2. adapt AlphaFactory to work with externally supplied action bindings

    @madmike200590
    madmike200590 committed Mar 10, 2022
    Configuration menu
    Copy the full SHA
    25008a4 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2022

  1. WIP: refine action implementation

    @madmike200590
    madmike200590 committed Jul 7, 2022
    Configuration menu
    Copy the full SHA
    da7160d View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2022

  1. add ActionResultTerm interface and implementations

    @madmike200590
    madmike200590 committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    625a3d0 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

  1. use ActionResultTerm interface in Action implementations

    @madmike200590
    madmike200590 committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    990da89 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. add debug option to add action witnesses to answer set

    @madmike200590
    madmike200590 committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    b8821da View commit details
    Browse the repository at this point in the history

  2. specification for action implementation provider

    @madmike200590
    madmike200590 committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    dc0198d View commit details
    Browse the repository at this point in the history

  3. mock action provider for testing

    @madmike200590
    madmike200590 committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    e80c424 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. mock implementation provider and smoke test for actions

    @madmike200590
    madmike200590 committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    399ec00 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2022

  1. remove option to switch off stratified evaluation

    @madmike200590
    madmike200590 committed Sep 3, 2022
    Configuration menu
    Copy the full SHA
    20c2b73 View commit details
    Browse the repository at this point in the history

  2. ensure statelessness of program transformations, reflect this in naming

    @madmike200590
    madmike200590 committed Sep 3, 2022
    Configuration menu
    Copy the full SHA
    6b2bba2 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2022

  1. incorporate action support into AlphaFactory, remove option to disabl… 

    …e StratifiedEvaluation
    @madmike200590
    madmike200590 committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    7802ffb View commit details
    Browse the repository at this point in the history

  2. fix mock implementation for actions

    @madmike200590
    madmike200590 committed Sep 5, 2022
    Configuration menu
    Copy the full SHA
    491390f View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. fix evolog hello world test

    @madmike200590
    madmike200590 committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    efd96e8 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2022

  1. fix name generation for stream handles

    @madmike200590
    madmike200590 committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    8312dcf View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2022

  1. unit tests for actions

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    db5544f View commit details
    Browse the repository at this point in the history

  2. merge evolog-new into evolog-actions-new

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    20a571e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into reification

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    fcfb1b5 View commit details
    Browse the repository at this point in the history

  4. reify inline directives, move rule implementations to commons

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    ac6d27f View commit details
    Browse the repository at this point in the history

  5. adapt package structures: program components into program subpackages

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    f7f5e0c View commit details
    Browse the repository at this point in the history

  6. code cleanup - move ASPCore2Program to commons module

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    50bdc42 View commit details
    Browse the repository at this point in the history

  7. code cleanup - move NormalProgramImpl and InlineDirectivesImpl to com… 

    …mons module
    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    dfcda1b View commit details
    Browse the repository at this point in the history

  8. test for directive reification

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    1e4e1c1 View commit details
    Browse the repository at this point in the history

  9. explicit contract for ID generation in Reifier

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    5c1cfbe View commit details
    Browse the repository at this point in the history

  10. reify interval terms

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    5ec6adb View commit details
    Browse the repository at this point in the history

  11. code cleanup - improve exceptions

    @madmike200590
    madmike200590 committed Oct 12, 2022
    Configuration menu
    Copy the full SHA
    09fe84e View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2022

  1. WIP: reduce useless object creation in Reifier

    @madmike200590
    madmike200590 committed Oct 22, 2022
    Configuration menu
    Copy the full SHA
    a910fb9 View commit details
    Browse the repository at this point in the history

  2. improve naming and refactor: AnswerSetQuery -> AtomQuery, reification… 

    … integration tests
    @madmike200590
    madmike200590 committed Oct 22, 2022
    Configuration menu
    Copy the full SHA
    2d22309 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2022

  1. Improve logging output for debugging.

    @AntoniusW
    AntoniusW committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    fee81a8 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #348 from alpha-asp/improve_logging_for_debug 

    Improve logging output for debugging.
    @madmike200590
    madmike200590 committed Dec 2, 2022
    Configuration menu
    Copy the full SHA
    008a287 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2022

  1. ci: Update Java Versions

    @lorenzleutgeb
    lorenzleutgeb committed Dec 6, 2022
    Configuration menu
    Copy the full SHA
    0a319f4 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2022

  1. Merge pull request #349 from alpha-asp/java-update 

    ci: Update Java Versions
    @madmike200590
    madmike200590 committed Dec 11, 2022
    Configuration menu
    Copy the full SHA
    7fd591f View commit details
    Browse the repository at this point in the history

  2. fix checkstyle violations

    @madmike200590
    madmike200590 committed Dec 11, 2022
    Configuration menu
    Copy the full SHA
    1afecb8 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2022

  1. parsing method for atom sets for use in testing

    @madmike200590
    madmike200590 committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    c4ce84a View commit details
    Browse the repository at this point in the history

  2. remove unused import

    @madmike200590
    madmike200590 committed Dec 12, 2022
    Configuration menu
    Copy the full SHA
    38e27b8 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2022

  1. WIP: tests for reification

    @madmike200590
    madmike200590 committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    23b6948 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

  1. No longer use Strings to encode substitutions in body-representing li… 

    …terals.

- RuleAtom now is 1-ary atom with Java-object based constant directly linking to non-ground rule and its grounding substitution.
- DefaultSolver uses that RuleAtomConstant to get substitution for justification analysis
- Removed Substitutions helper that provided (buggy) string-parsing to get encoded substitution.
- Add RuleAtomTest and moved test for obtaining substitution over from SubstitutionTest.
    @AntoniusW
    AntoniusW committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    d28c2d6 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2023

  1. Add equals() and hashCode() to InternalRule and RuleAtomConstant.

    @AntoniusW
    AntoniusW committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    b16072e View commit details
    Browse the repository at this point in the history

  2. Issue 350: Upgrade Gradle to 7.6

    @madmike200590
    madmike200590 committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    c1e8afc View commit details
    Browse the repository at this point in the history

  3. Issue 350: Upgrade Gradle version to 3.6

    @madmike200590
    madmike200590 committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    28599b1 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #351 from alpha-asp/issue_350_update_gradle 

    Upgrade Gradle to 7.6
    @madmike200590
    madmike200590 committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    2f8927c View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2023

  1. Merge branch 'master' into ruleatom_nostring

    @AntoniusW
    AntoniusW committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    c14f075 View commit details
    Browse the repository at this point in the history

  2. Add test for recovering substitution with function terms from body-re… 

    …presenting atom.
    @AntoniusW
    AntoniusW committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    e7877ea View commit details
    Browse the repository at this point in the history

  3. Rename RuleAtomConstant to RuleAtomData.

    @AntoniusW
    AntoniusW committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    5c93f91 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2023

  1. Check for inconsistent substitutions when comparing RuleAtomData.

    @AntoniusW
    AntoniusW committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    55ee779 View commit details
    Browse the repository at this point in the history

  2. Small polish in BasicSubstitution as suggested by Michael Langowski.

    @AntoniusW
    AntoniusW committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    e41c0d8 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #353 from alpha-asp/ruleatom_nostring 

    Get rid of String-encoding of Substitutions in RuleAtoms
    @madmike200590
    madmike200590 committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    b6f39e3 View commit details
    Browse the repository at this point in the history

  4. merge master; add reification test case for comparison atom

    @madmike200590
    madmike200590 committed Jan 4, 2023
    Configuration menu
    Copy the full SHA
    f168b94 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. reification test for aggregate and external atoms

    @madmike200590
    madmike200590 committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    104b724 View commit details
    Browse the repository at this point in the history

  2. Update alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/prog… 

    …rams/atoms/AtomQueryImpl.java

Co-authored-by: Antonius Weinzierl <[email protected]>
    @madmike200590 @AntoniusW
    madmike200590 and AntoniusW committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    9a43dff View commit details
    Browse the repository at this point in the history

  3. merge branch master into reification

    @madmike200590
    madmike200590 committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    af55383 View commit details
    Browse the repository at this point in the history

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

    @madmike200590
    madmike200590 committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    ce69537 View commit details
    Browse the repository at this point in the history

  5. merge origin/master

    @madmike200590
    madmike200590 committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    4bd7fc7 View commit details
    Browse the repository at this point in the history

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

    repo: Migrate to Java 11
    @AntoniusW
    AntoniusW committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    8879279 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. ci: Upgrade actions/setup-java 

    To work around deprecation of `set-output`, see also
https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
    @lorenzleutgeb
    lorenzleutgeb committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    acf0e94 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2023

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

    ci: Upgrade actions/setup-java
    @madmike200590
    madmike200590 committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    b8af1d7 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into reification

    @madmike200590
    madmike200590 committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    1e97745 View commit details
    Browse the repository at this point in the history

  3. also reify constraints

    @madmike200590
    madmike200590 committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    28ab2bb View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2023

  1. Merge pull request #332 from alpha-asp/reification 

    Reification of input programs
    @AntoniusW
    AntoniusW committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    3028684 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. Add JaCoCo report aggregation (#356)

    @AntoniusW
    AntoniusW committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    b16b9d6 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2023

  1. unit tests: grammar + parser skeleton

    @madmike200590
    madmike200590 committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    e049fbf View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. parsing for unit tests

    @madmike200590
    madmike200590 committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    7237490 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

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

    @madmike200590
    madmike200590 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    2e4ffaf View commit details
    Browse the repository at this point in the history

  2. tests for unit test parsing

    @madmike200590
    madmike200590 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    4d1c69a View commit details
    Browse the repository at this point in the history

  3. skeleton implementation for unit test execution

    @madmike200590
    madmike200590 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    d79d556 View commit details
    Browse the repository at this point in the history

  4. implement unit test execution

    @madmike200590
    madmike200590 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    10a1d13 View commit details
    Browse the repository at this point in the history

  5. commandline option to run unit tests

    @madmike200590
    madmike200590 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    0d0e4bc View commit details
    Browse the repository at this point in the history

  6. add 3-coloring example with unit tests

    @madmike200590
    madmike200590 committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    ecc9bbd View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2023

  1. add assertion error messages to test result

    @madmike200590
    madmike200590 committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    6248871 View commit details
    Browse the repository at this point in the history

  2. negative tests for unit test support

    @madmike200590
    madmike200590 committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    be85567 View commit details
    Browse the repository at this point in the history

  3. delete accidentally commited generated source files

    @madmike200590
    madmike200590 committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    a9d442b View commit details
    Browse the repository at this point in the history

  4. allow keywords as identifiers in programs

    @madmike200590
    madmike200590 committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    c7b1f9a View commit details
    Browse the repository at this point in the history

  5. remove obsolete TODO

    @madmike200590
    madmike200590 committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    5dd8f80 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2023

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

    Native support for unit tests in Alpha
    @madmike200590
    madmike200590 committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    5d04cc1 View commit details
    Browse the repository at this point in the history

  2. Make releasing Alpha more convenient by adding gradle release plugin (#… 

    …359)
    @madmike200590
    madmike200590 committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    e9dccb7 View commit details
    Browse the repository at this point in the history

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

    @madmike200590
    madmike200590 committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    ef74c9c View commit details
    Browse the repository at this point in the history

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

    @madmike200590
    madmike200590 committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    2cce436 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Update dependencies to avoid several CVEs. 

    - Make dependency on commons-compress explicit to pull-in newer version.
- Make dependency on Guava explicit as it no longer is transitively included.
    @AntoniusWeinzierl
    AntoniusWeinzierl committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    6512eea View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Merge pull request #363 from alpha-asp/issue_362 

    Update dependencies to avoid several CVEs.
    @madmike200590
    madmike200590 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    2b1dddb View commit details
    Browse the repository at this point in the history

  2. fix ParserTest - use updated type name InputProgram instead of ASPCor… 

    …e2Program
    @madmike200590
    madmike200590 committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    782c338 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2023

  1. fix FunctionTermImpl#equals s.t. also subtypes can be equal

    @madmike200590
    madmike200590 committed Dec 10, 2023
    Configuration menu
    Copy the full SHA
    c7ec493 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2024

  1. Fix ActionsTest: check answer set content for answer set of write fil… 

    …e program.
    @madmike200590
    madmike200590 committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    8d86445 View commit details
    Browse the repository at this point in the history

  2. Fix checkstyle violations

    @madmike200590
    madmike200590 committed Jan 9, 2024
    Configuration menu
    Copy the full SHA
    0bb76b1 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. add simple evolog examples

    @madmike200590
    madmike200590 committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    01c7038 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. merge branch origin/master into evolog-actions-new

    @madmike200590
    madmike200590 committed May 26, 2024
    Configuration menu
    Copy the full SHA
    fac7e67 View commit details
    Browse the repository at this point in the history

  2. WIP: merge action implementation back into state from master

    @madmike200590
    madmike200590 committed May 26, 2024
    Configuration menu
    Copy the full SHA
    8191e89 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. WIP: fix tests after merging action implementation into latest master… 

    … state
    @madmike200590
    madmike200590 committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    133553f View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. Fix tests after merging master

    @madmike200590
    madmike200590 committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    173f664 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Fix tests after merging changes from master

    @madmike200590
    madmike200590 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    aad5520 View commit details
    Browse the repository at this point in the history