avatar

Hernán Vanzetto

Distributed systems · Formal verification

Joined on Oct, 201512 repositories

Pull Requests

218

Code Reviews

816

Top Repositories

#
Repository
Stars
Forks
Issues (open)
Contributors

Activity Feed (latest 50)

opened an issue in informalsystems/snapchain-e2e

Jul 1, 2025, 10:52 AM

merged a pull request in informalsystems/snapchain-e2e

Jun 30, 2025, 7:59 AM

pushed to main in informalsystems/snapchain-e2e

Jun 30, 2025, 7:59 AM

closed an issue in informalsystems/snapchain-e2e

Jun 30, 2025, 7:59 AM

commented on pull request informalsystems/snapchain-e2e#24

Jun 27, 2025, 10:58 AM

reviewed a pull request in informalsystems/snapchain-e2e

Jun 27, 2025, 10:58 AM

commented on pull request informalsystems/snapchain-e2e#24

Jun 27, 2025, 10:57 AM

reviewed a pull request in informalsystems/snapchain-e2e

Jun 27, 2025, 10:57 AM

pushed to hvanz/fix-signing-key-generate in informalsystems/snapchain-e2e

Jun 27, 2025, 8:10 AM

created a branch hvanz/fix-signing-key-generate in informalsystems/snapchain-e2e

Jun 27, 2025, 8:08 AM

opened a pull request in informalsystems/snapchain-e2e

Jun 27, 2025, 7:41 AM

created a branch hvanz/spammer in informalsystems/snapchain-e2e

Jun 27, 2025, 7:36 AM

pushed to main in informalsystems/snapchain-e2e

Jun 27, 2025, 7:33 AM

pushed to main in informalsystems/snapchain-e2e

Jun 26, 2025, 3:51 PM

pushed to main in informalsystems/snapchain-e2e

Jun 26, 2025, 3:51 PM

pushed to main in informalsystems/snapchain-e2e

Jun 26, 2025, 7:32 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 24, 2025, 3:14 PM

commented on pull request informalsystems/malachite#1095

Jun 24, 2025, 3:11 PM

reviewed a pull request in informalsystems/malachite

Jun 24, 2025, 3:11 PM

deleted branch hvanz/sync-batching-simplify-protos at informalsystems/malachite

Jun 24, 2025, 8:02 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 24, 2025, 8:02 AM

merged a pull request in informalsystems/malachite

Jun 24, 2025, 8:02 AM

commented on pull request informalsystems/malachite#1104

Jun 23, 2025, 2:06 PM

reviewed a pull request in informalsystems/malachite

Jun 23, 2025, 2:06 PM

commented on issue informalsystems/malachite#1104

Jun 23, 2025, 12:57 PM

pushed to hvanz/sync-batching-simplify-app-api in informalsystems/malachite

Jun 18, 2025, 10:14 PM

pushed to hvanz/sync-batching-simplify-app-api in informalsystems/malachite

Jun 18, 2025, 6:50 PM

pushed to hvanz/sync-batching-simplify-protos in informalsystems/malachite

Jun 17, 2025, 5:07 PM

pushed to hvanz/sync-batching-simplify-protos in informalsystems/malachite

Jun 17, 2025, 4:10 PM

reviewed a pull request in informalsystems/malachite

Jun 17, 2025, 3:32 PM

opened a pull request in informalsystems/malachite

Jun 17, 2025, 10:54 AM

pushed to hvanz/sync-batching-simplify-protos in informalsystems/malachite

Jun 17, 2025, 10:51 AM

created a branch hvanz/sync-batching-simplify-protos in informalsystems/malachite

Jun 17, 2025, 10:50 AM

reviewed a pull request in informalsystems/malachite

Jun 17, 2025, 9:47 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 17, 2025, 8:37 AM

commented on pull request informalsystems/malachite#1082

Jun 16, 2025, 1:49 PM

reviewed a pull request in informalsystems/malachite

Jun 16, 2025, 1:49 PM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 16, 2025, 11:28 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 16, 2025, 10:03 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 16, 2025, 9:58 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 16, 2025, 8:04 AM

pushed to bastien/sync-batching in informalsystems/malachite

Jun 16, 2025, 8:01 AM

pushed to main in informalsystems/snapchain-e2e

Jun 12, 2025, 9:13 AM

closed an issue in informalsystems/snapchain-e2e

Jun 12, 2025, 9:13 AM

merged a pull request in informalsystems/snapchain-e2e

Jun 12, 2025, 9:13 AM

commented on pull request informalsystems/snapchain-e2e#23

Jun 12, 2025, 9:12 AM

reviewed a pull request in informalsystems/snapchain-e2e

Jun 12, 2025, 9:12 AM

commented on pull request informalsystems/malachite#1071

Jun 11, 2025, 2:53 PM

commented on pull request informalsystems/malachite#1071

Jun 11, 2025, 2:46 PM

commented on pull request informalsystems/malachite#1071

Jun 11, 2025, 2:35 PM