Search results

anomaly involving symbol resolved and name spaces

Status: Open.

Bug

#336 In LPCIC/elpi;

· gares opened on Apr 30, 2025

bad error message: provenance

Status: Open.

Feature

#335 In LPCIC/elpi;

· gares opened on Apr 30, 2025

Mutual exclusion: retroactive check between local clauses and catchall

determinacy

Status: Open.

Bug

#331 In LPCIC/elpi;

· gares opened on Apr 29, 2025

warning about loading flexible clauses

determinacy

Status: Open.

#330 In LPCIC/elpi;

· gares opened on Apr 23, 2025

discrimination tree uses imperative cache of max depth

determinacy

Status: Open.

#329 In LPCIC/elpi;

· gares opened on Apr 23, 2025

improve mutual exclusion using neck-guards

determinacy

Status: Open.

#328 In LPCIC/elpi;

· gares opened on Apr 23, 2025

Improve flattening

Status: Open.

Feature

#326 In LPCIC/elpi;

· gares opened on Apr 21, 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.

Feature

#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.

Feature

#232 In LPCIC/elpi;

· FissoreD opened on May 27, 2024