Activity
Fix monotonic reads correctness bug
Fix monotonic reads correctness bug
Force push
Try getting Vercel to work again?
Try getting Vercel to work again?
Fix monotonic reads correctness bug
Fix monotonic reads correctness bug
oops im using yarn
oops im using yarn
Maybe fix Vercel 404's?
Maybe fix Vercel 404's?
Explainability and Explorability (#2)
Explainability and Explorability (#2)
Pull request merge
Add example tabbing to the main page
Add example tabbing to the main page
keep working through tests
keep working through tests
Almost fix all of the PRAM tests
Almost fix all of the PRAM tests
Linearizability explanations
Linearizability explanations
Listify the explanations
Listify the explanations
Hook it up to the frontend
Hook it up to the frontend
writes follow reads, real time
writes follow reads, real time
a few more predicate results
a few more predicate results
A bit of work on monotonic reads
A bit of work on monotonic reads
More monotonic writes tests
More monotonic writes tests
Add tests, fix bugs
Add tests, fix bugs
just exploring around different things
just exploring around different things
Update README.md
Update README.md
Start outlining animation ideas
Start outlining animation ideas
Remove caveat on the arbitration order
Remove caveat on the arbitration order
Implement ForwardsMotion
Implement ForwardsMotion
Implement (h.proc = i -> Eq(h, s))
Implement (h.proc = i -> Eq(h, s))
Limit infinitely sized serializations with a size constraint
Limit infinitely sized serializations with a size constraint
Maybe fix GitHub katex rendering? pt. 2
Maybe fix GitHub katex rendering? pt. 2
Maybe fix GitHub katex rendering?
Maybe fix GitHub katex rendering?
Fix typo in README and add images
Fix typo in README and add images
Use sub-predicates to make serialization definined more well-formed
Use sub-predicates to make serialization definined more well-formed
Flesh out the formal serialization predicate
Flesh out the formal serialization predicate
Outline the constraints for our serialization strategy, but get stump…
Outline the constraints for our serialization strategy, but get stump…