Pinned Repositories
book
Web browser engineering (a book)
calculate_energy
dotfiles
My normal environment setup
egg
egg is a flexible, high-performance e-graph library
explorations
Random miniprojects
fp_rebuttal
FPBench
A standard for floating point accuracy benchmarks
haploid
SMT Preprocessing via EqSat
megalibm
OpTuner
IanBriggs's Repositories
IanBriggs/megalibm
IanBriggs/OpTuner
IanBriggs/haploid
SMT Preprocessing via EqSat
IanBriggs/book
Web browser engineering (a book)
IanBriggs/calculate_energy
IanBriggs/dotfiles
My normal environment setup
IanBriggs/egg
egg is a flexible, high-performance e-graph library
IanBriggs/explorations
Random miniprojects
IanBriggs/fp_rebuttal
IanBriggs/FPBench
A standard for floating point accuracy benchmarks
IanBriggs/fpcore-parser
A collection of FPCores
IanBriggs/FPTuner
Rigorous Floating-Point Mixed-Precision Tuner
IanBriggs/markian
IanBriggs/ianbriggs.github.io
My personal website
IanBriggs/intervals
IanBriggs/Marlin
Optimized firmware for RepRap 3D printers based on the Arduino platform.
IanBriggs/mir_energy
IanBriggs/mul_test
IanBriggs/murxla
A model-based API Fuzzer for SMT Solvers.
IanBriggs/nightly-conf
The public nightly server configuration
IanBriggs/QFP
A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
IanBriggs/Satire
Floating-point scalable and rigorous Error analysis
IanBriggs/smack
SMACK Software Verifier And Verification Toolchain
IanBriggs/smack_compression
Testing using Smack on different data massaging/compression kernels
IanBriggs/snake-egg
Python bindings for egg
IanBriggs/sysidle_svcomp
IanBriggs/toolbox
Code I keep around
IanBriggs/vdt
IanBriggs/vdt_cos_error
IanBriggs/Verification-Challenge-2-RCU-NO_HZ_FULL_SYSIDLE
My attempt to use Smack to meet this challenge http://paulmck.livejournal.com/38016.html