Giters

Aaryan0404 / ThreadEquivalenceChecker

A robust and optimized ARMv6 tool that can prove the correctness of parallel programs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ThreadEquivalenceChecker

About

A robust and optimized ARMv6 tool that can prove the correctness of parallel programs

Languages

Language:C++ 56.8%Language:C 38.8%Language:Assembly 3.9%Language:Makefile 0.5%