User Tools

Site Tools


projects:proof

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
projects:proof [2021/11/08 21:39] โ€“ [The DiffTree Populator and the DiffTree] Owen Mellemaprojects:proof [2021/11/08 22:00] (current) โ€“ Owen Mellema
Line 61: Line 61:
  
 Using this simple set of rules, we start from the top of the tree and proceed in level order. As you might expect, the ability for nodes to move complicates the algorithm significantly, both in terms of implementation and expected output ๐Ÿ˜. (The test suite used for testing the algorithm contains 53 tests, and is over 2600 lines in length.) Using this simple set of rules, we start from the top of the tree and proceed in level order. As you might expect, the ability for nodes to move complicates the algorithm significantly, both in terms of implementation and expected output ๐Ÿ˜. (The test suite used for testing the algorithm contains 53 tests, and is over 2600 lines in length.)
 +
 +==== Unparser and Semantic Diff ====
 +The Unparser's job is to take a DiffTree, and return something resembling code, albeit with a bit more structure than code. Since this is the opposite job of the Parser, I thought it was fitting to call it an "unparser".
 +
 +{{ :projects:unparsing_version_1.png?600 |}}
projects/proof.1636407542.txt.gz ยท Last modified: 2021/11/08 21:39 by Owen Mellema