avatar

Hernán Vanzetto

Distributed systems · Formal verification

Joined on Oct, 201512 repositories

Pull Requests

219

Code Reviews

820

Activity Feed (Latest 20)

!

commented on issue informalsystems/malachite#1135

5 days ago

pushed to hvanz/sync-batching in informalsystems/malachite

8 days ago

commented on pull request informalsystems/malachite#1130

8 days ago

reviewed a pull request in informalsystems/malachite

8 days ago

commented on pull request informalsystems/malachite#1130

8 days ago

reviewed a pull request in informalsystems/malachite

8 days ago

commented on pull request informalsystems/malachite#1130

8 days ago

reviewed a pull request in informalsystems/malachite

8 days ago

commented on pull request informalsystems/malachite#1130

8 days ago

reviewed a pull request in informalsystems/malachite

8 days ago

pushed to hvanz/sync-batching in informalsystems/malachite

8 days ago

pushed to main in informalsystems/malaketh-layered

8 days ago

merged a pull request in informalsystems/malaketh-layered

8 days ago

pushed to main in informalsystems/malaketh-layered

8 days ago

merged a pull request in informalsystems/malaketh-layered

8 days ago

pushed to main in informalsystems/malaketh-layered

8 days ago

merged a pull request in informalsystems/malaketh-layered

8 days ago

pushed to main in informalsystems/malaketh-layered

8 days ago

merged a pull request in informalsystems/malaketh-layered

8 days ago

pushed to hvanz/sync-batching in informalsystems/malachite

10 days ago