summaryrefslogtreecommitdiff
path: root/src/config_diff.ml
AgeCommit message (Collapse)Author
2023-07-27T5317: remove mutable referencesJohn Estabrook
Redesign and implement version without mutable refs.
2023-07-27T5316: drop trim functionsJohn Estabrook
2023-07-27T5316: use a single pass of diff function instead of trim functionJohn Estabrook
2023-03-23T5089: add tree_union for use in unit test.John Estabrook
2023-03-23T4235: drop unneeded graft functionJohn Estabrook
This was a general use function that is uneeded in this simple case.
2023-03-23T5087: clone with lexical insertion of nodes and ordering of valuesJohn Estabrook
2023-02-10T4991: add function show_diff for unified diff of configsJohn Estabrook
2022-06-28T4491: use empty string for name of config_tree root nodeJohn Estabrook
The practice of using "root" for the internal name of the root node collides with actual nodes named "root", due to a utility function that checks 'if root' by name. Use empty string as name of root node, as no actual node will match.
2022-04-27T4235: add comments on producing delete commandsJohn Estabrook
2022-02-28T4235: add function 'trim_tree' to produce tree for delete commandsJohn Estabrook
2022-02-25T4235: change type/variable names for clarity; add is_empty for listJohn Estabrook
2022-02-25T4235: keep full paths in subtract treeJohn Estabrook
In the intial implementation, the delete tree only kept the first node of a path not present in the RHS of the comparison; this was done as a convenience for generating 'trimmed' delete commands for the CLI. However, this loses needed information, and breaks the symmetry of results: LHS, RHS -> del, inter, add RHS, LHS -> add, inter, del Keep full paths in delete tree and rename trees.del to trees.sub(-tract). A separate function 'trim_tree' will be provided to produce a CLI-appopriate delete tree and commands.
2022-02-23T4235: function diff_tree now returns single tree containing diffsJohn Estabrook
2022-02-08configtree: T4235: implementation of config tree diffJohn Estabrook