Code

Transactional consistency#44

Code

Merged

aalnor merged 30 commits intomasterlogsem/aneris:masterfrom transactional_consistencylogsem/aneris:transactional_consistencyCopy head branch name to clipboardDec 29, 2024

+3,918-509

Commits

Commits on Nov 25, 2024

• WIP SI trace proof init client

  aalnor

  committed
  fe1b52e

  Copy full SHA for fe1b52e

• SI trace proof init client operation done

  aalnor

  committed
  13dc4b8

  Copy full SHA for 13dc4b8

Commits on Nov 26, 2024

• WIP SI trace proof start operation

  aalnor

  committed
  3b7a09a

  Copy full SHA for 3b7a09a

Commits on Nov 27, 2024

• SI trace proof start operation done

  aalnor

  committed
  bb3856f

  Copy full SHA for bb3856f

Commits on Dec 1, 2024

• renaming

  aalnor

  committed
  fc8f5f2

  Copy full SHA for fc8f5f2

Commits on Dec 4, 2024

• SI trace proof write operation done

  aalnor

  committed
  e20c9c0

  Copy full SHA for e20c9c0

Commits on Dec 10, 2024

• renaming

  aalnor

  committed
  273b851

  Copy full SHA for 273b851

• refactoring

  aalnor

  committed
  346a5e9

  Copy full SHA for 346a5e9

• refactoring

  aalnor

  committed
  be37791

  Copy full SHA for be37791

Commits on Dec 11, 2024

• added usual adequacy to the trace adequacy theorem

  aalnor

  committed
  c98d847

  Copy full SHA for c98d847

Commits on Dec 12, 2024

• WIP SI trace read

  aalnor

  committed
  81c462a

  Copy full SHA for 81c462a

• WIP SI trace read

  aalnor

  committed
  ef2ae0f

  Copy full SHA for ef2ae0f

Commits on Dec 13, 2024

• WIP SI trace read

  aalnor

  committed
  eab9d6e

  Copy full SHA for eab9d6e

• SI trace read done

  aalnor

  committed
  cce1a0f

  Copy full SHA for cce1a0f

Commits on Dec 16, 2024

• WIP SI trace commit

  aalnor

  committed
  6a1e81d

  Copy full SHA for 6a1e81d

Commits on Dec 17, 2024

• WIP SI trace commit

  aalnor

  committed
  a278886

  Copy full SHA for a278886

• WIP SI trace commit

  aalnor

  committed
  bea3c35

  Copy full SHA for bea3c35

Commits on Dec 18, 2024

• WIP SI trace commit

  aalnor

  committed
  730899c

  Copy full SHA for 730899c

• WIP SI trace commit

  aalnor

  committed
  bb2aee0

  Copy full SHA for bb2aee0

• WIP SI trace commit

  aalnor

  committed
  2bdb8b1

  Copy full SHA for 2bdb8b1

Commits on Dec 19, 2024

• WIP SI trace commit

  aalnor

  committed
  2f11112

  Copy full SHA for 2f11112

Commits on Dec 20, 2024

• WIP SI trace commit

  aalnor

  committed
  04dfa43

  Copy full SHA for 04dfa43

Commits on Dec 21, 2024

• refactoring

  aalnor

  committed
  8ead53a

  Copy full SHA for 8ead53a

Commits on Dec 22, 2024

• WIP SI trace commit

  aalnor

  committed
  658b064

  Copy full SHA for 658b064

Commits on Dec 23, 2024

• WIP SI trace commit

  aalnor

  committed
  22e0fcc

  Copy full SHA for 22e0fcc

• WIP SI trace commit

  aalnor

  committed
  197b921

  Copy full SHA for 197b921

Commits on Dec 24, 2024

• WIP SI trace commit

  aalnor

  committed
  7b812ab

  Copy full SHA for 7b812ab

• WIP SI trace commit

  aalnor

  committed
  e406ccc

  Copy full SHA for e406ccc

Commits on Dec 25, 2024

• SI trace commit done (all trace proofs done)

  aalnor

  committed
  c378afb

  Copy full SHA for c378afb

Commits on Dec 29, 2024

• Merge remote-tracking branch 'origin/master' into transactional_consistency

  aalnor

  committed
  b725dd8

  Copy full SHA for b725dd8