Skip to content
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.

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

Ecai23 #264

Merged
merged 41 commits into from
Oct 2, 2023
Merged

Ecai23 #264

merged 41 commits into from
Oct 2, 2023

Conversation

LBonassi95
Copy link
Collaborator

@LBonassi95 LBonassi95 commented Sep 30, 2023

Proposed changes

Integration of the ecai23 ADL encoding.

Types of changes

  • New feature (non-breaking change which adds functionality)

AUTHORS.md Outdated Show resolved Hide resolved
This commit fixes a warning when doing 'poetry install':

> Warning: poetry.lock is not consistent with pyproject.toml. You may be getting improper dependencies. Run `poetry lock [--no-update]` to fix it.

We run 'poetry lock --no-update' using poetry at version 1.6.1.
from 'search(ff)' to 'search(ff())'. Proper escaping of parenthesis has been applied.
@@ -63,7 +63,7 @@ def get_planner_cmd(
str(bind_path / domain.name),
str(bind_path / problem.name),
# we need escaping due to nuances in using planutils with docker
f'--search "astar\\({self._heuristic.value}\\)"',
f'--search "astar\\({self._heuristic.value}\\(\\)\\)"',
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

change due to recent version of downward (missing reference).

@codecov
Copy link

codecov bot commented Sep 30, 2023

Codecov Report

Merging #264 (5b648d3) into main (63c93c4) will increase coverage by 1.15%.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##             main     #264      +/-   ##
==========================================
+ Coverage   89.79%   90.95%   +1.15%     
==========================================
  Files          12       22      +10     
  Lines         549      984     +435     
==========================================
+ Hits          493      895     +402     
- Misses         56       89      +33     
Flag Coverage Δ
unittests 90.95% <ø> (+1.15%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 15 files with indirect coverage changes

@@ -0,0 +1,65 @@
import pkg_resources
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

pkg_resources is deprecated as an API. See https://setuptools.pypa.io/en/latest/pkg_resources.html

Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>
Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>
Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>
README.md Outdated Show resolved Hide resolved
Benchmarks are now stored in a new repository. The new repository is added as a submodule in tests/benchmarks.

Minor changes were required on the test code side so to adapt it to the new benchmark folder structure.
README.md Outdated Show resolved Hide resolved
francescofuggitti and others added 2 commits October 1, 2023 14:19
the poetry lock has been produced with `poetry lock --no-update`
Copy link
Member

@francescofuggitti francescofuggitti left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's great! Thank you, @LBonassi95 and @marcofavorito!

@marcofavorito marcofavorito merged commit ce48e1e into main Oct 2, 2023
11 checks passed
marcofavorito added a commit that referenced this pull request Oct 2, 2023
Co-Authored-By: Francesco Fuggitti <francescofuggitti@gmail.com>

- Pnf -> PPNF: #264 (comment)
- introduced -> introduces: #264 (comment)
- encodind -> encoding: #264 (comment)
marcofavorito added a commit that referenced this pull request Oct 2, 2023
@marcofavorito marcofavorito deleted the ecai23 branch October 2, 2023 18:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants