Hector Medina

When the user explicitly requests a one-shot perturbation, the float parameter specified for the alarm is discarded and the perturbation fires the first time it can. This is not what...

Kappapp frozen?

4

Since source is failing on my system (#641 ), I download the latest available Kappapp version, from September 2020. On Windows, double-clicking the executable opens the Electron window, but core...

Influence map resets every ~20s in "track cursor" mode

1

Since #539 was closed, there has been a "jump to" rule option for the static influence map, called "track cursor". When the caret is over the string declaring the name...

inputs.ka invalid when contact map overconstraints observables defined

3

KaSim will produce an `inputs.ka` file meant as a witness and recipe for reproducing the simulation, with all modifications, definitions, and parameters. It will also include the contact map, as...

GUI editor resets cursor to 0,0 and removes text

1

In a just-compiled / updated WebSim + GUI:localhost, the code editor is periodically (~10s) acting up by: moving the cursor back to first line first character, removing the last couple...

Cryptic error: `1/1 File "term/pattern_compiler.ml", line 593, characters 20-26: Assertion failed` In the GUI, the following MWE produces the cryptic error: ``` %agent: Bob(a,b) %obs: 'foo' |Bob(a[./1]), Bob(b[./1])| ``` The...

The term `$APPLY` does not appear once in the documentation. It is the way various modifications are saved to the `inputs.ka` file.

Toy model: ``` %agent: Agent(site) %init: 100 Agent() Agent(site[./1]), Agent(site[./1]) @ 1 Agent(site[1/.]), Agent(site[1/.]) @ 1 %mod: ([T] > 10) do $STOP "snap_final.ka"; repeat [false] ``` Run with ``` KaSim...

KaSim -log 'name.log' produces 'name.ka' instead

4

Invoking KaSim and specifying the name of a job log, e.g. `$KaSim -i M0.ka -log M0.log`, produces a file called `M0~0.ka` instead of the requested `M0.log`.

GUI double-prints CM bonds into SVG, with black fill

2

When exporting a contact map as an SVG (Firefox 69.0.1): 1) Some bonds are output twice 2) Bonds have a fill value of black, instead of having no fill For...