IBC modules and relayer - Formal specifications and Rust implementation
orientechnologies/orientdb-docs 50
Repository of the entire OrientDB documentation.
framework for evaluating (planet-scale) consensus protocols
Replication of CRDTs
Model-based testing tool
Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
JSON Artifact Translator
Based on http://efficient.github.io/epaxos (morethan5 branch)
lasp-lang/lasp-erlang-client 2
Erlang client for Lasp.
PR opened awslabs/shuttle
<!-- 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.
pr created time in 2 hours
push eventtlaplus-community/tree-sitter-tlaplus
commit sha 8950bfa06e9a4a278dc9a26c97d8eaffac7bf3ca
Support distinction between infix land and conjlist
push time in 9 hours
push eventtlaplus-community/tree-sitter-tlaplus
commit sha fa7f8aaa7d97d2bc1f27bb10b98b9ca87f89c170
Can now handle termination of simple conjlist
push time in 9 hours
push eventtlaplus-community/tree-sitter-tlaplus
commit sha 62f09015250526d2f1f5d06401bf6e93096e4712
Can parse basic conjlist
push time in 10 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
commit sha 9fa369c2a4cfe131a114b3c821197ab879f0d6d2
Pulled bound_op and bound_nonfix_op out into their own rules
push time in 2 days
push eventtlaplus-community/tree-sitter-tlaplus
commit sha e00b4c727d3103b388088ba79ce36da56ce5d6ac
Trying indent/newline/dedent tokens
push time in 2 days
startedcolepeters/spacemacs-theme.vim
started time in 2 days
startedxvxx/shy
started time in 2 days
startedosohq/oso
started time in 2 days
push eventawslabs/shuttle
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.
push time in 3 days
PR merged awslabs/shuttle
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.
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.
comment created 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