Search results

Parser rejects & between time-shifted predicates at wff level

Status: Open.

#66 In IDNI/tau-lang;

· Jme-Tau opened on Apr 19, 2026

Past-LTL unary operators O (Once) and H (Historically) absent from grammar

Status: Open.

#65 In IDNI/tau-lang;

· Jme-Tau opened on Apr 19, 2026

solve_ltl_aba over-rejects realizable G(X → F(Y)) patterns

Status: Open.

#64 In IDNI/tau-lang;

· Jme-Tau opened on Apr 19, 2026

REPL is freezing on lines with very long comments

bugSomething isn't workingSomething isn't working

Status: Open.

#62 In IDNI/tau-lang;

· pt7k opened on Mar 24, 2026

Solver not working with functions

bugSomething isn't workingSomething isn't working

Status: Open.

#60 In IDNI/tau-lang;

· pt7k opened on Feb 17, 2026

Regression: unable to use functions in the interpreter

bugSomething isn't workingSomething isn't working

Status: Open.

#59 In IDNI/tau-lang;

· pt7k opened on Feb 14, 2026

Sat checker temporal normalization's inconsistent outcomes based on just an arbitrary change to a variable's name

bugSomething isn't workingSomething isn't working

Status: Open.

#55 In IDNI/tau-lang;

· pt7k opened on Jan 19, 2026

Program hanging when the sat checker is faced with a multi-choice constraint painted into a corner

bugSomething isn't workingSomething isn't working

Status: Open.

#47 In IDNI/tau-lang;

· pt7k opened on Dec 15, 2025

REPL hangs and consumes 100% CPU when normalizing undefined terms (int[7], int[10]) — Suggest adding safeguards for undefined and non-grounded expressions

bugSomething isn't workingSomething isn't working

Status: Open.

#36 In IDNI/tau-lang;

· LEARNTAU opened on Oct 25, 2025

Infinite Loop on Self-Negating Recursive Definition Without Feedback or Timeout

bugSomething isn't workingSomething isn't working

Status: Open.

#28 In IDNI/tau-lang;

· LEARNTAU opened on Apr 18, 2025

Memory blow up when an update spec looks back more than a couple of steps into input streams relative index

bugSomething isn't workingSomething isn't working

Status: Open.

#27 In IDNI/tau-lang;

· pt7k opened on Apr 2, 2025

REPL runner hangs when trying to run a function that assigns another recurrence to the output stream

bugSomething isn't workingSomething isn't working

Status: Open.

#20 In IDNI/tau-lang;

· pt7k opened on Jan 15, 2025