Giters
Rasool Maghareh (rasoolmaghareh)

rasoolmaghareh

Geek Repo

13

followers

19

following

7

stars

Company:@Huawei-PTLab

Location:Toronto, Canada

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

Twitter:@rmaghareh

Github PK Tool:Github PK Tool

Organizations
tracer-x

Rasool Maghareh's repositories

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

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

flang

Flang is a Fortran language front-end designed for integration with LLVM.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

klee

Tracer-X KLEE Symbolic Virtual Machine

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

simple-bash-scripts

A collection of simple Bash scripts

Language:ShellStargazers:0Issues:0Issues:0

TracerX-PS

TracerX Symbolic Executor for Problem Solving

Language:SMTLicense:GPL-3.0Stargazers:0Issues:0Issues:0