Problem kind's versioning and Numeric kind's update#449

Merged

alvalentini merged 20 commits intomasterfrom handle-issue-435

Oct 31, 2023

+714-228

Commits on Oct 31, 2023

Updated semantic of DISCRETE_NUMBERS and CONTINUOUS_NUMBERS

alvalentini
authored and
Framba-Luca
committed
Feat(Expression): Every expression defined as a Fraction but that is actually an integer is saved as an integer
Framba-Luca
committed
Removed obsolete code and added new features
Framba-Luca
committed
Added new file to handle problem kind's versioning and updated all internal engines ProblemKinds
Framba-Luca
committed
Updated commits-reference and versions of engines in the tests
Framba-Luca
committed
Fixed grounder resulting_kind versioning
Framba-Luca
committed
Fixed todos in compilers ProblemKind
Framba-Luca
committed
Small fixes

alvalentini
authored and
Framba-Luca
committed
Fixes after rebase
Framba-Luca
committed
Feat(ProblemKind): Added ProblemKind's versioning with the desired behaviour (so, accept all post 1.0 features and, if the version is not specified, give the max between the declared features
Framba-Luca
committed
Fix(PK Equals, LE): Added code to correctly calculate == or <= between PK with no specified version or with deprecated features
Framba-Luca
committed
re-added get_version with deprecation
Framba-Luca
committed
Fixed deprecation waring
Framba-Luca
committed
Fix(Supported python versions): Switched to use lru_cache instead of cache to support pre 3.9 python versions
Framba-Luca
committed
deps: Update required aries version

arbimo
authored and
Framba-Luca
committed
Fix after rebase
Framba-Luca
committed
Updated fmap version

Alee08
authored and
alvalentini
committed
Fixed a notebook
alvalentini
committed
Merge pull request #510 from aiplan4eu/fmap-update
alvalentini
authored
Updated engines versions
alvalentini
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Problem kind's versioning and Numeric kind's update#449

Commits on Oct 31, 2023

Updated semantic of DISCRETE_NUMBERS and CONTINUOUS_NUMBERS

Feat(Expression): Every expression defined as a Fraction but that is actually an integer is saved as an integer

Removed obsolete code and added new features

Added new file to handle problem kind's versioning and updated all internal engines ProblemKinds

Updated commits-reference and versions of engines in the tests

Fixed grounder resulting_kind versioning

Fixed todos in compilers ProblemKind

Small fixes

Fixes after rebase

Feat(ProblemKind): Added ProblemKind's versioning with the desired behaviour (so, accept all post 1.0 features and, if the version is not specified, give the max between the declared features

Fix(PK Equals, LE): Added code to correctly calculate == or <= between PK with no specified version or with deprecated features

re-added get_version with deprecation

Fixed deprecation waring

Fix(Supported python versions): Switched to use lru_cache instead of cache to support pre 3.9 python versions

deps: Update required aries version

Fix after rebase

Updated fmap version

Fixed a notebook

Merge pull request #510 from aiplan4eu/fmap-update

Updated engines versions