agurfinkel Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

bmc-gsa19

Example of using jupyter for results

brunch

Data processing and execution

btor2llvm

A tool to convert btor2 files to LLVM.

btor2mlir

BTOR2 MLIR project

c-rust

Repo for hosting examples of interoperability of rust and C using LLVM 14.

corral

solver for the reachability modulo theories problem

ddsmt

A delta debugger for SMT benchmarks in SMT-LIB v2.

deepspacer

ece653-a2

Repo for ECE653 A2

fopexamples

Examples of reasoning globally vs locally in IVy

ghidrall

Adaption of the r2ghidra-dec product to lift binaries to LLVM IR

glucose-3-drup

Glucose 3.0 with online DRUP proofs and proof traversal (for interpolation)

ice-c5

Comparison between open source C5.0 code and ICE-C5.0 code

innard-benchmarks

Benchmarks for IC3 with Inner Signals paper

jar2019synthesis

Repository for journal paper on synthesis algorithms

ldv-bench

libc-stubs

libc stub functions for use with sea-dsa

mainframer

Tool for remote builds. Sync project to remote machine, execute command, sync back.

minisat

A minimalistic and high-performance SAT solver

nserc-latex-template

A LaTeX template for NSERC applications

pcminer

PC-miner tool for program chairs

pharos-to-llvm

A script that converts a serialized representation of the Pharos IR to LLVM IR

seahorn

SeaHorn Verification Framework

seahorn-todo

SeaHorn related examples and issues

seaurchin

Seahorn for Rust

smtlib-mode

An Emacs major mode to edit and run SMTLIB v2 files

spacer-diverging-examples

Diverging examples for spacer

spacer-on-jupyter