search

ssomayyajula / equiv

Equivalence in NetKAT modulo specifications
0 stars 0 forks source link

Spec star and times derivatives broken #2

Open ssomayyajula opened 7 years ago

ssomayyajula commented 7 years ago

Star and times derivatives in Frenetic_Decide_SpecDeriv fail with invalid arguments or do not terminate.