Skip to content

Commit

Permalink
Merge pull request #1106 from GaloisInc/T1105
Browse files Browse the repository at this point in the history 
`Mir.Intrinsics`: Don't pass `SimState` when `SymGlobalState`/`IntrinsicTypes` will suffice
  • Loading branch information
@RyanGlScott
RyanGlScott authored Aug 22, 2023
2 parents df3297b + 75836c9 commit c19fc2c
Showing 1 changed file with 155 additions and 96 deletions.
Loading

0 comments on commit c19fc2c

Please sign in to comment.