Skip to content

Meeting 2017 05 19

Jump to bottom
Lennart Oldenburg edited this page May 22, 2017 · 15 revisions

  • Time: 16:15 - 17:30

  • Participants: Tim, Matthias, Lennart

  • Lennart

  • Matthias

    • Organizational things, examination registration started
    • Had a look at Vision, agrees on most parts, maybe kubernetes is a contribution after all
    • Started deployments for pluto and Dovecot on kubernetes, some very tricky environment dependencies will have to be resolved (e.g. mailbox folders)
    • Heavy refactoring still undergoing, DDD style might get adopted

  • Tim

    • Met with Lennart to further discuss Verification
    • First implementation of commutative OR-Set in Isabelle/HOL exists
    • Currently working on implementing IMAP-CRDT in Isabelle/HOL

  • TO:

    • PromCon
      • We will meet on 24/05 at 15:30 to discuss the submission
    • Evaluation
      • Discussed the proposal on Evaluation
      • Some further things to consider

  • ToDos until 2017-05-25

    • Lennart:
      • Send out mail to Dovecot mailing list after all feedback is integrated
      • Finish removing failover node and create a Pull Request to merge changes
      • Start working on move to use gRPC internally
      • Have a look at Tim's Isabelle/HOL code and possibly extend it
    • Matthias:
      • Prepare PromCon submission, think about what exactly we (will) achieve
    • Tim:
Clone this wiki locally