Beast code in Giters

Dejan Jovanović's repositories

cutsat

Integer programming with conflict-driven cutting planes

Language:C++GPL-3.0400

cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTNOASSERTION300

solidity-semantics-tests

Verification tests for solidity semantics

Language:Shell3 40

opensmt2

Language:CNOASSERTION100

awesome-ethereum-security

A curated list of awesome Ethereum security references

CC-BY-4.0020

aws-codeguru-cli

Command line wrapper to interact with CodeGuru Reviewer

Language:JavaApache-2.0000

boogie

Boogie

Language:C#MIT020

buddy

Language:C020

bv-problems

some bitvector problems to look at

Language:SMT030

chctranslate

Language:Python000

counting-smt

Language:OCaml000

dddejan.github.io

000

ethereum-developer-tools-list

A guide to available tools and platforms for developing on Ethereum.

020

fuzzsmt2

Fuzzer for SMT2

Language:JavaGPL-3.0000

libantlr3c-3.4

Language:CNOASSERTION020

lustrec

A modular Lustre to C / Horn clauses compiler

Language:OCamlLGPL-2.1020

mcBV

A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.

Language:F#NOASSERTION000

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION000

oss-fuzz

OSS-Fuzz - continuous fuzzing of open source software.

Language:CApache-2.0010

plotext

plotting on terminal

Language:PythonMIT000

sal-mcmt-example

Language:Shell020

sally-chc-benchmarks

CHC benchmarks from Sally projects

Language:SMT020

smack

SMACK Software Verifier And Verification Toolchain

Language:CNOASSERTION000

smartbugs-wild

Language:PythonApache-2.0000

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++GPL-3.0000

souper

A superoptimizer for LLVM IR

Language:C++Apache-2.0020