Refactor KCFG #2470

tothtamas28 · 2022-03-08T13:20:00Z

No description provided.

ehildenb · 2022-03-16T04:08:03Z

Updating branch to test new CI.

k-distribution/src/main/scripts/lib/pyk/pyk/kcfg.py

k-distribution/src/main/scripts/lib/pyk/pyk/cterm.py

k-distribution/src/main/scripts/lib/pyk/pyk/kastManip.py

k-distribution/src/main/scripts/lib/pyk/pyk/kcfg.py

k-distribution/src/main/scripts/lib/pyk/pyk/kastManip.py

k-distribution/src/main/scripts/lib/pyk/pyk/cterm.py

k-distribution/src/main/scripts/lib/pyk/pyk/tests/test_subst.py

k-distribution/src/main/scripts/lib/pyk/pyk/kastManip.py

k-distribution/src/main/scripts/lib/pyk/pyk/subst.py

* Remove field split * Remove field loop * Remove field terminal * Remove field frontier * Remove field subsumptions * Remove method getTermHash * Remove method getNodeAttributes * Refactor and rename method getStateIdByShortHash * Refactor and rename insertNode * Refactor and rename removeNode * Remove class attribute _NODE_ATTRS * Refactor methods to_dict and from_dict * Add type annotations for fields * Change fields from List to Set where possible * Rename field states to _nodes * Create class KCFG.Node * Rename method add_node to create_node * Remove methods _encode and _decode * Create class KCFG.Edge * Rename field graph to _edges * Change edge type * Remove methods _assign and invalidateStates * Add method get_edge * Remove method getEdges * Rename get_node to node * Rename get_edge to edge * Add optional parameters to method edges * Remove methods getSuccessors and getPredecessors * Make return type of method edge Optional * Remove method getEdgeCondition * Remove methods markEdge* * Refactor abstractions * Refactor method getEdgeSentence to Edge.to_rule * Remove method getModule * Add class KCFG.Cover * Add class KCFG.EdgeLike * Simplify to_dot * Reimplement path algorithm * Reimplement transitive closure * Implement property frontier * Rename init to _init * Rename target to _target * Rename stuck to _stuck * Refactor getPathCondition * Add method prune * Add class FrozenDict * Add class Subst * Change KAtt backing data type from frozenset to FrozenDict * Change return type of KCFG.Cover.subst to Subst * Rename kastManip.removeGeneratedCells * Refactor and rename countVarOccurances * Add function if_ktype * Add function count_rhs_vars * Add further utils * Add class KRuleLike * Add class CTerm * Make kast.to_hash a cached property * Add properties for sets of nodes * Change type of KCFG.Node.term to CTerm * Change CTerm.constraints from FrozenSet to Tuple * Rename inline_generated_top * Move class Subst to module subst * Add tests for count_vars * Move AST traversal functions to module kast * Change return type of kastManip.match to Subst * Move function match from kastManip to subst * Add tests for matching property

tothtamas28 force-pushed the pyk-refactor-kcfg branch 3 times, most recently from 6e4c4f5 to 212e64f Compare March 11, 2022 20:22

tothtamas28 force-pushed the pyk-refactor-kcfg branch from e1762e9 to 0e16901 Compare March 16, 2022 08:04

tothtamas28 requested a review from ehildenb March 17, 2022 16:52

tothtamas28 marked this pull request as ready for review March 17, 2022 16:53

tothtamas28 self-assigned this Mar 17, 2022

ehildenb reviewed Mar 17, 2022

View reviewed changes

k-distribution/src/main/scripts/lib/pyk/pyk/kcfg.py Outdated Show resolved Hide resolved

ehildenb reviewed Mar 17, 2022

View reviewed changes

k-distribution/src/main/scripts/lib/pyk/pyk/kcfg.py Outdated Show resolved Hide resolved

ehildenb reviewed Mar 17, 2022

View reviewed changes

k-distribution/src/main/scripts/lib/pyk/pyk/kcfg.py Outdated Show resolved Hide resolved

tothtamas28 force-pushed the pyk-refactor-kcfg branch 2 times, most recently from 2afab1b to 13cf760 Compare March 21, 2022 16:41

tothtamas28 requested a review from ehildenb March 21, 2022 16:44