Search results

Incorrect complementation result

Status: Open.

#34 In mklokocka/seminator;

· DavidDokoupil opened on Oct 14, 2025

Delay moving from N to B in both versions of NCSB

complementation

Status: Open.

#33 In mklokocka/seminator;

· xblahoud opened on Nov 5, 2020

speed issues

Status: Open.

#30 In mklokocka/seminator;

· adl opened on Apr 20, 2020

Typos and ambiguity in notebooks/LevelSkipping.ipynb

Status: Open.

#29 In mklokocka/seminator;

· strejcek opened on Jan 29, 2020

Simlation based simplification of breakpoint construction

Status: Open.

#20 In mklokocka/seminator;

· xblahoud opened on Dec 16, 2019

Treat bottom weak SCCs as deterministic for reuse-deterministic-tails

Status: Open.

#17 In mklokocka/seminator;

· xblahoud opened on Jun 12, 2019

Degeneralize TGBA and reuse information of the form (s,level)

Status: Open.

#15 In mklokocka/seminator;

· xblahoud opened on Jun 12, 2019

Finetune treating levels (cache, etc.)

Status: Open.

#14 In mklokocka/seminator;

· xblahoud opened on Apr 23, 2019

Do not track marks that are common to all edges in SCC (needs level-skipping)

maybe

Status: Open.

#13 In mklokocka/seminator;

· xblahoud opened on Apr 19, 2019