Pull Requests
557
Code Reviews
1,829
Top Repositories
# | Repository | Stars | Forks | Issues | Contributors |
---|---|---|---|---|---|
1 | blishko/chc-benchmarks | 2 | 0 | 0 | -1 |
2 | blishko/fmcad22-artifact | 1 | 0 | 0 | -1 |
3 | blishko/usi-cc-tests | 0 | 0 | 0 | -1 |
4 | blishko/solidity | 0 | 0 | 0 | -1 |
5 | blishko/sally | 0 | 0 | 0 | -1 |
6 | blishko/opensmt | 0 | 0 | 0 | -1 |
7 | blishko/hevm | 0 | 0 | 0 | -1 |
8 | blishko/golem | 0 | 0 | 0 | -1 |
9 | blishko/ddSMT | 0 | 0 | 0 | -1 |
10 | blishko/chc-comp25-scripts | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
deleted branch update-forge at ethereum/hevm
pushed to main in ethereum/hevm
merged a pull request in ethereum/hevm
pushed to update-forge in ethereum/hevm
reopened a pull request in ethereum/hevm
created a branch update-forge in ethereum/hevm
deleted branch expression-language at ethereum/hevm
deleted branch macos-builds at ethereum/hevm
deleted branch fix-cvc5-good at ethereum/hevm
deleted branch countexamples at ethereum/hevm
deleted branch fixing-up-cex at ethereum/hevm
deleted branch add-sar-op at ethereum/hevm
deleted branch fix-index-word-oob at ethereum/hevm
deleted branch update-cabal at ethereum/hevm
deleted branch dapp-tests at ethereum/hevm
deleted branch check-copyslice at ethereum/hevm
deleted branch fix-off-by-one at ethereum/hevm
deleted branch fixing-memout at ethereum/hevm
deleted branch fix-bad-ffi at ethereum/hevm
deleted branch test-div-smod-mod-by-zero-constants at ethereum/hevm