zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

do not convert string to rust String #117

Closed aep closed 3 years ago

aep commented 3 years ago

rust does utf8 conversion, which actually breaks user code that does its own encoding. we could probably separate out strings into bytestrings and utf8strings like rust does it, but we dont have any utf8 implementation and neither does C