Repository navigation

Symbol table transformer - #321

Merged

danielsn merged 11 commits into

model-checking:main-153-2021-07-15from

vecchiot-aws:symbol-table-transformer

Jul 20, 2021

Merged

Symbol table transformer#321
danielsn merged 11 commits into
model-checking:main-153-2021-07-15from
vecchiot-aws:symbol-table-transformer

Commits on Jul 15, 2021
- Create transformer trait.
  vecchiot-aws
  committed
  a983e9a
- Added identity transformer example.
  vecchiot-aws
  committed
  96d3326
- Rearranged; added compilation flag.
  vecchiot-aws
  committed
  b666fcb
- Added passes flag to rmc script.
  vecchiot-aws
  committed
  f98954f
- Add documentation.
  vecchiot-aws
  committed
  9de3274
- PR fixup.
  vecchiot-aws
  committed
  0f28d47
- Add unit tests for identity transformer.
  vecchiot-aws
  committed
  b33ab24
- Fix dry-run test.
  vecchiot-aws
  committed
  535b873
- Add to test script.
  vecchiot-aws
  committed
  cf1b9b7
- Fix compiler warnings.
  vecchiot-aws
  committed
  d9ddad5
Commits on Jul 19, 2021
- Merge branch 'main-153-2021-07-15' into symbol-table-transformer
  adpaco
  authored
  dda5b6e