revng-revng

admin/revng-revng

Fork 0

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

Commit Graph

Author SHA1 Message Date

Author	SHA1	Message	Date
Andrea Gussoni	9876e514d5	Improved `isEqual` operator with `deep` comparison Now the `isEqual` operator does what we call a `deep` comparison, meaning for every type of `ASTNode` it recursively check if the structures of the AST tree originating in that node can be considered equivalent (e.g., two sequence nodes are considered equal if every node they contain is in turn equal). This operator gives more space to the short-circuit simplification, which relies heavily on the `isEqual` operator.	2019-01-22 19:16:48 +01:00
Pietro Fezzardi	5805679ead	RestructureCFGPass: fix use of include directory	2019-01-15 16:57:15 +01:00
Andrea Gussoni	06717a6185	Import RestructureCFGPass from revamb branch Import the RestructureCFGPass from the `feature/the-comb` branch on the `revamb` repository.	2019-01-14 15:45:08 +01:00

Andrea Gussoni

9876e514d5

Improved isEqual operator with deep comparison

Now the `isEqual` operator does what we call a `deep` comparison,
meaning for every type of `ASTNode` it recursively check if the
structures of the AST tree originating in that node can be considered
equivalent (e.g., two sequence nodes are considered equal if every node
they contain is in turn equal).

This operator gives more space to the short-circuit simplification,
which relies heavily on the `isEqual` operator.

2019-01-22 19:16:48 +01:00

Pietro Fezzardi 5805679ead RestructureCFGPass: fix use of include directory 2019-01-15 16:57:15 +01:00

Andrea Gussoni

06717a6185

Import RestructureCFGPass from revamb branch

Import the RestructureCFGPass from the `feature/the-comb` branch on the
`revamb` repository.

2019-01-14 15:45:08 +01:00

3 Commits