2 ms·
Yes loom seems very important. I would interested to know how it compares with similar tools like nidhugg[1][2] for the C and C++. [1] https://github.com/nidhu
by snowAbstraction 7y ago
Yes loom seems very important. I would interested to know how it compares with similar tools like nidhugg[1][2] for the C and C++.
[1] https://github.com/nidhugg/nidhugg https://github.com/nidhugg/nidhugg
[2] https://uu.diva-portal.org/smash/get/diva2:1324003/FULLTEXT01.pdf https://uu.diva-portal.org/smash/get/diva2:1324003/FULLTEXT0...
- carllerche 7y agoI skimmed the paper and it looks similar to loom. Specifically they cite CHESS and Cdschecker as prior art. Both of those are what loom is based on. I guess 2019 is the year of concurrency checking :-)