cl-sat results collected by cl-test-grid

Results on the last two Quicklisp distributions

 quicklisp 2026-01-01quicklisp 2026-01-01 + polyfill-dotcl 2026-10-27+2026-11-03.eec61fquicklisp 2026-01-01 + polyfill-egcl 2026-11-03.c16adc
abcl-1.9.3-fasl43-linux-aarch64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
abcl-1.9.3-fasl43-linux-x64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
ccl-1.14-f2-linux-aarch64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
ccl-1.14-f99-linux-x64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
clasp-clasp-boehmprecise-3.0.1-non-cst-linux-aarch64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
clasp-clasp-boehmprecise-3.0.1-non-cst-linux-x64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
clisp-2.49.95+-unix-arm64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
clisp-2.49.95+-unix-x64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
cmu-21f__21f_unicode_-linux-x86
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
dotcl-0.1.36-linux-x64
(LOAD cl-sat FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system trivial-features from pathname /home/dcooper8/cl-test-grid/work-dir/agent/dotcl/quicklisp/dists/quicklisp/software/trivial-features-20250622-git/trivial-features.asd: Sorry, your Lisp is not supported. Patches welcome.
(LOAD cl-sat.test FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system trivial-features from pathname /home/dcooper8/cl-test-grid/work-dir/agent/dotcl/quicklisp/dists/quicklisp/software/trivial-features-20250622-git/trivial-features.asd: Sorry, your Lisp is not supported. Patches welcome.
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
ecl-26.5.5-unknown-linux-aarch64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
ecl-26.5.5-unknown-linux-x64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
egcl-0.0.11-linux-x64
(LOAD cl-sat FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system trivial-features from pathname /home/dcooper8/cl-test-grid/work-dir/agent/egcl/quicklisp/dists/quicklisp/software/trivial-features-20250622-git/trivial-features.asd: Sorry, your Lisp is not supported. Patches welcome.
(LOAD cl-sat.test FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system trivial-features from pathname /home/dcooper8/cl-test-grid/work-dir/agent/egcl/quicklisp/dists/quicklisp/software/trivial-features-20250622-git/trivial-features.asd: Sorry, your Lisp is not supported. Patches welcome.
(LOAD cl-sat FAIL) UNDEFINED-FUNCTION : The function CLOSER-MOP:COMPUTE-SLOTS is undefined.
(LOAD cl-sat.test FAIL) UNDEFINED-FUNCTION : The function CLOSER-MOP:COMPUTE-SLOTS is undefined.
sbcl-2.6.10-linux-arm64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)
sbcl-2.6.10-linux-x64
(LOAD cl-sat OK)
(LOAD cl-sat.test OK)

Breakdown by testcases: for every failed testcase the lisp implmentations it fails on

The library does not have a testsuite adapter for CL Test Grid.

Who depends on it

In Quicklisp 2026-01-01, 3 projects depend on it directly and 3 transitively: a failure of it on an implementation blocks those.

Directly: cl-maxsat, cl-sat.glucose, cl-sat.minisat.

Pulled in by other systems' loads

Pulled in by 64 loads of 3 other projects.

 quicklisp 2026-01-01quicklisp 2026-01-01 + polyfill-dotcl 2026-10-27+2026-11-03.eec61f
abcl-1.9.3-fasl43-linux-aarch646 loads, 4 failed0 loads
abcl-1.9.3-fasl43-linux-x646 loads, 4 failed0 loads
ccl-1.14-f2-linux-aarch646 loads, 4 failed0 loads
ccl-1.14-f99-linux-x644 loads, 4 failed0 loads
clasp-clasp-boehmprecise-3.0.1-non-cst-linux-aarch646 loads, 4 failed0 loads
clasp-clasp-boehmprecise-3.0.1-non-cst-linux-x646 loads, 4 failed0 loads
clisp-2.49.95+-unix-arm646 loads, 4 failed0 loads
clisp-2.49.95+-unix-x646 loads, 4 failed0 loads
dotcl-0.1.36-linux-x640 loads6 loads, 4 failed
ecl-26.5.5-unknown-linux-aarch646 loads, 4 failed0 loads
ecl-26.5.5-unknown-linux-x646 loads, 4 failed0 loads

To reports overview

Generated at: 2026-11-14 08:00:39 GMT.