profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/vitorenesduarte/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Vitor Enes vitorenesduarte https://vitorenes.org PhD student @haslab. CRDTs. Consensus. Formal Methods. Rust.

informalsystems/ibc-rs 95

IBC modules and relayer - Formal specifications and Rust implementation

orientechnologies/orientdb-docs 50

Repository of the entire OrientDB documentation.

vitorenesduarte/fantoch 49

framework for evaluating (planet-scale) consensus protocols

vitorenesduarte/ldb 33

Replication of CRDTs

informalsystems/modelator 19

Model-based testing tool

vitorenesduarte/exp 11

Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb

informalsystems/jsonatr 6

JSON Artifact Translator

otrack/epaxos 4

Based on http://efficient.github.io/epaxos (morethan5 branch)

lasp-lang/lasp-erlang-client 2

Erlang client for Lasp.

PR opened awslabs/shuttle

Fix a Clippy lint

<!-- Enter your PR description here -->


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

+1 -1

0 comment

1 changed file

pr created time in 2 hours

release tokio-rs/tokio

tokio-1.7.1

released time in 3 hours

release dtolnay/cargo-tally

0.3.3

released time in 6 hours

release dtolnay/cargo-tally

0.3.2

released time in 6 hours

push eventtlaplus-community/tree-sitter-tlaplus

Andrew Helwer

commit sha 8950bfa06e9a4a278dc9a26c97d8eaffac7bf3ca

Support distinction between infix land and conjlist

view details

push time in 9 hours

fork jonhoo/anyhow

Flexible concrete Error type built on std::error::Error

fork in 9 hours

push eventtlaplus-community/tree-sitter-tlaplus

Andrew Helwer

commit sha fa7f8aaa7d97d2bc1f27bb10b98b9ca87f89c170

Can now handle termination of simple conjlist

view details

push time in 9 hours

push eventtlaplus-community/tree-sitter-tlaplus

Andrew Helwer

commit sha 62f09015250526d2f1f5d06401bf6e93096e4712

Can parse basic conjlist

view details

push time in 10 hours

release dtolnay/erased-serde

0.3.16

released time in 12 hours

startedmatthieu-m/static-rc

started time in 13 hours

startedlemmy/ewd998

started time in 16 hours

startedtomnomnom/gron

started time in 18 hours

startedmit-pdos/noria

started time in a day

startedsudheesh001/ODoH-Artifacts

started time in a day

startedcloudflare/odoh-server-go

started time in a day

startedEmbarkStudios/discord-sdk

started time in a day

push eventtlaplus-community/tree-sitter-tlaplus

Andrew Helwer

commit sha 9fa369c2a4cfe131a114b3c821197ab879f0d6d2

Pulled bound_op and bound_nonfix_op out into their own rules

view details

push time in 2 days

push eventtlaplus-community/tree-sitter-tlaplus

Andrew Helwer

commit sha e00b4c727d3103b388088ba79ce36da56ce5d6ac

Trying indent/newline/dedent tokens

view details

push time in 2 days

startedcolepeters/spacemacs-theme.vim

started time in 2 days

startedxvxx/shy

started time in 2 days

release dtolnay/cargo-tally

0.3.1

released time in 2 days

release dtolnay/cargo-tally

0.3.0

released time in 2 days

startedosohq/oso

started time in 2 days

push eventawslabs/shuttle

James Bornholt

commit sha 97032a01a03269ccb2d305267f58352a4a686c01

Add option to not persist failures Sometimes we don't want to print failures (most notably when replaying a schedule that we already know fails). This change adds an additional setting for the existing `failure_persistence` config that disables printing failing schedules entirely. It also changes the File variant of that config to be an anonymous struct, since its meaning is pretty clear.

view details

push time in 3 days

PR merged awslabs/shuttle

Add option to not persist failures

Sometimes we don't want to print failures (most notably when replaying a schedule that we already know fails). This change adds an additional setting for the existing failure_persistence config that disables printing failing schedules entirely. It also changes the File variant of that config to be an anonymous struct, since its meaning is pretty clear.

<!-- Enter your PR description here -->


By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

+31 -12

0 comment

4 changed files

jamesbornholt

pr closed time in 3 days

Pull request review commentawslabs/shuttle

Add option to not persist failures

 fn replay_deadlock3_drop_mutex() {     let runner = Runner::new(scheduler, Default::default());     runner.run(deadlock_3); }++// Check that FailurePersistence::None does not print a schedule+#[test]+fn replay_persist_none() {+    let result = panic::catch_unwind(|| {+        let scheduler = PctScheduler::new(2, 100);+        let mut config = Config::new();+        config.failure_persistence = FailurePersistence::None;+        let runner = Runner::new(scheduler, config);+        runner.run(concurrent_increment_buggy);+    })+    .expect_err("test should panic");+    let output = result.downcast::<String>().unwrap();+    assert!(output.contains("counter is wrong"));+    // All our current failure persistence modes print the word "schedule", so check that's missing

Yeah, I was thinking the same but wasn’t really sure how to do it. Even testing this at all seemed like overkill anyway, so I think we’re fine with it being potentially a bit fragile.

jamesbornholt

comment created time in 3 days

release nats-io/nats.rs

0.9.18

released time in 3 days

startedjamii/dida

started time in 3 days

startedjamii/imp

started time in 3 days

startedjoanapereira115/cmdb-auto-creation

started time in 3 days