-
Notifications
You must be signed in to change notification settings - Fork 20
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
sat/normalizereturn incorrect results (satisfiable / non-zero) for provably unsatisfiable formulas above a formula-size thresholdbugSomething isn't workingSomething isn't workingStatus: Open.#69 In IDNI/tau-lang;- Status: Open.#66 In IDNI/tau-lang;
- Status: Open.#65 In IDNI/tau-lang;
- Status: Open.#64 In IDNI/tau-lang;
REPL is freezing on lines with very long comments
bugSomething isn't workingSomething isn't workingStatus: Open.#62 In IDNI/tau-lang;Solver not working with functions
bugSomething isn't workingSomething isn't workingStatus: Open.#60 In IDNI/tau-lang;Regression: unable to use functions in the interpreter
bugSomething isn't workingSomething isn't workingStatus: Open.#59 In IDNI/tau-lang;Sat checker temporal normalization's inconsistent outcomes based on just an arbitrary change to a variable's name
bugSomething isn't workingSomething isn't workingStatus: Open.#55 In IDNI/tau-lang;Program hanging when the sat checker is faced with a multi-choice constraint painted into a corner
bugSomething isn't workingSomething isn't workingStatus: Open.#47 In IDNI/tau-lang;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 workingStatus: Open.#36 In IDNI/tau-lang;Infinite Loop on Self-Negating Recursive Definition Without Feedback or Timeout
bugSomething isn't workingSomething isn't workingStatus: Open.#28 In IDNI/tau-lang;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 workingStatus: Open.#27 In IDNI/tau-lang;