search

ztellman / automat

better automata through combinators
588 stars 50 forks source link

Issue #40 fixed #61

Closed masztal closed 7 years ago

masztal commented 7 years ago

There was a bug in merge-pairs function which leaded to infinite loop. It occured for example for input: [[0 0] [1 1] [2 2] [3 0] [2 0] [3 2] [3 3]] Infinite loop between states means that states are equal.

emlyn commented 7 years ago

@ztellman I was getting FSM compilation occasionally hanging, and this seems to fix it. Any ETA on getting this merged (and a new release cut)? Thanks

ztellman commented 7 years ago

I'll take care of it today, sorry for the delay. On Wed, Feb 15, 2017 at 9:48 AM Emlyn Corrin notifications@github.com wrote:

@ztellman https://github.com/ztellman I was getting FSM compilation occasionally hanging, and this seems to fix it. Any ETA on getting this merged (and a new release cut)? Thanks

— You are receiving this because you were mentioned.

Reply to this email directly, view it on GitHub https://github.com/ztellman/automat/pull/61#issuecomment-280084521, or mute the thread https://github.com/notifications/unsubscribe-auth/AAB6P-kEn8mNxLsJt_rvMFBQbtfD2oR9ks5rczphgaJpZM4LroZW .