Skip to content

Actions: plaans/aries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow runs
202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CI: debug Aries #498: Commit 1016d5e pushed by arbimo
January 8, 2025 12:29 9m 8s assumptions
assumptions
January 8, 2025 12:29 9m 8s
fix(solver): enforce all constraints to be manually posted before sea… Aries #497: Commit 2d18a81 pushed by arbimo
January 7, 2025 16:09 6m 47s assumptions
assumptions
January 7, 2025 16:09 6m 47s
fix(solver): enforce all constraints to be manually posted before sea… Aries #496: Commit 8be94ff pushed by arbimo
January 7, 2025 16:00 7m 11s assumptions
assumptions
January 7, 2025 16:00 7m 11s
Aries Aries #495: by arbimo
January 7, 2025 15:30 6m 38s assumptions
assumptions
January 7, 2025 15:30 6m 38s
Aries Aries #494: by arbimo
January 7, 2025 15:14 6m 43s assumptions
assumptions
January 7, 2025 15:14 6m 43s
Aries Aries #493: by arbimo
January 7, 2025 15:04 7m 31s assumptions
assumptions
January 7, 2025 15:04 7m 31s
Aries Aries #492: by arbimo
January 7, 2025 14:34 8m 19s assumptions
assumptions
January 7, 2025 14:34 8m 19s
ci(solver): run tests with different width in CI Aries #491: Commit 069b49b pushed by arbimo
January 6, 2025 16:55 7m 3s feat/int-type-features
feat/int-type-features
January 6, 2025 16:55 7m 3s
ci(solver): run tests with different width in CI Aries #490: Commit f971f57 pushed by arbimo
January 6, 2025 16:47 7m 0s feat/int-type-features
feat/int-type-features
January 6, 2025 16:47 7m 0s
fix(expl): fix bug in an optional optimization in MARCO (greedy corre… Aries #489: Commit c2137d8 pushed by nrealus
January 3, 2025 12:39 7m 14s mus-mcs-enumeration
mus-mcs-enumeration
January 3, 2025 12:39 7m 14s
refactor(expl): change names and use iter().cloned() instead of `.c… Aries #488: Commit 6af6bd8 pushed by nrealus
January 3, 2025 12:38 6m 45s explainability
explainability
January 3, 2025 12:38 6m 45s
feat(expl): add first implementation of "why unsat" question and a si… Aries #487: Commit baa9cbe pushed by nrealus
January 1, 2025 01:54 8m 21s explainability
explainability
January 1, 2025 01:54 8m 21s