search

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
Other
215 stars 54 forks source link

[herd] Neon signed128bit #871

Closed maranget closed 2 months ago

maranget commented 2 months ago

Patching printing and parsing glitches by using signed integers as a base for the neon variant.

Only a patch, because unsigned base integer types should probably be able to parse and print signed integers.

maranget commented 2 months ago

Superseeded by PR #872