Loading...
Loading...
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
closed issue in Z3Prover/z3
February 4th, 2026 9:38 PM
IssueCommentEvent on Z3Prover/z3
February 4th, 2026 9:38 PM
merged pull request in Z3Prover/z3
February 4th, 2026 5:52 PM
Pushed to lws at Z3Prover/z3
February 4th, 2026 4:02 PM
opened pull request in Z3Prover/z3
February 4th, 2026 3:38 PM
Pushed to lws at Z3Prover/z3
February 4th, 2026 3:32 PM
Pushed to lws at Z3Prover/z3
February 3rd, 2026 10:14 PM
Pushed to lws at Z3Prover/z3
February 3rd, 2026 8:01 PM
Pushed to lws at Z3Prover/z3
February 3rd, 2026 6:02 PM
Pushed to lws at Z3Prover/z3
February 3rd, 2026 2:45 AM