Pinned Repositories
array-bounds-checker
array access checker for the Checker Framework
fireband
fldigi-kiss
demonstration application using the KISS interface to FLDIGI
manifold-backend-digital
Digital circuits backend for Manifold
manifold-core
Core library for Manifold frontends and backends
smtrecords
SMT solver test and benchmark framework
sudoku2smt
Convert Sudoku puzzles into problems for your favourite SMT solver
ym2608
VHDL clone of YM2608 (OPNA) sound chip
z3
The Z3 Theorem Prover
mtrberzi's Repositories
mtrberzi/ym2608
VHDL clone of YM2608 (OPNA) sound chip
mtrberzi/sudoku2smt
Convert Sudoku puzzles into problems for your favourite SMT solver
mtrberzi/smtrecords
SMT solver test and benchmark framework
mtrberzi/array-bounds-checker
array access checker for the Checker Framework
mtrberzi/fldigi-kiss
demonstration application using the KISS interface to FLDIGI
mtrberzi/z3
The Z3 Theorem Prover
mtrberzi/fireband
mtrberzi/manifold-backend-digital
Digital circuits backend for Manifold
mtrberzi/manifold-core
Core library for Manifold frontends and backends
mtrberzi/manifold-engine
Driver program for the Manifold toolchain
mtrberzi/manifold-frontend
Frontend compiler for Manifold high-level language
mtrberzi/nengo-gpu-surrogate-backend
An OpenCL-accelerated backend for population surrogate simulation with the Nengo 2.0 neural simulator
mtrberzi/nengo-rt-backend
A Nengo 2.0 backend for the Nengo-RT real-time hardware simulator
mtrberzi/re2smtlib
Python module to convert regular expressions to SMT-LIB syntax
mtrberzi/riscv-test-env
mtrberzi/sedq
Symbolic Execution Done Quick
mtrberzi/smt-nes
Code generator for NES symbolic simulation
mtrberzi/ssi
(archive)
mtrberzi/ssi-java
Scarlet Sky Initiative (Java, archive)
mtrberzi/stp
Simple Theorem Prover.
mtrberzi/string-model-crosscheck
mtrberzi/string-solver-tests
regression and path tests for string solver (Z3+str)
mtrberzi/stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
mtrberzi/uwarc-website
The markdown that runs http://uwarc.uwaterloo.ca/
mtrberzi/z3test
Test and benchmark repository for Z3.