kappa-dev / reconka

Replay a kappa trace and extract connectivity information

---

In order to compile, you need to opam pin --dev add KaSim [1] and you can then ocamlbuild ReConKa.native (or ocamlbuild ReConKa.byte if necessary).

---

./ReConKa -help should tell you what you need to know.

[1] KaSim requires Ocaml >= 4.02.3. Opam will take care of installing other dependencies.

reconka's Issues

Distance visualisation should be ready for a large amount of rule

There is no visualisation at all yet but when we'll provide some, we should keep in mind Kappa-Dev/KappaTools#243

Plot period is broken, or means something different than KaSim's

The central idea behind trace replaying is the capacity to compare stuff across multiple traces.

• Option -p plot period has a confusing behavior. E.g. -p 1 does not yield an observation point (roughly) every time unit, but closer to an observation per event. Moreover -p 1000 seems to approach a period of 1 observation per time unit, at least late in the simulation. Why 1000? Is the period relative to the total length of the trace?

• If the user wants a plot point every time unit, the user should get that, not roughly every time unit. The key difference is that 2 traces will almost never fall on the same float value of time. These should be dumped in alarm time, or at least like KaSim does respecting the plot period.

Usecase: I have a model with a parameter that can be any of m values. I want to compare the giant-component generation by these m values. I simulate each parametrization for n time units with plot period of 1, get m output files each with n values nicely indexed by their n integer time points. Then I switch to ReConKa and now all my connectivity.csv values across parametrizations are not comparable (i.e. the first point is different for every parametrization). With -p 1 I would expect ReConKa to produce a file with n rows, like KaSim does.