Skip to content

Activity

Fix monotonic reads correctness bug

Force push
neilramaswamyforce pushed to main • ebba4d3…32b5778 • 
on Oct 16, 2024

Try getting Vercel to work again?

neilramaswamypushed 1 commit to main • 32b5778…ebba4d3 • 
on Oct 16, 2024

Fix monotonic reads correctness bug

neilramaswamypushed 1 commit to main • 73ae43a…32b5778 • 
on Oct 16, 2024

oops im using yarn

neilramaswamypushed 1 commit to main • 54c5d0a…73ae43a • 
on May 12, 2024

Maybe fix Vercel 404's?

neilramaswamypushed 1 commit to main • 9cbd907…54c5d0a • 
on May 12, 2024

Explainability and Explorability (#2)

Pull request merge
neilramaswamypushed 1 commit to main • b2cb822…9cbd907 • 
on May 9, 2024

Add example tabbing to the main page

neilramaswamypushed 1 commit to nr/explainability • 78e8d0e…ee17313 • 
on May 9, 2024

keep working through tests

neilramaswamypushed 1 commit to nr/explainability • 163c238…78e8d0e • 
on May 9, 2024

Almost fix all of the PRAM tests

neilramaswamypushed 1 commit to nr/explainability • 9fa967a…163c238 • 
on May 6, 2024

Linearizability explanations

neilramaswamypushed 1 commit to nr/explainability • 0a8651e…9fa967a • 
on May 5, 2024

Listify the explanations

neilramaswamypushed 1 commit to nr/explainability • 36d1bf5…0a8651e • 
on May 5, 2024

Hook it up to the frontend

neilramaswamypushed 1 commit to nr/explainability • 7e39972…36d1bf5 • 
on May 5, 2024

writes follow reads, real time

neilramaswamypushed 1 commit to nr/explainability • a188ceb…7e39972 • 
on May 5, 2024

a few more predicate results

neilramaswamypushed 1 commit to nr/explainability • 1766044…a188ceb • 
on May 4, 2024

A bit of work on monotonic reads

neilramaswamypushed 1 commit to nr/explainability • 0751227…1766044 • 
on Apr 25, 2024

More monotonic writes tests

neilramaswamypushed 1 commit to nr/explainability • f485cfa…0751227 • 
on Apr 23, 2024

Add tests, fix bugs

neilramaswamypushed 1 commit to nr/explainability • 6d48b22…f485cfa • 
on Apr 22, 2024

just exploring around different things

neilramaswamycreated nr/explainability • 6d48b22 • 
on Apr 22, 2024

Update README.md

neilramaswamypushed 1 commit to main • 495ee97…b2cb822 • 
on Jan 10, 2024

Start outlining animation ideas

neilramaswamypushed 1 commit to main • 2b8bb7e…495ee97 • 
on Jul 26, 2023

Remove caveat on the arbitration order

neilramaswamypushed 1 commit to main • ed91274…2b8bb7e • 
on Jul 26, 2023

Implement ForwardsMotion

neilramaswamypushed 1 commit to main • 7a31ba9…ed91274 • 
on Jul 18, 2023

Implement (h.proc = i -> Eq(h, s))

neilramaswamypushed 2 commits to main • 6584ce9…7a31ba9 • 
on Jul 18, 2023

Limit infinitely sized serializations with a size constraint

neilramaswamypushed 1 commit to main • 6fceba0…6584ce9 • 
on Jul 16, 2023

Maybe fix GitHub katex rendering? pt. 2

neilramaswamypushed 1 commit to main • 271ccf2…6fceba0 • 
on Jul 16, 2023

Maybe fix GitHub katex rendering?

neilramaswamypushed 1 commit to main • fc105fc…271ccf2 • 
on Jul 16, 2023

Fix typo in README and add images

neilramaswamypushed 3 commits to main • fbff8af…fc105fc • 
on Jul 16, 2023

Use sub-predicates to make serialization definined more well-formed

neilramaswamypushed 1 commit to main • 2eaed47…fbff8af • 
on Jul 15, 2023

Flesh out the formal serialization predicate

neilramaswamypushed 1 commit to main • 3b76a30…2eaed47 • 
on Jul 15, 2023

Outline the constraints for our serialization strategy, but get stump…

neilramaswamypushed 1 commit to main • a633f74…3b76a30 • 
on Jul 15, 2023