issues
search
alpha-asp
/
Alpha
A lazy-grounding Answer-Set Programming system
BSD 2-Clause "Simplified" License
58
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update dependencies to avoid several CVEs.
#363
AntoniusWeinzierl
closed
7 months ago
0
Potential vulnerabilities due to libraries.
#362
AntoniusWeinzierl
closed
7 months ago
0
Grounder restart
#361
paulbehofsics
opened
1 year ago
1
Make releasing Alpha more convenient by adding gradle release plugin
#359
madmike200590
closed
1 year ago
6
Native support for unit tests in Alpha
#358
madmike200590
closed
1 year ago
3
Answer-Sets missing with negated count-equals aggregate.
#357
AntoniusW
opened
1 year ago
2
Add Jacoco aggregation for coverage.
#356
AntoniusW
closed
1 year ago
2
ci: Upgrade actions/setup-java
#355
lorenzleutgeb
closed
1 year ago
1
Revise RuleAtomData#compareTo
#354
madmike200590
closed
1 year ago
2
Get rid of String-encoding of Substitutions in RuleAtoms
#353
AntoniusW
closed
1 year ago
1
Cannot reconstruct substitution with function terms correctly from body-representing atoms
#352
AntoniusW
closed
1 year ago
0
Upgrade Gradle to 7.6
#351
madmike200590
closed
1 year ago
2
Build broken (Gradle version and JAVA updates)
#350
AntoniusW
closed
1 year ago
2
ci: Update Java Versions
#349
lorenzleutgeb
closed
1 year ago
1
Improve logging output for debugging.
#348
AntoniusW
closed
1 year ago
1
Fix SimpleLogger time format
#347
paulbehofsics
closed
1 year ago
1
Change SimpleLogger time format
#346
paulbehofsics
closed
1 year ago
0
Partial Compilation
#345
lorenzleutgeb
opened
1 year ago
0
Link to "A coder's guide to answer set programming" from README.md
#344
madmike200590
closed
1 year ago
5
Refactoring: Handle Term interning implementation in a single place
#343
madmike200590
opened
1 year ago
0
Formatter does not run for `alpha-api`
#342
lorenzleutgeb
opened
2 years ago
0
Fix IntervalTerm parsing
#341
madmike200590
closed
1 year ago
2
Same aggregate cannot be used twice
#340
rtaupe
opened
2 years ago
0
doc: Add ConfWS21 paper to README
#339
lorenzleutgeb
closed
2 years ago
1
Evolog: Permit actions in stratifiable part of input programs
#338
madmike200590
opened
2 years ago
1
Preprocessing
#337
mschmutzhart
opened
2 years ago
1
Refactoring: Decouple API implementation from config structures
#336
madmike200590
opened
2 years ago
1
Refactor Unit Tests
#335
madmike200590
opened
2 years ago
2
Fine-tune codebeat checks
#334
madmike200590
closed
2 years ago
3
core: fix vendored path config for benchmark files
#333
madmike200590
closed
2 years ago
1
Reification of input programs
#332
madmike200590
closed
1 year ago
10
Build Properties
#331
lorenzleutgeb
opened
2 years ago
2
Native Image
#330
lorenzleutgeb
opened
2 years ago
4
Versioning with Reckon
#329
lorenzleutgeb
opened
2 years ago
1
Update project documentation
#328
madmike200590
opened
2 years ago
0
bump version to 0.7.0-SNAPSHOT
#326
madmike200590
closed
2 years ago
0
release preparation: set version to 0.6.0
#325
madmike200590
closed
2 years ago
2
IntervalTerms missing from public API
#324
madmike200590
closed
1 year ago
0
cli: Logging via SLF4J SimpleLogger
#323
lorenzleutgeb
closed
2 years ago
3
Fully support choice rules
#322
madmike200590
opened
2 years ago
0
Gradle 7.3.2
#321
lorenzleutgeb
closed
2 years ago
1
cli: Upgrade Log4j
#320
lorenzleutgeb
closed
2 years ago
1
ci: Enable bors
#319
lorenzleutgeb
opened
2 years ago
3
Fix handling of aggregate literals with only a right-hand comparison term (Issue #311)
#318
madmike200590
closed
2 years ago
3
cli: Upgrade Log4j
#317
lorenzleutgeb
closed
2 years ago
12
Refactor tests on modularized code structure
#316
madmike200590
closed
2 years ago
4
repo: Migrate to Java 11
#315
lorenzleutgeb
closed
1 year ago
2
Add `CITATION.cff`
#314
lorenzleutgeb
closed
2 years ago
3
ci: Clean up GitHub Actions spec
#313
lorenzleutgeb
closed
2 years ago
1
gradle: 7.0 -> 7.3
#312
lorenzleutgeb
closed
2 years ago
1
Next