Skip to content

Activity

fix tlc launcher

fhackettpushed 1 commit to fhackett-tracelink • 671b198…b7397d8 • 
yesterday

progress-inv param

fhackettpushed 2 commits to fhackett-tracelink • cadf944…671b198 • 
2 days ago

ensure at least 10 traces for raftkvs

fhackettpushed 3 commits to fhackett-tracelink • f0e3899…cadf944 • 
3 days ago

add vclock skip

fhackettpushed 2 commits to fhackett-tracelink • e283664…f0e3899 • 
3 days ago

validate_normal collection, fix timeouts

fhackettpushed 1 commit to fhackett-tracelink • 07089b5…e283664 • 
9 days ago

fix .out filename

fhackettpushed 1 commit to fhackett-tracelink • c019685…07089b5 • 
10 days ago

fix trace harvester delete call

fhackettpushed 1 commit to fhackett-tracelink • df4ecd0…c019685 • 
10 days ago

fix TLC workdir printing error

fhackettpushed 1 commit to fhackett-tracelink • 593ae55…df4ecd0 • 
10 days ago

harvest traces 1-5, fix timeout spec bug

fhackettpushed 1 commit to fhackett-tracelink • 1e59ff8…593ae55 • 
10 days ago

fix CI script

fhackettpushed 1 commit to fhackett-tracelink • 4b0af78…1e59ff8 • 
11 days ago

raftkvs validates now

fhackettpushed 3 commits to fhackett-tracelink • c307767…4b0af78 • 
11 days ago

more testing, fix 1 problem with raftkvs

fhackettpushed 1 commit to fhackett-tracelink • 801c2d8…c307767 • 
15 days ago

implement aborts, progress invariants

Force push
fhackettforce pushed to fhackett-tracelink • 14ed8a2…801c2d8 • 
16 days ago

implement aborts, progress invariants

fhackettpushed 1 commit to fhackett-tracelink • cca5879…14ed8a2 • 
16 days ago

more specific scalafmt

fhackettpushed 1 commit to fhackett-tracelink • ac62558…cca5879 • 
19 days ago

add go.work, tentatively fix imprecise vclock on var read

fhackettpushed 3 commits to fhackett-tracelink • 69bba4c…ac62558 • 
19 days ago

update README

fhackettpushed 1 commit to fhackett-tracelink • e2c9b4c…69bba4c • 
on Feb 20

WIP: systematic tracing tests

fhackettpushed 1 commit to fhackett-tracelink • 0e85b87…e2c9b4c • 
on Feb 19

MPCal inference working

fhackettpushed 2 commits to fhackett-tracelink • 90f2cb5…0e85b87 • 
on Feb 18

WIP: trace harvester

Force push
fhackettforce pushed to fhackett-tracelink • 0feab01…90f2cb5 • 
on Feb 10

WIP: trace harvester

fhackettpushed 1 commit to fhackett-tracelink • a68f93c…0feab01 • 
on Feb 10

env variable tracing config

fhackettpushed 2 commits to fhackett-tracelink • 8a6f6f9…a68f93c • 
on Feb 4

fix race condition in crdt

fhackettpushed 1 commit to fhackett-tracelink • f640f8b…8a6f6f9 • 
on Feb 4

snapshot: partial clock sink impl

fhackettpushed 3 commits to fhackett-tracelink • fdfeea3…f640f8b • 
on Feb 3

fix proxy system

fhackettpushed 1 commit to fhackett-tracelink • bc28d71…fdfeea3 • 
on Jan 16

remove incorrect tracing directives

fhackettpushed 1 commit to fhackett-tracelink • 9aacfdd…bc28d71 • 
on Jan 16

fix CI by disabling fuzz tests

fhackettpushed 1 commit to fhackett-tracelink • 01181da…9aacfdd • 
on Jan 16

add TLA+ toolbox to CI

fhackettpushed 1 commit to fhackett-tracelink • 28559a0…01181da • 
on Jan 16

snapshot

fhackettpushed 8 commits to fhackett-tracelink • 6d7ae7f…28559a0 • 
on Jan 15

remove 1k connection test

Force push
fhackettforce pushed to main • acf7b72…0008579 • 
on Nov 15, 2024