Pierre Ganty

icon indicating a website link http://software.imdea.org/~pierreganty/

icon company @imdea-software icon location Spain icon location Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.

Results 3 comments of Pierre Ganty

ltsconvert with simulation minimization outputs badly formatted fsm files

Dear mcrl2 devs, do you have an update on this issue?

Remove warning wait

I am referencing [Issue 19352](https://github.com/neovim/neovim/issues/19352) which is sort of related as it contains some calls to `os_delay` that the devs might want to get rid of eventually.

Output flooded with EventLoop related messages

1. Does not happen in 0.4.3, only in 0.5.0 2. Python 3.11.6 3. I am not able to come up with a simple reproduction and won't be able to look...