Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-05-29 | util.hh: Delete remaining file and clean up headers | Tom Hubrecht | |
Change-Id: Ic1f68e6af658e94ef7922841dd3ad4c69551ef56 | |||
2023-06-15 | Don't assume the type of string::size_type | Théophane Hufschmitt | |
The code accidentally conflated `std::string::size_type` and `long unsigned int`. This was fine on 64bits machines where they are apparently the same in practice, but not on 32bits. Fix that by using `std::string::size_type` everywhere. | |||
2023-05-24 | Make `RewritingSink` accept a map of rewrites | Théophane Hufschmitt | |
Giving it the same semantics as `rewriteStrings`. Also add some tests for it |