You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue is to collect potential refactors to the konvert module in pyk:
Separate out _kinner_to_kore.py (which would basically be most of _kast_to_kore.py), and _kouter_to_kore.py (which would basically be _module_to_kore.py and functions like _krule_to_kore in _kast_to_kore.py).
This issue is to collect potential refactors to the
konvert
module in pyk:_kinner_to_kore.py
(which would basically be most of_kast_to_kore.py
), and_kouter_to_kore.py
(which would basically be_module_to_kore.py
and functions like_krule_to_kore
in_kast_to_kore.py
).owise/priority/simplification
on rules in_krule_to_kore.py
to be aRulePass
in_kouter_to_kore.py
: Allow including lemmas dynamically into APRProver #4681 (comment)_krule_functional_to_kore.py
and_krule_semantic_to_kore.py
into their own individual functionalities: Allow including lemmas dynamically into APRProver #4681 (comment)to_axiom
to classRule
#4701module_to_kore
#4704_module_to_kore
: Fixes and improvements inmodule_to_kore
#4704 (comment)_module_to_kore
: Fixes and improvements inmodule_to_kore
#4704 (comment)The text was updated successfully, but these errors were encountered: