search

UQ-PAC / BASIL

Apache License 2.0
8 stars 0 forks source link

Cil visitor #220

Closed ailrst closed 3 months ago

ailrst commented 4 months ago

This is a first pass at a port of the CIL visitor used by asli, it is especially good for modifying immutable expressions, with the main advantage being it does not require faking multiple-dispatch or re-defining the recursion tree for every implementation.

ailrst commented 3 months ago

Merging as this doesn't impact any existing functionality