avatar

David Pearce

Author of the Whiley programming language. Researcher in Smart Contracts @ ConsenSys. Interests include formal verification, compilers, and static analysis.

Joined on Nov, 201077 repositories

Pull Requests

767

Code Reviews

226

Activity Feed (Latest 20)

!

created a branch 1061-fix-issue-with-assignment-resolution in Consensys/go-corset

8 hours ago
!

opened an issue in Consensys/go-corset

8 hours ago

pushed to main in Consensys/go-corset

9 hours ago

deleted branch 1058-fix-missing-range-constraints-in-asm at Consensys/go-corset

9 hours ago
!

closed an issue in Consensys/go-corset

9 hours ago

merged a pull request in Consensys/go-corset

9 hours ago

pushed to 1060-feat-improve-formatted-lisp-output in Consensys/go-corset

9 hours ago

pushed to 1060-feat-improve-formatted-lisp-output in Consensys/go-corset

9 hours ago

created a branch 1060-feat-improve-formatted-lisp-output in Consensys/go-corset

10 hours ago
!

opened an issue in Consensys/go-corset

10 hours ago

opened a pull request in Consensys/go-corset

10 hours ago

pushed to 1058-fix-missing-range-constraints-in-asm in Consensys/go-corset

10 hours ago

created a branch 1058-fix-missing-range-constraints-in-asm in Consensys/go-corset

11 hours ago
!

opened an issue in Consensys/go-corset

11 hours ago

pushed to 2156-feat-support-assembly-implementation-of-add-module in Consensys/linea-tracer

12 hours ago

pushed to 2156-feat-support-assembly-implementation-of-add-module in Consensys/linea-tracer

12 hours ago

deleted branch 1055-feat-test-smaller-ci-runners at Consensys/go-corset

13 hours ago

pushed to main in Consensys/go-corset

13 hours ago
!

closed an issue in Consensys/go-corset

13 hours ago

merged a pull request in Consensys/go-corset

13 hours ago