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

Jump to bottom

fix: goals must hold in the final state (even with TILs) #125

Merged

arbimo merged 5 commits into master from fix-tils

Jan 24, 2024

Member

arbimo commented Jan 24, 2024

fix(planning): Make sure the goal state is final in the presence of TILs
chore: Add justfile for common recipes.
feat(planning): Distinguish makespan and horizon in encoding.
deps(up): Update UP to latest version

arbimo added 5 commits

January 24, 2024 10:53


          fix(planning): Make sure the goal state is final in the presence of TILs

081312d


          chore: Add justfile for common recipes.

46361d4


          feat(planning): Distinguish makespan and horizon in encoding.

47d8122


          deps(up): Update UP to latest version

17d18cc


          chore(val): fix clippy lint

6900d76

arbimo merged commit 3dd87b7 into master

9 of 10 checks passed

arbimo deleted the fix-tils branch

January 24, 2024 15:11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet