Lorenz Leutgeb
Lorenz Leutgeb
Introduce a mechanism to pass "Build Properties" (version number, hash of the source revision, etc.) to the resulting artifact. Mainly to allow Alpha report its own version, which is implemented...
Trying out [bors](https://bors.tech/).
`SystemConfig` should implement a mechanism to validate all configuration parameters. This means checking configuration parameters passed as `Strings` more strictly (i.e. whether they are an element of some sane set)...
I just read [this article](https://www.grobmeier.de/log4j-2-performance-close-to-insane-20072013.html) and ended up asking myself whether we are already using Log4j 2 or not. It's not as simple as checking our dependencies because we use...
The [Java Persistence API](https://www.jcp.org/en/jsr/detail?id=338) aims "to provide an object/relational mapping facility for the Java application developer using a Java domain model to manage a relational database." It is the canonical...
> Because the following involves benchmarking, it might warrant a separat issue, but nevertheless, I uncovered it during the review for #274, so here we go: > > ``` >...
Offending line: https://github.com/alpha-asp/Alpha/blob/1824e822e40134f5c8f2cd4bcf2f27395aef4a35/.github/workflows/build.yml#L71 The referred action [is deprecated and will fully sunset on 2022-02-01](https://github.com/codecov/codecov-action#%EF%B8%8F--deprecration-of-v1). We should migrate to version 2.
Introduce debug levels, for example: Level | Consequence ------|------------ 1 | Print graphs and preprocessed 2 | `debugInternalChecks` (Debug levels are cumulative, i.e. setting a debug level of n means...
`NaiveSolver` does not support statistics. It does not make sense to use `NaiveSolver` and request statistics at the same time (in the sense that Alpha cannot fulfil this user request)....