about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys
AgeCommit message (Expand)AuthorLines
2025-07-28Reduce required cc crate version.Patrick-6-2/+4
2025-07-27various minor adjustmentsRalf Jung-9/+8
2025-07-27Add support for building and linking against genmcPatrick-6-0/+410