Search results

Unsoundness in elim_data step for Kodkod reduction.

Status: Open.

#55 In nunchaku-inria/nunchaku;

· hargoniX opened on Dec 26, 2025

Undefined function after lambda lifting

Status: Open.

#51 In nunchaku-inria/nunchaku;

· hargoniX opened on Nov 2, 2025

Nunchaku falsley concludes a largest natural number exists due to a skolemization bug

Status: Open.

#50 In nunchaku-inria/nunchaku;

· hargoniX opened on Nov 2, 2025

Monomorphisation failure with asserting

Status: Open.

#46 In nunchaku-inria/nunchaku;

· hargoniX opened on Oct 8, 2025

Type error after lambda lifting

Status: Open.

#44 In nunchaku-inria/nunchaku;

· hargoniX opened on Oct 3, 2025

Assertion failure in polarization

Status: Open.

#43 In nunchaku-inria/nunchaku;

· hargoniX opened on Oct 3, 2025

Nunchaku wrongly concludes that a type is empty

Status: Open.

#41 In nunchaku-inria/nunchaku;

· hargoniX opened on Aug 31, 2025

Release page returns 403 error, and compiling nunchaku fails with numerous errors

Status: Open.

#37 In nunchaku-inria/nunchaku;

· nano-o opened on Nov 12, 2022

Parse error on TIP input

Status: Open.

#35 In nunchaku-inria/nunchaku;

· mikkelmilo opened on Aug 21, 2019

nunchaku on continuous functions on codatatypes in Isabelle

Status: Open.

#34 In nunchaku-inria/nunchaku;

· singhjagadish opened on Aug 16, 2019

Can't find nun-file after using nunchaku in isabelle

isabelle-pluginrelated to Isabellerelated to Isabelle

Status: Open.

#33 In nunchaku-inria/nunchaku;

· singhjagadish opened on Jun 21, 2019

polymorphic constants

bug

Status: Open.

#32 In nunchaku-inria/nunchaku;

· c-cube opened on Nov 13, 2018