Mate Soos @ Argot

icon indicating a website link https://www.msoos.org

icon company Argot Collective @argotorg icon location Berlin, Germany icon location Formal Verification Engineer at Ethereum Foundation. Personal account: @msoos

Results 4 comments of Mate Soos @ Argot

README guide not working correctly

Hi, I'm having trouble too. Managed to get a bit further. Some helpful stuff below: The directory that eventually gets created is `$GOPATH/pkg/mod/github.com/dvyukov/[email protected]/`. So that needs to be updated in...

Support Cold/Hot Runs, Offline Only Mode and Environment repeatability

Thanks! I think the difference here would/should be relatively minor. We expect timeouts to be in the range of 30-5mins, so such prefetching would/should make very little difference I think?...

chore: arm linux should work

Hi @dzmitry-lahoda is there an update on the way? I'd love to have arm :)

Failure to build Act executable

My initial hunch is that some C++ standard library parts are not being linked in. The `delete` and `new`, etc. missing sounds like a build issue related to C vs...