SmnTin/lincheck SmnTin/lincheck

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Rust
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SmnTin/lincheck
github

SmnTin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A linearizability checker for concurrent data structures

More Repositories

1

smntin.github.io

My portfolio and blog
SCSS
1
star
2

cpp-labs

Labs for C/CPP course
C++
1
star
3

PathBuilder

The algorithm of finding optimal route through all the given points.
C++
1
star