Commit 2edc0a8e authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 2c5fb035
......@@ -759,6 +759,8 @@ let () =
remove Coverage, remove CompletedNatWitness?, revert Fix
collect performance data, correlated with star size and alphabet size; draw a graph
count the unreachable states and see if they are numerous in practice
search github for .mly files (batch search? unique files?)
extension:mly in:path size:>10000 mly
(* One could approach the problem just by exploring the (infinite) graph whose
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment