Search results

Difficulty appending domains

Status: Open.

#46 In triska/clpz;

· dougransom opened on Sep 6, 2025

Power not recognized reliably

Status: Open.

#44 In triska/clpz;

· notoria opened on May 30, 2025

Unexpected failure with <code>lex_chain/1</code>

Status: Open.

#43 In triska/clpz;

· notoria opened on May 30, 2025

Groundness and <code>trigger_props//2</code>, <code>trigger_props//4</code>

Status: Open.

#42 In triska/clpz;

· notoria opened on May 29, 2025

Floored division in <code>(cis)/2</code>

Status: Open.

#41 In triska/clpz;

· notoria opened on Apr 10, 2025

#= may fail in one direction but not the other

Status: Open.

#40 In triska/clpz;

· jeshan opened on Mar 2, 2025

min could settle if one input and the other's upper bound are known

Status: Open.

#39 In triska/clpz;

· jeshan opened on Jan 18, 2025

CLP(ℤ) in multiple files

Status: Open.

#36 In triska/clpz;

· notoria opened on Dec 9, 2024

Maybe unexpected domain error

Status: Open.

#35 In triska/clpz;

· UWN opened on Dec 8, 2024

disjoint2/1 succeeds with negative widths and heights

Status: Open.

#34 In triska/clpz;

· SaGagnon opened on Oct 27, 2024

How to get changes in scryer's fork?

Status: Open.

#28 In triska/clpz;

· jeshan opened on Jan 20, 2024

Unification may fail with user attributes

Status: Open.

#27 In triska/clpz;

· jeshan opened on Jan 13, 2024