Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 16, 2024

• Fix monotonic reads correctness bug

  neilramaswamy

  committed
  32b5778

  Copy full SHA for 32b5778

Commits on May 12, 2024

• oops im using yarn

  neilramaswamy

  committed
  73ae43a

  Copy full SHA for 73ae43a

• Maybe fix Vercel 404's?

  neilramaswamy

  committed
  54c5d0a

  Copy full SHA for 54c5d0a

Commits on May 9, 2024

• Explainability and Explorability (#2)

  Show description for 9cbd907
  neilramaswamy

  authored
  9cbd907

  Copy full SHA for 9cbd907

Commits on Jan 10, 2024

• Update README.md

  neilramaswamy

  authored
  b2cb822

  Copy full SHA for b2cb822

Commits on Jul 26, 2023

• Start outlining animation ideas

  neilramaswamy

  committed
  495ee97

  Copy full SHA for 495ee97

• Remove caveat on the arbitration order

  neilramaswamy

  committed
  2b8bb7e

  Copy full SHA for 2b8bb7e

Commits on Jul 18, 2023

• Implement ForwardsMotion

  neilramaswamy

  committed
  ed91274

  Copy full SHA for ed91274

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

  neilramaswamy

  committed
  7a31ba9

  Copy full SHA for 7a31ba9

• Update some typos for vis constraints, add outstanding functional improvements

  neilramaswamy

  committed
  2157c9c

  Copy full SHA for 2157c9c

Commits on Jul 16, 2023

• Limit infinitely sized serializations with a size constraint

  neilramaswamy

  committed
  6584ce9

  Copy full SHA for 6584ce9

• Maybe fix GitHub katex rendering? pt. 2

  neilramaswamy

  committed
  6fceba0

  Copy full SHA for 6fceba0

• Maybe fix GitHub katex rendering?

  neilramaswamy

  committed
  271ccf2

  Copy full SHA for 271ccf2

• Fix typo in README and add images

  neilramaswamy

  committed
  fc105fc

  Copy full SHA for fc105fc

• Add solid devtools support

  neilramaswamy

  committed
  decd8df

  Copy full SHA for decd8df

• Fix bug of rendering serialization with time by explicitly writing out the serialization

  neilramaswamy

  committed
  9b43660

  Copy full SHA for 9b43660

Commits on Jul 15, 2023

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

  neilramaswamy

  committed
  fbff8af

  Copy full SHA for fbff8af

• Flesh out the formal serialization predicate

  neilramaswamy

  committed
  2eaed47

  Copy full SHA for 2eaed47

• Outline the constraints for our serialization strategy, but get stumped by the formal predicates

  neilramaswamy

  committed
  3b76a30

  Copy full SHA for 3b76a30

• Discuss abstract executions, motivate the serialization model

  neilramaswamy

  committed
  a633f74

  Copy full SHA for a633f74

Commits on Jul 13, 2023

• Update README to the latest plans

  neilramaswamy

  committed
  cbf035d

  Copy full SHA for cbf035d

Commits on Feb 13, 2023

• update to hw2

  neilramaswamy

  committed
  611120b

  Copy full SHA for 611120b

Commits on Feb 8, 2023

• foo -> results-tree

  neilramaswamy

  committed
  fc2f2b0

  Copy full SHA for fc2f2b0

• update position of tree, use client instead of process

  neilramaswamy

  committed
  8a9224a

  Copy full SHA for 8a9224a

Commits on Feb 7, 2023

• no pre

  jlynch630

  committed
  1e84f4c

  Copy full SHA for 1e84f4c

• something!

  jlynch630

  committed
  e16e15c

  Copy full SHA for e16e15c

• Merge branch 'main' of github.com:neilramaswamy/consistency-models

  jlynch630

  committed
  d8c016f

  Copy full SHA for d8c016f

• update

  jlynch630

  committed
  0349d54

  Copy full SHA for 0349d54

Commits on Feb 3, 2023

• update ui of components to be a bit more clear

  neilramaswamy

  committed
  af08fdc

  Copy full SHA for af08fdc

• merge

  neilramaswamy

  committed
  c5bf9a2

  Copy full SHA for c5bf9a2

• use new ClientOrder predicate

  neilramaswamy

  committed
  ffb48ca

  Copy full SHA for ffb48ca

Commits on Jan 26, 2023

• touch!

  jlynch630

  committed
  f2d098e

  Copy full SHA for f2d098e

Commits on Jan 25, 2023

• change opacity

  jlynch630

  committed
  5585e0e

  Copy full SHA for 5585e0e

Commits on Jan 24, 2023

• add more interesting example to front page

  neilramaswamy

  committed
  83babd2

  Copy full SHA for 83babd2

• Remove old slider code

  neilramaswamy

  committed
  5a81fc0

  Copy full SHA for 5a81fc0

Pagination

Previous

Next