dzufferey/psync

Issues

• Docker image

  #16 opened 3 years ago by dzufferey
  0

• Bring back the Isabelle integratation for the backend verification (maybe?)

  #15 opened 5 years ago by dzufferey
  0

• Create documentation

  #13 opened 5 years ago by dzufferey
  0

• performance regression after commit f86a3ce5bfa217333e31797b80a0ff737384b488

  #11 opened 6 years ago by dzufferey
  0

• Replace pickling by kryo

  #8 opened 6 years ago by dzufferey
  0

• Fix TCP(_SSL) connection set up

  #9 opened 7 years ago by dzufferey
  1

• Runtime preformance: decrease the memory footprint

  #3 opened 8 years ago by dzufferey
  5

• Runtime performance: reduce the number of threads and the synchronization

  #4 opened 9 years ago by dzufferey
  1

• feedback from POPL AEC

  #2 opened 8 years ago by dzufferey
  5