tree 0fda34624d6a61b8d78bb33819569d6bb196484b
parent cc5fe6d520683e847d1d5fd2a4544e2a5dba9ab4
author Mazdak Farrokhzad <twingoow@gmail.com> 1568511681 +0200
committer Mazdak Farrokhzad <twingoow@gmail.com> 1568596320 +0200

or-patterns: liveness: generalize + remove `top_pats_hack`.