Various fixes and improvements for the Lem pretty-printing

- Add some missing "wreg" effect annotations in the type checker
- Improve pretty-printing of register type definitions: In addition to a
  "build" function, output an actual type definition, and some getter/setter
  functions for register fields
- Fix a bug in sizeof rewriting that caused it to fail when rewriting nested
  calls of functions that contained sizeof expressions
- Fix pretty-printing of user-defined union types with type variables (cf. test
  case option_either.sail)
- Simplify nexps, e.g. "(8 * 8) - 1" becomes "63", in order to be able to
  output more type annotations with bitvector lengths
- Add (back) some support for specifying Lem bindings in val specs using
  "val extern ... foo = bar"
- Misc bug fixes

0 files changed, 0 insertions, 0 deletions