-
Notifications
You must be signed in to change notification settings - Fork 10
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.
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
Evolog: Permit actions in stratifiable part of input programs #338
base: evolog-new
Are you sure you want to change the base?
Commits on Dec 2, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 14d13e6 - Browse repository at this point
Copy the full SHA 14d13e6View commit details
Commits on Dec 15, 2021
-
Configuration menu - View commit details
-
Copy full SHA for c6f79be - Browse repository at this point
Copy the full SHA c6f79beView commit details
Commits on Dec 17, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 6a888da - Browse repository at this point
Copy the full SHA 6a888daView commit details -
Configuration menu - View commit details
-
Copy full SHA for f288581 - Browse repository at this point
Copy the full SHA f288581View commit details
Commits on Jan 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a34319c - Browse repository at this point
Copy the full SHA a34319cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0aa1d30 - Browse repository at this point
Copy the full SHA 0aa1d30View commit details -
Configuration menu - View commit details
-
Copy full SHA for d7b9761 - Browse repository at this point
Copy the full SHA d7b9761View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3240f1e - Browse repository at this point
Copy the full SHA 3240f1eView commit details
Commits on Jan 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 227fbb4 - Browse repository at this point
Copy the full SHA 227fbb4View commit details
Commits on Jan 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b4cf45b - Browse repository at this point
Copy the full SHA b4cf45bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 40a336a - Browse repository at this point
Copy the full SHA 40a336aView commit details -
Configuration menu - View commit details
-
Copy full SHA for f1779cb - Browse repository at this point
Copy the full SHA f1779cbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7c8b746 - Browse repository at this point
Copy the full SHA 7c8b746View commit details
Commits on Jan 31, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 1de895d - Browse repository at this point
Copy the full SHA 1de895dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 39793fa - Browse repository at this point
Copy the full SHA 39793faView commit details -
Configuration menu - View commit details
-
Copy full SHA for e3c3892 - Browse repository at this point
Copy the full SHA e3c3892View commit details -
Configuration menu - View commit details
-
Copy full SHA for a990c8b - Browse repository at this point
Copy the full SHA a990c8bView commit details
Commits on Feb 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for e955c13 - Browse repository at this point
Copy the full SHA e955c13View commit details
Commits on Feb 10, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fdc4902 - Browse repository at this point
Copy the full SHA fdc4902View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5097587 - Browse repository at this point
Copy the full SHA 5097587View commit details
Commits on Feb 11, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b975a9c - Browse repository at this point
Copy the full SHA b975a9cView commit details
Commits on Feb 17, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b2f9c96 - Browse repository at this point
Copy the full SHA b2f9c96View commit details -
Configuration menu - View commit details
-
Copy full SHA for 09e1b7c - Browse repository at this point
Copy the full SHA 09e1b7cView commit details
Commits on Feb 24, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 21664ed - Browse repository at this point
Copy the full SHA 21664edView commit details
Commits on Mar 8, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 4f9de69 - Browse repository at this point
Copy the full SHA 4f9de69View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0f2fe31 - Browse repository at this point
Copy the full SHA 0f2fe31View commit details
Commits on Mar 10, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 7f8ba4f - Browse repository at this point
Copy the full SHA 7f8ba4fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 25008a4 - Browse repository at this point
Copy the full SHA 25008a4View commit details
Commits on Jul 7, 2022
-
Configuration menu - View commit details
-
Copy full SHA for da7160d - Browse repository at this point
Copy the full SHA da7160dView commit details
Commits on Aug 25, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 625a3d0 - Browse repository at this point
Copy the full SHA 625a3d0View commit details
Commits on Aug 26, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 990da89 - Browse repository at this point
Copy the full SHA 990da89View commit details
Commits on Aug 29, 2022
-
Configuration menu - View commit details
-
Copy full SHA for b8821da - Browse repository at this point
Copy the full SHA b8821daView commit details -
Configuration menu - View commit details
-
Copy full SHA for dc0198d - Browse repository at this point
Copy the full SHA dc0198dView commit details -
Configuration menu - View commit details
-
Copy full SHA for e80c424 - Browse repository at this point
Copy the full SHA e80c424View commit details
Commits on Sep 1, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 399ec00 - Browse repository at this point
Copy the full SHA 399ec00View commit details
Commits on Sep 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 20c2b73 - Browse repository at this point
Copy the full SHA 20c2b73View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6b2bba2 - Browse repository at this point
Copy the full SHA 6b2bba2View commit details
Commits on Sep 5, 2022
-
incorporate action support into AlphaFactory, remove option to disabl…
…e StratifiedEvaluation
Configuration menu - View commit details
-
Copy full SHA for 7802ffb - Browse repository at this point
Copy the full SHA 7802ffbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 491390f - Browse repository at this point
Copy the full SHA 491390fView commit details
Commits on Sep 6, 2022
-
Configuration menu - View commit details
-
Copy full SHA for efd96e8 - Browse repository at this point
Copy the full SHA efd96e8View commit details
Commits on Oct 3, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 8312dcf - Browse repository at this point
Copy the full SHA 8312dcfView commit details
Commits on Oct 12, 2022
-
Configuration menu - View commit details
-
Copy full SHA for db5544f - Browse repository at this point
Copy the full SHA db5544fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 20a571e - Browse repository at this point
Copy the full SHA 20a571eView commit details -
Configuration menu - View commit details
-
Copy full SHA for fcfb1b5 - Browse repository at this point
Copy the full SHA fcfb1b5View commit details -
Configuration menu - View commit details
-
Copy full SHA for ac6d27f - Browse repository at this point
Copy the full SHA ac6d27fView commit details -
Configuration menu - View commit details
-
Copy full SHA for f7f5e0c - Browse repository at this point
Copy the full SHA f7f5e0cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 50bdc42 - Browse repository at this point
Copy the full SHA 50bdc42View commit details -
Configuration menu - View commit details
-
Copy full SHA for dfcda1b - Browse repository at this point
Copy the full SHA dfcda1bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e4e1c1 - Browse repository at this point
Copy the full SHA 1e4e1c1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5c1cfbe - Browse repository at this point
Copy the full SHA 5c1cfbeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ec6adb - Browse repository at this point
Copy the full SHA 5ec6adbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 09fe84e - Browse repository at this point
Copy the full SHA 09fe84eView commit details
Commits on Oct 22, 2022
-
Configuration menu - View commit details
-
Copy full SHA for a910fb9 - Browse repository at this point
Copy the full SHA a910fb9View commit details -
improve naming and refactor: AnswerSetQuery -> AtomQuery, reification…
… integration tests
Configuration menu - View commit details
-
Copy full SHA for 2d22309 - Browse repository at this point
Copy the full SHA 2d22309View commit details
Commits on Dec 2, 2022
-
Configuration menu - View commit details
-
Copy full SHA for fee81a8 - Browse repository at this point
Copy the full SHA fee81a8View commit details -
Merge pull request #348 from alpha-asp/improve_logging_for_debug
Improve logging output for debugging.
Configuration menu - View commit details
-
Copy full SHA for 008a287 - Browse repository at this point
Copy the full SHA 008a287View commit details
Commits on Dec 6, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 0a319f4 - Browse repository at this point
Copy the full SHA 0a319f4View commit details
Commits on Dec 11, 2022
-
Merge pull request #349 from alpha-asp/java-update
ci: Update Java Versions
Configuration menu - View commit details
-
Copy full SHA for 7fd591f - Browse repository at this point
Copy the full SHA 7fd591fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1afecb8 - Browse repository at this point
Copy the full SHA 1afecb8View commit details
Commits on Dec 12, 2022
-
Configuration menu - View commit details
-
Copy full SHA for c4ce84a - Browse repository at this point
Copy the full SHA c4ce84aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 38e27b8 - Browse repository at this point
Copy the full SHA 38e27b8View commit details
Commits on Dec 14, 2022
-
Configuration menu - View commit details
-
Copy full SHA for 23b6948 - Browse repository at this point
Copy the full SHA 23b6948View commit details
Commits on Dec 20, 2022
-
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.
Configuration menu - View commit details
-
Copy full SHA for d28c2d6 - Browse repository at this point
Copy the full SHA d28c2d6View commit details
Commits on Jan 2, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b16072e - Browse repository at this point
Copy the full SHA b16072eView commit details -
Configuration menu - View commit details
-
Copy full SHA for c1e8afc - Browse repository at this point
Copy the full SHA c1e8afcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 28599b1 - Browse repository at this point
Copy the full SHA 28599b1View commit details -
Merge pull request #351 from alpha-asp/issue_350_update_gradle
Upgrade Gradle to 7.6
Configuration menu - View commit details
-
Copy full SHA for 2f8927c - Browse repository at this point
Copy the full SHA 2f8927cView commit details
Commits on Jan 3, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c14f075 - Browse repository at this point
Copy the full SHA c14f075View commit details -
Add test for recovering substitution with function terms from body-re…
…presenting atom.
Configuration menu - View commit details
-
Copy full SHA for e7877ea - Browse repository at this point
Copy the full SHA e7877eaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5c93f91 - Browse repository at this point
Copy the full SHA 5c93f91View commit details
Commits on Jan 4, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 55ee779 - Browse repository at this point
Copy the full SHA 55ee779View commit details -
Configuration menu - View commit details
-
Copy full SHA for e41c0d8 - Browse repository at this point
Copy the full SHA e41c0d8View commit details -
Merge pull request #353 from alpha-asp/ruleatom_nostring
Get rid of String-encoding of Substitutions in RuleAtoms
Configuration menu - View commit details
-
Copy full SHA for b6f39e3 - Browse repository at this point
Copy the full SHA b6f39e3View commit details -
Configuration menu - View commit details
-
Copy full SHA for f168b94 - Browse repository at this point
Copy the full SHA f168b94View commit details
Commits on Jan 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 104b724 - Browse repository at this point
Copy the full SHA 104b724View commit details -
Update alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/prog…
…rams/atoms/AtomQueryImpl.java Co-authored-by: Antonius Weinzierl <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 9a43dff - Browse repository at this point
Copy the full SHA 9a43dffView commit details -
Configuration menu - View commit details
-
Copy full SHA for af55383 - Browse repository at this point
Copy the full SHA af55383View commit details -
Configuration menu - View commit details
-
Copy full SHA for ce69537 - Browse repository at this point
Copy the full SHA ce69537View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4bd7fc7 - Browse repository at this point
Copy the full SHA 4bd7fc7View commit details -
Merge pull request #315 from alpha-asp/java-17
repo: Migrate to Java 11
Configuration menu - View commit details
-
Copy full SHA for 8879279 - Browse repository at this point
Copy the full SHA 8879279View commit details
Commits on Jan 10, 2023
-
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/
Configuration menu - View commit details
-
Copy full SHA for acf0e94 - Browse repository at this point
Copy the full SHA acf0e94View commit details
Commits on Jan 12, 2023
-
Merge pull request #355 from alpha-asp/upgrade-setup-java
ci: Upgrade actions/setup-java
Configuration menu - View commit details
-
Copy full SHA for b8af1d7 - Browse repository at this point
Copy the full SHA b8af1d7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e97745 - Browse repository at this point
Copy the full SHA 1e97745View commit details -
Configuration menu - View commit details
-
Copy full SHA for 28ab2bb - Browse repository at this point
Copy the full SHA 28ab2bbView commit details
Commits on Jan 13, 2023
-
Merge pull request #332 from alpha-asp/reification
Reification of input programs
Configuration menu - View commit details
-
Copy full SHA for 3028684 - Browse repository at this point
Copy the full SHA 3028684View commit details
Commits on Jan 24, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b16b9d6 - Browse repository at this point
Copy the full SHA b16b9d6View commit details
Commits on Feb 19, 2023
-
Configuration menu - View commit details
-
Copy full SHA for e049fbf - Browse repository at this point
Copy the full SHA e049fbfView commit details
Commits on Mar 2, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7237490 - Browse repository at this point
Copy the full SHA 7237490View commit details
Commits on Mar 3, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 2e4ffaf - Browse repository at this point
Copy the full SHA 2e4ffafView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4d1c69a - Browse repository at this point
Copy the full SHA 4d1c69aView commit details -
Configuration menu - View commit details
-
Copy full SHA for d79d556 - Browse repository at this point
Copy the full SHA d79d556View commit details -
Configuration menu - View commit details
-
Copy full SHA for 10a1d13 - Browse repository at this point
Copy the full SHA 10a1d13View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0d0e4bc - Browse repository at this point
Copy the full SHA 0d0e4bcView commit details -
Configuration menu - View commit details
-
Copy full SHA for ecc9bbd - Browse repository at this point
Copy the full SHA ecc9bbdView commit details
Commits on Mar 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 6248871 - Browse repository at this point
Copy the full SHA 6248871View commit details -
Configuration menu - View commit details
-
Copy full SHA for be85567 - Browse repository at this point
Copy the full SHA be85567View commit details -
Configuration menu - View commit details
-
Copy full SHA for a9d442b - Browse repository at this point
Copy the full SHA a9d442bView commit details -
Configuration menu - View commit details
-
Copy full SHA for c7b1f9a - Browse repository at this point
Copy the full SHA c7b1f9aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5dd8f80 - Browse repository at this point
Copy the full SHA 5dd8f80View commit details
Commits on Apr 28, 2023
-
Merge pull request #358 from madmike200590/asp-unit-tests
Native support for unit tests in Alpha
Configuration menu - View commit details
-
Copy full SHA for 5d04cc1 - Browse repository at this point
Copy the full SHA 5d04cc1View commit details -
Configuration menu - View commit details
-
Copy full SHA for e9dccb7 - Browse repository at this point
Copy the full SHA e9dccb7View commit details -
Configuration menu - View commit details
-
Copy full SHA for ef74c9c - Browse repository at this point
Copy the full SHA ef74c9cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2cce436 - Browse repository at this point
Copy the full SHA 2cce436View commit details
Commits on Jul 24, 2023
-
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.
Configuration menu - View commit details
-
Copy full SHA for 6512eea - Browse repository at this point
Copy the full SHA 6512eeaView commit details
Commits on Dec 1, 2023
-
Merge pull request #363 from alpha-asp/issue_362
Update dependencies to avoid several CVEs.
Configuration menu - View commit details
-
Copy full SHA for 2b1dddb - Browse repository at this point
Copy the full SHA 2b1dddbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 782c338 - Browse repository at this point
Copy the full SHA 782c338View commit details
Commits on Dec 10, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c7ec493 - Browse repository at this point
Copy the full SHA c7ec493View commit details
Commits on Jan 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 8d86445 - Browse repository at this point
Copy the full SHA 8d86445View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0bb76b1 - Browse repository at this point
Copy the full SHA 0bb76b1View commit details
Commits on Jan 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 01c7038 - Browse repository at this point
Copy the full SHA 01c7038View commit details
Commits on May 26, 2024
-
Configuration menu - View commit details
-
Copy full SHA for fac7e67 - Browse repository at this point
Copy the full SHA fac7e67View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8191e89 - Browse repository at this point
Copy the full SHA 8191e89View commit details
Commits on Jul 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 133553f - Browse repository at this point
Copy the full SHA 133553fView commit details
Commits on Jul 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 173f664 - Browse repository at this point
Copy the full SHA 173f664View commit details
Commits on Jul 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for aad5520 - Browse repository at this point
Copy the full SHA aad5520View commit details