Skip to content

Actions: plaans/aries

Actions

Aries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
aries.yml
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

forgotten in previous commit Aries #523: Commit 1b70489 pushed by nrealus
January 25, 2025 18:41 7m 46s planning/preferences-dev
planning/preferences-dev
January 25, 2025 18:41 7m 46s
feat(planning): support soft (preferred) goals (1st attempt, very basic) Aries #522: Commit 9303f59 pushed by nrealus
January 25, 2025 18:37 3m 22s planning/preferences-dev
planning/preferences-dev
January 25, 2025 18:37 3m 22s
fix typo in previous commit Aries #521: Commit 528f59d pushed by nrealus
January 24, 2025 21:07 10m 25s planning/preferences-dev
planning/preferences-dev
January 24, 2025 21:07 10m 25s
feat(planning): support soft (preferred) tasks & subtasks (1st attemp… Aries #520: Commit aec941a pushed by nrealus
January 24, 2025 20:52 7m 45s planning/preferences-dev
planning/preferences-dev
January 24, 2025 20:52 7m 45s
chore(expl): refactor model and vocabulary into one struct Aries #519: Commit fe06c4d pushed by nrealus
January 15, 2025 15:19 7m 50s explainability
explainability
January 15, 2025 15:19 7m 50s
chore(expl): fix previous commit (i32 changed to IntCst) Aries #518: Commit 89020c6 pushed by nrealus
January 14, 2025 19:59 8m 56s explainability
explainability
January 14, 2025 19:59 8m 56s
fix(expl): change substance counterexample type [forgotten in prev. c… Aries #517: Commit b82665a pushed by nrealus
January 14, 2025 17:05 7m 8s explainability
explainability
January 14, 2025 17:05 7m 8s
feat(expl): implement "why not entailed" explanation Aries #516: Commit 0469fe2 pushed by nrealus
January 14, 2025 16:56 7m 9s explainability
explainability
January 14, 2025 16:56 7m 9s
fix(marco): revert and fix previous commit, add docs Aries #515: Commit 683cae4 pushed by nrealus
January 14, 2025 16:46 7m 34s mus-mcs-enumeration
mus-mcs-enumeration
January 14, 2025 16:46 7m 34s
fix(marco): fix variable mapping between map solver & subset solver Aries #514: Commit 2629c25 pushed by nrealus
January 13, 2025 11:11 7m 9s mus-mcs-enumeration
mus-mcs-enumeration
January 13, 2025 11:11 7m 9s
feat: add commodity method to get the (unique) variables used in a `R… Aries #513: Commit 7dcea6a pushed by nrealus
January 11, 2025 21:15 12m 22s explainability
explainability
January 11, 2025 21:15 12m 22s
chore(expl): refactor a bit Aries #512: Commit d7944b8 pushed by nrealus
January 11, 2025 20:59 6m 47s explainability
explainability
January 11, 2025 20:59 6m 47s
chore(marco): refactor marco, add optimizations, add comments Aries #511: Commit 89715ea pushed by nrealus
January 11, 2025 13:53 9m 10s mus-mcs-enumeration
mus-mcs-enumeration
January 11, 2025 13:53 9m 10s
chore(assumptions): simplify return type of assumptions Aries #510: Commit 5839f79 pushed by nrealus
January 10, 2025 14:35 10m 6s assumptions-extra
assumptions-extra
January 10, 2025 14:35 10m 6s
chore(assumptions): simplify return type of incremental_push_all Aries #509: Commit 6f8c783 pushed by nrealus
January 10, 2025 14:32 9m 22s assumptions-extra
assumptions-extra
January 10, 2025 14:32 9m 22s
Merge branch 'master' into assumptions-extra Aries #508: Commit ce0e9e5 pushed by nrealus
January 10, 2025 14:22 11m 5s assumptions-extra
assumptions-extra
January 10, 2025 14:22 11m 5s
docs(solver): add doc comment to solve_with_assumptions Aries #507: Commit 31eb93b pushed by nrealus
January 10, 2025 14:13 7m 56s assumptions-extra
assumptions-extra
January 10, 2025 14:13 7m 56s
lint: Fix clippy warning Aries #506: Commit 80f2eff pushed by arbimo
January 10, 2025 10:44 9m 45s master
master
January 10, 2025 10:44 9m 45s
Merge pull request #154 from ishehadeh/feat/int-type-features Aries #505: Commit a0c4273 pushed by arbimo
January 10, 2025 09:37 8m 13s master
master
January 10, 2025 09:37 8m 13s
Merge pull request #159 from plaans/assumptions Aries #504: Commit e38372d pushed by arbimo
January 9, 2025 08:38 7m 44s master
master
January 9, 2025 08:38 7m 44s
fix(unsat cores): change test to not extract an unsat core from a con… Aries #503: Commit c0efeaa pushed by nrealus
January 8, 2025 17:32 7m 48s assumptions
assumptions
January 8, 2025 17:32 7m 48s
chore(solver): Make explanation API more robust to violated assumptions Aries #502: Commit d232bb3 pushed by arbimo
January 8, 2025 15:48 7m 26s assumptions
assumptions
January 8, 2025 15:48 7m 26s
chore: fix formatting Aries #501: Commit 5bd1707 pushed by nrealus
January 8, 2025 15:29 9m 22s assumptions
assumptions
January 8, 2025 15:29 9m 22s
fix(unsat cores): fix wrong literal (implied *by* an assumption) bein… Aries #500: Commit ccdd418 pushed by nrealus
January 8, 2025 15:26 10m 55s assumptions
assumptions
January 8, 2025 15:26 10m 55s
feat(solver): Make sure search always let the solver in a fully propa… Aries #499: Commit 9891ddd pushed by arbimo
January 8, 2025 13:13 7m 9s assumptions
assumptions
January 8, 2025 13:13 7m 9s