v0.7.0

[madmike200590]

Release Notes

Binary Artifacts

If you want to use Alpha as a command-line application, download the bundled jar file alpha-cli-app-0.6.0-bundled.jar or use either the distribution tarball alpha-cli-app-0.6.0.tar or the zip package alpha-cli-app-0.6.0.zip.

If you plan on using (parts of) Alpha as a dependency in your application, the easiest way is to build the respective maven artifacts from the release tag 0.7.0 using ./gradlew publishToMavenLocal. This will install the jar files for all modules of Alpha along with generated pom.xmls to your local maven repository ~/.m2/repository. Once that is done, you can use the Alpha artifacts the same way as any othe maven dependency.

New Features

• Language-level support for unit tests in Alpha (PR Native support for unit tests in Alpha #358)
• Metaprogramming: add capability to reify input programs (PR Reification of input programs #332)
• Migrate Alpha to Java 11 (PR repo: Migrate to Java 11 #315)

Bugfixes

• Get rid of String-encoding of Substitutions in RuleAtoms (Issue Cannot reconstruct substitution with function terms correctly from body-representing atoms #352)
• Fix SimpleLogger time format (Issue Change SimpleLogger time format #346)
• Fix parser error on negative integers in interval terms (Issue Interval rewriting failing on negative integer literals #292)

Code Enhancements and Refactorings

• Fix JaCoCo coverage to calculate coverage across all modules (PR Add Jacoco aggregation for coverage. #356)
• ci: Upgrade actions/setup-java (PR ci: Upgrade actions/setup-java #355)
• Upgrade build to Gradle 7.6 (PR Upgrade Gradle to 7.6 #351)
• Add Java 19 as a target for CI builds (PR ci: Update Java Versions #349)
• Improve debug output in NoGood (PR Improve logging output for debugging. #348)
• Link to "A coder's guide to answer set programming" from README.md (PR Link to "A coder's guide to answer set programming" from README.md #344)
• Add interval terms to public API (Issue IntervalTerms missing from public API #324)
• Add ConfWS21 paper to README (PR doc: Add ConfWS21 paper to README #339)
• Fine-tune codebeat checks (PR Fine-tune codebeat checks #334)
• Fix vendored path config for benchmark files (PR core: fix vendored path config for benchmark files #333)

---

This discussion was created from the release v0.7.0.