Skip to content

Issues: alpha-asp/Alpha

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

64 Open 83 Closed
64 Open 83 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Answer-Sets missing with negated count-equals aggregate. bug
#357 opened Jan 23, 2023 by AntoniusW
@AntoniusW
2
Partial Compilation idea
#345 opened Sep 2, 2022 by lorenzleutgeb
@lorenzleutgeb
Refactoring: Handle Term interning implementation in a single place code quality Refactorings and other code-quality-related tasks enhancement good first issue
#343 opened Aug 24, 2022 by madmike200590
Formatter does not run for alpha-api
#342 opened Jul 21, 2022 by lorenzleutgeb
@lorenzleutgeb @madmike200590
Same aggregate cannot be used twice bug
#340 opened Apr 20, 2022 by rtaupe
@madmike200590
Update project documentation
#328 opened Dec 17, 2021 by madmike200590
@madmike200590
Fully support choice rules enhancement preproc
#322 opened Dec 15, 2021 by madmike200590
Refactor and extend InlineDirectives enhancement idea
#309 opened Nov 8, 2021 by madmike200590
4
GH Actions: Migrate to Codecov 2 enhancement good first issue
#306 opened Oct 21, 2021 by lorenzleutgeb
Investigate ArrayList for watches
#305 opened Oct 21, 2021 by lorenzleutgeb
2
Debug Levels enhancement
#304 opened Oct 21, 2021 by lorenzleutgeb
Handle cross-dependencies in SystemConfiguration enhancement good first issue
#303 opened Oct 21, 2021 by lorenzleutgeb
Validate SystemConfig enhancement good first issue
#302 opened Oct 21, 2021 by lorenzleutgeb
1
Modularized code quality needs improvement. code quality Refactorings and other code-quality-related tasks
#300 opened Oct 15, 2021 by AntoniusW
20 of 67 tasks
8
Undefined arithmetics throws exception instead of ignoring the ground instance. bug enhancement question
#289 opened May 17, 2021 by AntoniusW
4
Grounding order calculation fails at recursive rule using external atoms enhancement grounder
#286 opened Mar 29, 2021 by madmike200590
4
Introduce a way to tag Rules, Predicates, Atoms and Terms
#285 opened Mar 26, 2021 by jblaszczyk
2
Write a Manual enhancement
#266 opened Aug 12, 2020 by lorenzleutgeb
Answer Set Formatting cli enhancement good first issue
#265 opened Aug 6, 2020 by madmike200590
4
CLI Refactoring cli enhancement good first issue
#264 opened Aug 6, 2020 by madmike200590
2 tasks
6
Alpha keeps running despite Parser Error bug preproc
#259 opened Jul 9, 2020 by KillerLink
2
Violated NoGood after backtracking
#255 opened May 26, 2020 by rtaupe
Code smell in DefaultSolver#fixContradiction bug
#251 opened May 6, 2020 by rtaupe
@AntoniusW
3
AnalyzeUnjustified#rulesHeadUnifyingWith contains an instanceof that can never be true bug code quality Refactorings and other code-quality-related tasks
#246 opened Apr 8, 2020 by rtaupe
@AntoniusW
1
Make Justification Analysis work on BasicAtoms only. code quality Refactorings and other code-quality-related tasks
#232 opened Mar 4, 2020 by madmike200590
ProTip! Find all open issues with in progress development work with linked:pr.