Commit 40114146 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

use unified 'children' member of Model instead of decls/functions/rules

Note that this has the following user-visible effects:
  * White space in C code produced by murphi2c has changed slightly; and
  * XML produced by murphi2xml no longer nests declarations, functions and rules
    under their own sections under <model>, but instead just directly under
    <model>.

Github: related to #202 "remove section ordering restriction"
parent d984fb9a
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment