arcz

Follow

Artur Cygan arcz

Follow

69 followers · 16 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report arcz

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

crytic/echidna Public

Ethereum smart contract fuzzer

Solidity 1.9k 243
NixOS/nixpkgs Public

Nix Packages collection

Nix 11.2k 9.1k
dotfiles Public

My own dotfiles and configs

Shell 1
ethereum/hevm Public

symbolic EVM evaluator. https://hevm.dev

Haskell 78 4

247 contributions in the last year

Learn how we count contributions

Contribution activity

January 2023

Created 20 commits in 3 repositories

Created a pull request in ethereum/hevm that received 5 comments

Enable OverloadedRecordDot, NoFieldSelectors and DuplicateRecordFields

Description OverloadedRecordDot is available from 9.2 and allows for nice records access without lens. I think the next step would be to move to so…

+299 −294 • 5 comments

Opened 11 other pull requests in 3 repositories

crytic/echidna 6 merged 1 open

Disable static linking by default Jan 16
Code cleanup Jan 13
Refactor and simplify code to not use Data.Has Jan 11
Match hevm version in flake.nix Jan 10
Use hevm 0.50.2 from nixpkgs Jan 9
New JSON instances for Tx with legacy parsing Jan 6
Update to hevm with regressions fixed Jan 6

ethereum/hevm 3 merged

Implement prank(address) cheatcode Jan 6
Fix SAR arithmetic overflow and copySlice regressions Jan 4
Remove unused deps Jan 1

NixOS/nixpkgs 1 merged

echidna: 2.0.4 -> 2.0.5 Jan 20

Reviewed 6 pull requests in 2 repositories

crytic/echidna 4 pull requests

Code cleanup Jan 13
Refactor and simplify code to not use Data.Has Jan 12
Forcelit when showing address in events Jan 5
Update hevm to 0.50.1 Jan 3

ethereum/hevm 2 pull requests