diff options
| author | Kevin Laeufer | 2021-09-23 16:34:28 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-23 23:34:28 +0000 |
| commit | 034445e31ec53100abe259d407e62e278fdb50fa (patch) | |
| tree | fb8d87c9cb7dd35779e83fcf0899d879a65f05c7 /.github | |
| parent | b8a0ecf1203a487a922f8a15d88716b69469094f (diff) | |
transforms.formal: ensure named statements as output (#2367)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions