Preprocessing#337

Draft

mschmutzhart wants to merge 63 commits intomasterfrom

Commits on Oct 28, 2021

added SimplePreprocessing ProgramTransformation
mschmutzhart
committed

Commits on Dec 14, 2021

added preprocesssing steps in SimplePreprocessing, removal of a literal in InternalRule
mschmutzhart
committed
refactored SimplePreprocessing loops
mschmutzhart
committed

Commits on Jan 18, 2022

refactored and fixed bugs in SimplePreprocessing, added tests
mschmutzhart
committed
refactored and fixed bugs in SimplePreprocessing, added tests
mschmutzhart
committed

Commits on Jan 25, 2022

fixed bugs in SimplePreprocessing, added tests
mschmutzhart
committed

Commits on Jan 29, 2022

Commits on Feb 1, 2022

Commits on Feb 8, 2022

added tests for command line option for preprocessing
mschmutzhart
committed

Commits on Feb 14, 2022

Commits on Feb 15, 2022

Commits on Mar 22, 2022

Commits on Apr 11, 2022

doc: Add ConfWS21 paper to README (#339)

lorenzleutgeb
and
rtaupe
authored

Commits on Jul 7, 2022

introduce nonterminal numeral to account for negative numbers as part of interval term
madmike200590
committed

Commits on Jul 19, 2022

Fix parsing of interval terms and move implementation to commons module
madmike200590
committed

Commits on Jul 20, 2022

improve tesst coverage for IntervalTermImpl
madmike200590
committed

Commits on Jul 25, 2022

improve test coverage for term implementations
madmike200590
committed

Commits on Jul 26, 2022

Commits on Jul 29, 2022

Merge pull request #341 from alpha-asp/bugfix-issue-292
madmike200590
authored

Commits on Aug 30, 2022

Commits on Sep 11, 2022

Fix SimpleLogger time format
Paul Behofsics
committed
Merge pull request #347 from alpha-asp/logger_time_format
madmike200590
authored

Commits on Dec 2, 2022

Commits on Aug 1, 2023

refactored SimplePreprocessing
mschmutzhart
committed

Commits on Nov 21, 2023