Giters
Hernan Ponce de Leon (hernanponcedeleon)

hernanponcedeleon

Geek Repo

19

followers

8

following

12

stars

Home Page:https://hernanponcedeleon.github.io

Twitter:@h_poncedeleon

Github PK Tool:Github PK Tool

Hernan Ponce de Leon's repositories

Dat3M

A verification tool for many memory models

Language:JavaLicense:MITStargazers:71Issues:5Issues:178

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRLicense:MITStargazers:0Issues:0Issues:0

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hernanponcedeleon.github.io

Language:HTMLStargazers:0Issues:2Issues:0

litmus

Automatically generated litmus tests for validation LISA-language Linux-kernel memory models

Language:ShellLicense:GPL-2.0Stargazers:0Issues:0Issues:0

mixedproxy

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0