Pinned Repositories
boogie
Boogie
cs6110
cs6510
FPBenchParser
A Python parser for the FPBench format
Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
smack
SMACK Software Verifier and Verification Toolchain
FPTaylor
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
FPTuner
Rigorous Floating-Point Mixed-Precision Tuner
gelpia
Rigorous Global Branch-and-Bound Optimizer
keram88's Repositories
keram88/boogie
Boogie
keram88/cs6110
keram88/cs6510
keram88/FPBenchParser
A Python parser for the FPBench format
keram88/Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
keram88/cs_5460
keram88/cs_6340
keram88/cs_6810
keram88/dreal4
SMT Solver for Nonlinear Theories of Reals
keram88/ember
keram88/f16equiv
Perform equivalence checking with SMACK on half-rs: a 16-bit floating-point Rust implementation
keram88/FFmpeg
mirror of git://source.ffmpeg.org/ffmpeg.git
keram88/GAOL
GAOL is not Just Another Interval Arithmetic Library
keram88/gelpia-cs6230
Global function optimizer based on branch and bound for noncontinuous functions.
keram88/gelpia_presentation
keram88/libm
A port of MUSL's libm to Rust.
keram88/libm-equiv
Equivalence checking of musl libm translated to Rust
keram88/Original-Prusa-i3
Original Prusa i3 MK2 3D printer printed parts
keram88/pysmt
pySMT: A library for SMT formulae manipulation and solving
keram88/QuiteunFIniSheD
keram88/re-deriv
keram88/reproducibility_paper
keram88/rust-src-test
keram88/smack
SMACK: A Bounded Software Verifier for C Programs
keram88/smack-cargo
A cargo instrumentation wrapper to enable verification of Rust projects in SMACK
keram88/smack_rust_tests
Tests for verifying rust in smack
keram88/smt-nnet