The Replay module ignores tokens

Open jonathan-laurent opened this issue 2 years ago • 0 comments

Currently, the Replay module ignores tokens. This prevents external tools such as KaTie to perform queries involving tokens (e.g. https://github.com/jonathan-laurent/KaTie/issues/21 from @hmedina ). The simplest fix would be to add a field tokens: (string * Nbr.t) array to the state type and ensure that rule applications correctly update this field.

https://github.com/Kappa-Dev/KappaTools/blob/3e5eb6e64d12db2fbfd10481d5cbe622b8b7aa0b/core/simulation/replay.mli#L11-L16

Sep 09 '23 11:09 jonathan-laurent