Pinned Repositories
awesome-ethereum-security
A curated list of awesome Ethereum security references
aws-codeguru-cli
Command line wrapper to interact with CodeGuru Reviewer
boogie
Boogie
buddy
bv-problems
some bitvector problems to look at
chctranslate
cutsat
Integer programming with conflict-driven cutting planes
cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
opensmt2
solidity-semantics-tests
Verification tests for solidity semantics
dddejan's Repositories
dddejan/cutsat
Integer programming with conflict-driven cutting planes
dddejan/cvc5
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
dddejan/solidity-semantics-tests
Verification tests for solidity semantics
dddejan/opensmt2
dddejan/awesome-ethereum-security
A curated list of awesome Ethereum security references
dddejan/aws-codeguru-cli
Command line wrapper to interact with CodeGuru Reviewer
dddejan/boogie
Boogie
dddejan/buddy
dddejan/bv-problems
some bitvector problems to look at
dddejan/chctranslate
dddejan/counting-smt
dddejan/dddejan.github.io
dddejan/ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
dddejan/fuzzsmt2
Fuzzer for SMT2
dddejan/libantlr3c-3.4
dddejan/lustrec
A modular Lustre to C / Horn clauses compiler
dddejan/mcBV
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
dddejan/minisat
A minimalistic and high-performance SAT solver
dddejan/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software.
dddejan/plotext
plotting on terminal
dddejan/sal-mcmt-example
dddejan/sally-chc-benchmarks
CHC benchmarks from Sally projects
dddejan/smack
SMACK Software Verifier And Verification Toolchain
dddejan/smartbugs-wild
dddejan/solidity
Solidity, the Contract-Oriented Programming Language
dddejan/souper
A superoptimizer for LLVM IR