kaist-cp / rv6

Other
125 stars 13 forks source link

Make `SegManager` and `Imap` mutable only through a `Tx` #636

Closed travis1829 closed 2 years ago

travis1829 commented 2 years ago
jeehoonkang commented 2 years ago

bors r+

kaist-cp-bors[bot] commented 2 years ago

Build succeeded: