Kappa-Dev KappaTools issues

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

http://kappalanguage.org/

GNU Lesser General Public License v3.0

108 stars 40 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Revamp Webapp logs

#699 antoinepouille closed 1 month ago
0
Yojson conversion for counters_info

#698 antoinepouille closed 1 month ago
0
update README

#697 antoinepouille closed 3 months ago
0
Adding Hooked module to replace signals by hooks, apply to state_error

#696 antoinepouille closed 4 months ago
0
Change the interface of the analysis of symmetric sites.

#695 feret closed 4 months ago
1
Fix dead_rules warnings by using a dont_gc_me list

#694 antoinepouille closed 4 months ago
0
Simplify install of pinned libs in CI

#693 antoinepouille closed 4 months ago
0
In JSON output, inverted counters should be translated back rather than being ignored.

#692 feret opened 4 months ago
0
Inverted counters with proper default values

#691 feret closed 4 months ago
0
Use fake opam package pinned_libs.opam to pin libs for builds

#690 antoinepouille closed 4 months ago
0
Fix CI workflow: remove unused site and viz from macos artifact

#689 antoinepouille closed 4 months ago
0
Update version of github actions

#688 antoinepouille closed 4 months ago
0
Default value for inverted counters is not set apropriately in initial states in KaDE.

#687 feret closed 4 months ago
0
Revamp dependancies and repo organisation cleanup

#686 antoinepouille closed 4 months ago
0
Default value for Inverted counters is not set properly.

#685 feret closed 4 months ago
0
Should fix tab_editor and tab_outputs (untested)

#684 antoinepouille closed 5 months ago
0
Mere presence of agent declaration with counters causes incorrect results

#683 wwaites closed 5 months ago
6
Remove inverted counters from user snapshots

#682 antoinepouille closed 4 months ago
0
Fix CI

#681 antoinepouille closed 5 months ago
0
Fix nix shell environment on Darwin

#680 ReubenJ closed 5 months ago
1
Small-than implementation in counters as translation into new "inverted counter"

#679 antoinepouille closed 7 months ago
5
Adding dune root parameters to the project

#678 antoinepouille closed 4 months ago
0
Ocamlformat all the ml code in the repo, update dune and .gitignore settings

#677 antoinepouille closed 8 months ago
0
Improve clarity of code in kappa compiler and counter compiler

#676 antoinepouille closed 8 months ago
0
The Replay module ignores tokens

#675 jonathan-laurent opened 11 months ago
0
Trace, final print

#674 hmedina opened 11 months ago
0
Print greater-than-equal as >= for inputs.ka

#673 ethulhu opened 1 year ago
0
KaSim inputs.ka emits >= as =

#672 ethulhu closed 4 months ago
0
Ignore Python build outputs and temporary integration test files

#671 ethulhu closed 6 months ago
0
Fix klexer4 bug for zero-length strings ("")

#670 ethulhu closed 1 year ago
0
KaSim cannot read empty strings ("")

#669 ethulhu closed 5 months ago
0
Add > as syntactic sugar for >= in counters

#668 ethulhu opened 1 year ago
0
Trace, init, T0

#667 hmedina opened 1 year ago
0
Stack overflows

#666 hmedina closed 1 year ago
18
`File "core/siteGraphs/edges.ml", line 418, characters 13-19: Assertion failed`

#665 hmedina closed 5 months ago
8
What is [E] ?

#664 hmedina closed 1 year ago
8
Provide a more user-friendly format for traces (follow up from #658)

#663 feret opened 1 year ago
7
abbreviated time print in snapshots

#662 hmedina closed 1 year ago
4
False error from KaSa: mod, tokens, `<-`

#661 hmedina opened 1 year ago
16
Inconsistent behavior in snapshot naming between KaSimInBrowser and KaSimInCommandLine for `[E]`

#660 hmedina closed 1 year ago
4
Agent "identifiers" are recycled and so do not identify agents

#659 hmedina opened 1 year ago
3
Inconsistent action order in generated trace files

#658 jonathan-laurent closed 1 year ago
5
Bug: inconsistent action order in generated trace files?

#657 jonathan-laurent closed 1 year ago
2
Using the $SNAPSHOT perturbation corrupts generated trace files?

#656 jonathan-laurent closed 1 year ago
7
Add an Edges.is_agent_id function

#655 jonathan-laurent closed 1 year ago
0
Better documentation for `kappa-library`

#654 jonathan-laurent opened 1 year ago
0
How to test the existence of an agent with a given ID?

#653 jonathan-laurent closed 1 year ago
0
Add wheels for kappy for Python 3.10 on PyPI

#652 bgyori closed 1 year ago
9
Hmedina patch 2

#651 hmedina opened 1 year ago
0
OCaml 5: explicit unix library loading

#650 hmedina closed 5 months ago
0