Skip to content
@nidhugg

nidhugg

Popular repositories

  1. nidhugg nidhugg Public

    Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

    C 75 33

  2. benchmarks_tacas2015 benchmarks_tacas2015 Public

    C 2 5

Repositories

Showing 2 of 2 repositories
  • nidhugg Public

    Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

    C 75 GPL-3.0 33 11 (2 issues need help) 0 Updated Apr 15, 2024
  • benchmarks_tacas2015 Public
    C 2 5 0 0 Updated Feb 14, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…