All Git Users → SRI-CSL

6 open source projects by SRI-CSL

[ Open user page on Github ]

The Yices SMT Solver

✭ 248

Whole Program LLVM: wllvm ported to go

✭ 126

go llvm clang compilers

The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.

✭ 22

c assembly C++awk Makefile shell

LibPoly is a C library for manipulating polynomials

✭ 34

OCCAM: Object Culling and Concretization for Assurance Maximization

✭ 20

llvm static-analysis abstract-interpretation pointer-analysis partial-evaluators debloating delayering

An executable specification of the RISCV ISA in L3.

✭ 38

ruby Standard ML C++c Makefile

1-6 of 6 user projects