GitHub repository: mary3000/mimalloc-mc
Primary language: C
Created: 2020-07-21T09:10:24Z
Description: Model checking of interesting mimalloc pieces with genmc