Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 23, 2018

• enabled logging in 'valid' function

  isheff

  committed
  0d0a7b2

  Copy full SHA for 0d0a7b2

Commits on Mar 22, 2018

• exported to_recursive functionality

  isheff

  committed
  4869dd8

  Copy full SHA for 4869dd8

• added memoization monads to the verify function

  isheff

  committed
  c178adb

  Copy full SHA for c178adb

Commits on Mar 19, 2018

• rudimentary hand-tests verify that logging works

  isheff

  committed
  ca44493

  Copy full SHA for ca44493

• logging added and compiled, but untested

  isheff

  committed
  4b2548a

  Copy full SHA for 4b2548a

• made basic observer and participant functions log to std out.

  isheff

  committed
  89d90e9

  Copy full SHA for 89d90e9

• added logging capabilities to the hetcons monad, and logging servers to the participant and observer

  isheff

  committed
  f789180

  Copy full SHA for f789180

• added monad-logger to dependencies

  isheff

  committed
  5c5c5c6

  Copy full SHA for 5c5c5c6

Commits on Mar 8, 2018

• exported send_to functionality, as it's useful elsewhere

  isheff

  committed
  37f662e

  Copy full SHA for 37f662e

Commits on Feb 13, 2018

• updated Charlotte

  isheff

  committed
  547200c

  Copy full SHA for 547200c

Commits on Feb 8, 2018

• updated resolver and thrift version

  isheff

  committed
  98cd494

  Copy full SHA for 98cd494

Commits on Oct 24, 2017

• updating Charlotte dependency

  isheff

  committed
  83f4fee

  Copy full SHA for 83f4fee

Commits on Oct 19, 2017

• made it possible to do certain monadic operations in the validity check

  isheff

  committed
  72b29ee

  Copy full SHA for 72b29ee

Commits on Oct 17, 2017

• all tests now pass

  isheff

  committed
  d698364

  Copy full SHA for d698364

• moved Thrift to the Charlotte repo, and everything at least compiles

  isheff

  committed
  56549b4

  Copy full SHA for 56549b4

Commits on Oct 12, 2017

• there are now appropriate tests for Witnesses

  isheff

  committed
  1c489ec

  Copy full SHA for 1c489ec

• existing tests now all pass

  isheff

  committed
  4e36368

  Copy full SHA for 4e36368

• added witness to invalid proposal_1a error message

  isheff

  committed
  32cf2fd

  Copy full SHA for 32cf2fd

• naively added witness to 1a and 1b calls, and it compiles, but tests will not (yet)

  isheff

  committed
  c385c38

  Copy full SHA for c385c38

Commits on Oct 11, 2017

• I have added witness arguments to the 1a and 1bs. These are separate arguments to indicate that they are not involved in the message build-up that creates proofs of consensus. My intention is that …

  Show description for 11656e5
  isheff

  committed
  11656e5

  Copy full SHA for 11656e5

• more elegant way of not re-receiving 1as and 1bs

  isheff

  committed
  9c164bd

  Copy full SHA for 9c164bd

• Receive 1a and 1b were needlessly re-receiving messages they'd seen before. I fixed that.

  isheff

  committed
  d0c986b

  Copy full SHA for d0c986b

• finished removing unnecesary quorum equality checks (I think)

  isheff

  committed
  439836b

  Copy full SHA for 439836b

• removed unnecessary quorums check from Receive 1b, and replaced it with a conflicts check

  isheff

  committed
  867cda2

  Copy full SHA for 867cda2

• Merge branch 'missing-methods' into remove-remaining-quorums-equality

  isheff

  committed
  c72b1d9

  Copy full SHA for c72b1d9

• derived missing methods

  isheff

  committed
  1decd35

  Copy full SHA for 1decd35

Commits on Oct 10, 2017

• minor cosmetic cleanup

  isheff

  committed
  9cbe8e0

  Copy full SHA for 9cbe8e0

• I have re-created the seemingly infinite loop bug in receive 1a. This seems to happen when I go to check for conflicting ballots, rather than ballots with the same observers

  isheff

  committed
  4d80b42

  Copy full SHA for 4d80b42

• changed requirement that all 1Bs in a 2B feature identical observers to a requirement that they feature an identical 1A

  isheff

  committed
  d28f8a7

  Copy full SHA for d28f8a7

• removed a quorums equality check which is no longer necessary

  isheff

  committed
  fd335b9

  Copy full SHA for fd335b9

Commits on Oct 9, 2017

• observers_proven is now better. This means we're doing some unnecessary work to clean up Proof_of_Consensus before sending it off to Observer_Proven, but this makes more succinct proofs anyway, so …

  Show description for 2b2149f
  isheff

  committed
  2b2149f

  Copy full SHA for 2b2149f

• solved failure to recognize consensus problem for now: we should change Receive.hs so it doesn't just use intersection (see TODO in that file)

  isheff

  committed
  fa69f78

  Copy full SHA for fa69f78

Commits on Sep 21, 2017

• everything compiles, and all tests pass

  isheff

  committed
  764e34c

  Copy full SHA for 764e34c

• Test.Observer compiles

  isheff

  committed
  2df2394

  Copy full SHA for 2df2394

• Test.Participant compiles

  isheff

  committed
  58d8871

  Copy full SHA for 58d8871

Pagination

Previous

Next