diff options
| author | JJ | 2024-06-14 23:23:13 +0000 |
|---|---|---|
| committer | JJ | 2024-06-15 02:23:51 +0000 |
| commit | ae6bf6c7a1e846e0ed8c66f85349cd2b6cee79f3 (patch) | |
| tree | 9ef3a503e6183c5fc0a887a2660e9d1bc41a158a /LICENSE | |
| parent | ab6ad2be9966c5e1a0af511666ae9e6a2f750da4 (diff) | |
stlc-pred: use stlc-ref interpret impl
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions