Code

Fix issue #173 (disequlaity crash)#174

Code

Open

Kakadu wants to merge 9 commits intomasterPLTools/OCanren:masterfrom disequality-issue1PLTools/OCanren:disequality-issue1Copy head branch name to clipboard

+304-47

Commits

Commits on Dec 17, 2024

• Add a reproduction case for issue #173. Discovered by @Lozov-Petr

  Show description for 9def363
  

  Dmitrii.Kosarev a.k.a. Kakadu

  authored and

  Dmitrii.Kosarev a.k.a. Kakadu

  committed
  9def363

  Copy full SHA for 9def363

• Magic fix for disequality simplify exception.

  

  Peter Lozov

  authored and

  Dmitrii.Kosarev a.k.a. Kakadu

  committed
  9e7f582

  Copy full SHA for 9e7f582

• Promote tests after Peter's fix for disequality

  Show description for db682f4
  

  Dmitrii.Kosarev a.k.a. Kakadu

  authored and

  Dmitrii.Kosarev a.k.a. Kakadu

  committed
  db682f4

  Copy full SHA for db682f4

• Promote a BAD WRONG test after fixes (see #173)

  Show description for 3bd7d44
  

  Dmitrii.Kosarev a.k.a. Kakadu

  authored and

  Dmitrii.Kosarev a.k.a. Kakadu

  committed
  3bd7d44

  Copy full SHA for 3bd7d44

Commits on Dec 24, 2024

• [chore] API for debugging diseq constraints

  Show description for cdec183
  

  Dmitrii.Kosarev a.k.a. Kakadu

  authored and

  Dmitrii.Kosarev a.k.a. Kakadu

  committed
  cdec183

  Copy full SHA for cdec183

• Revert "Magic fix for disequality simplify exception."

  Show description for 79e0390
  

  Dmitrii.Kosarev a.k.a. Kakadu

  authored and

  Dmitrii.Kosarev a.k.a. Kakadu

  committed
  79e0390

  Copy full SHA for 79e0390

Commits on Jan 12, 2025

• Fix issue #173

  Show description for dc4ab0e
  Kakadu

  committed
  dc4ab0e

  Copy full SHA for dc4ab0e

• Promote tests for issue #173

  Show description for aafc2e3
  

  Dmitrii.Kosarev a.k.a. Kakadu

  authored and

  Kakadu

  committed
  aafc2e3

  Copy full SHA for aafc2e3

• [subst] A refactoring to do less allocations

  Show description for 449e680
  Kakadu

  committed
  449e680

  Copy full SHA for 449e680