diff options
| author | Kirill Bulatov <mail4score@gmail.com> | 2024-12-10 12:33:13 +0200 |
|---|---|---|
| committer | Kirill Bulatov <mail4score@gmail.com> | 2024-12-10 12:33:30 +0200 |
| commit | f94953d7320b2a4d2c7341136e7e63d4c118db0f (patch) | |
| tree | 6e7ffceedc623973b142889b1350ee09b8cc797e /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 61c0b269d8655e1db902238f987f642b558f3947 (diff) | |
| download | rust-f94953d7320b2a4d2c7341136e7e63d4c118db0f.tar.gz rust-f94953d7320b2a4d2c7341136e7e63d4c118db0f.zip | |
Address the feedback from Veykril
* Exclude documentation field from hashing * Do less cloning during initial completion list generation
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions