Search results

Improvement in the interaction between occur check and the AC solver

Status: Open.

#31 In Drup/dowsing;

· FardaleM opened on Dec 17, 2024

Possible improvement

Status: Open.

#30 In Drup/dowsing;

· FardaleM opened on Aug 30, 2024

Benchmarking

Status: Open.

#20 In Drup/dowsing;

· FardaleM opened on Nov 28, 2023

The normal form is not robust. Substitution breaks an invariant of the normal form.

Status: Open.

#19 In Drup/dowsing;

· FardaleM opened on Nov 28, 2023

Add test to the AC-unification and Curry-unification procedure

Status: Open.

#18 In Drup/dowsing;

· FardaleM opened on Nov 28, 2023

Protect unmarshalling with a magic number.

Status: Open.

#17 In Drup/dowsing;

· FardaleM opened on Nov 28, 2023

Investigate performances of unification

Status: Open.

#9 In Drup/dowsing;

· Drup opened on Apr 20, 2021

Défaillance de l'axiome (Ass-0)

Status: Open.

#8 In Drup/dowsing;

· clef-men opened on Apr 20, 2021

Refine unifiers

Status: Open.

#4 In Drup/dowsing;

· Drup opened on Apr 1, 2021

TODO List

Status: Open.

#3 In Drup/dowsing;

· Drup opened on Jan 20, 2021