diff options
| author | Jonathan Protzenko | 2023-10-22 16:34:46 -0700 |
|---|---|---|
| committer | Jonathan Protzenko | 2023-10-22 16:34:46 -0700 |
| commit | c27c3052ec3f9a093b06a41f56b3a361cb65e950 (patch) | |
| tree | 200c96364b0fb9ea05f7ac3877ce496c1b6a285e /tests/hol4/misc-paper/Holmakefile | |
| parent | 61368028027a7c160c33b05ec605c26833212667 (diff) | |
Add more support for numeric operations, xor, rotate
Diffstat (limited to 'tests/hol4/misc-paper/Holmakefile')
0 files changed, 0 insertions, 0 deletions