Dejan Jovanović's repositories
solidity-semantics-tests
Verification tests for solidity semantics
awesome-ethereum-security
A curated list of awesome Ethereum security references
aws-codeguru-cli
Command line wrapper to interact with CodeGuru Reviewer
bv-problems
some bitvector problems to look at
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
mcBV
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
Language:F#NOASSERTION000
sally-chc-benchmarks
CHC benchmarks from Sally projects
solidity
Solidity, the Contract-Oriented Programming Language
Language:C++GPL-3.0000