Nightly builds (with Incremental-KaSa)

Last version of the tools for the Incremental-KaSa branch.
This development branch is dedicated to the implementation of the incremental static analyzer.
(The result of the previous analyses is re-used to compute the next one at each edition of the model).

Kappa Software Suite version v4.1.3.1

v4.1.3.1

Kappa Software Suite version v4.1.3.1

What's Changed

• Fix some webapp functionalities that had issues with React and js_of_ocaml e59ed94
• Fix bug happening when hitting a syntax error in the editor, and other actions 390e3c8
• Make error modals less scary 008661f
• Fix seed not showing properly in the webapp simulation log ecd046d
• Fix infinite loop when opening log tab while a simulation was run bafaeb8

Full Changelog: v4.1.3...v4.1.3.1

Kappa Software Suite version 4.1.3

v4.1.3

Kappa Software Suite version 4.1.3

What's Changed

• Patch candidate for fixing issue about decrementation. by @feret in #639
• Fix #644: Use Buffer.t instead of Bi_outbuf.t by @thierry-martinez in #645
• Add shell.nix and .envrc for easy building under Nix by @wwaites in #646
• Bump electron from 4.2.12 to 9.1.0 in /gui by @dependabot in #623
• Fix #647: declare dependency to result package explicitely and fix windows build by @thierry-martinez in #648
• Add an Edges.is_agent_id function by @jonathan-laurent in #655
• Fix klexer4 bug for zero-length strings ("") by @ethulhu in #670
• Improve clarity of code by @antoinepouille
• Small-than implementation in counters as translation into new "inverted counter" by @antoinepouille in #679
• Ignore Python build outputs and temporary integration test files by @ethulhu in #671
• Fix nix shell environment on Darwin by @ReubenJ in #680
• Inverted counters with proper default values by @feret in #691
• Fix dead_rules warnings by using a dont_gc_me list by @antoinepouille in #694
• Multiple fixes and code revamp of webapp by @antoinepouille
• Improve cursor tracking for influence nodes by @antoinepouille in #700

Full Changelog: v4.1...v4.1.3

Kappa Software Suite version 4.1

v4.1

Kappa Software Suite version 4.1

Kappa Software Suite version 4.0

From KaSim3, we have changed everything but the fondamental concepts.
You absolutely need to read CHANGES if you were using former version.

Python client kappy is directly available in pip.

KaSim 3.5 with slightly better performances

Small bugfix that impact performances

KaSim 3.5 19/09/14 debug release

Latest stable version of KaSim (3.5)