Search results

Not_found error when combining constraints with findall_solutions

Status: Open.

#311 In LPCIC/elpi;

· nguermond opened on Jan 31, 2025

[spilling] weird spilling behaviour?

Status: Open.

#271 In LPCIC/elpi;

· FissoreD opened on Oct 8, 2024

CHR: add unique non instantiable key instead of [_]

Status: Open.

#253 In LPCIC/elpi;

· FissoreD opened on Jul 30, 2024

Failure on armel architecture

Status: Open.

#235 In LPCIC/elpi;

· SnarkBoojum opened on Jun 1, 2024

Failure on S390X architecture

Status: Open.

#234 In LPCIC/elpi;

· SnarkBoojum opened on Jun 1, 2024

No deref on HO variable when unifying?

Status: Open.

#232 In LPCIC/elpi;

· FissoreD opened on May 27, 2024

findall_solutions P may be inconsistent wrt unification variables in P

Status: Open.

#229 In LPCIC/elpi;

· swasey opened on May 18, 2024

rex.split is not unicode aware

Status: Open.

#201 In LPCIC/elpi;

· gares opened on Oct 27, 2023

Insufficient STACK for tests on i386

Status: Open.

#187 In LPCIC/elpi;

· glondu opened on Jul 12, 2023

trace elaboration failure

Status: Open.

#182 In LPCIC/elpi;

· gares opened on Jun 1, 2023

Trace generation fails

Status: Open.

#180 In LPCIC/elpi;

· gares opened on May 2, 2023

is should behave like = on neutral terms

Status: Open.

#170 In LPCIC/elpi;

· gares opened on Dec 21, 2022