Search results

Dead site throws an error in KaSa when it is bound on the left-hand side of a rule

KaSa

Status: Open.

#713 In Kappa-Dev/KappaTools;

· reb-ddm opened on Jun 30, 2025

pinned_libs does not exist

Status: Open.

#712 In Kappa-Dev/KappaTools;

· hmedina opened on Feb 13, 2025

In JSON output, inverted counters should be translated back rather than being ignored.

Counters

minor bug

Status: Open.

#692 In Kappa-Dev/KappaTools;

· feret opened on Mar 30, 2024

The Replay module ignores tokens

Wishlist

Status: Open.

#675 In Kappa-Dev/KappaTools;

· jonathan-laurent opened on Sep 9, 2023

Trace, final print

Status: Open.

#674 In Kappa-Dev/KappaTools;

· hmedina opened on Sep 8, 2023

Trace, init, T0

Wishlist

Status: Open.

#667 In Kappa-Dev/KappaTools;

· hmedina opened on Jun 1, 2023

Provide a more user-friendly format for traces (follow up from #658)

Wishlist

Status: Open.

#663 In Kappa-Dev/KappaTools;

· feret opened on May 6, 2023

False error from KaSa: mod, tokens, <code>&lt;-</code>

minor bug

Status: Open.

#661 In Kappa-Dev/KappaTools;

· hmedina opened on May 1, 2023

Agent "identifiers" are recycled and so do not identify agents

Wishlist

Status: Open.

#659 In Kappa-Dev/KappaTools;

· hmedina opened on Apr 20, 2023

Better documentation for <code>kappa-library</code>

Status: Open.

#654 In Kappa-Dev/KappaTools;

· jonathan-laurent opened on Mar 29, 2023

One shot perturbations ignore requested time

KaSim

Soundness

Status: Open.

#643 In Kappa-Dev/KappaTools;

· hmedina opened on Aug 11, 2022

The opam archive for version 4.0.0 seems to have changed

Status: Open.

#636 In Kappa-Dev/KappaTools;

· mseri opened on Mar 24, 2021