Programming Languages Research Group: Git

rtrimana [Mon, 11 Jul 2016 16:28:17 +0000 (09:28 -0700)]

Server algorithm revised - two basic functions, e.g. put and get; preliminary writeup for definitions part

rtrimana [Thu, 7 Jul 2016 21:03:52 +0000 (14:03 -0700)]

Adding client algorithm; modifying some parts of server algorithm - first draft

rtrimana [Wed, 6 Jul 2016 17:37:53 +0000 (10:37 -0700)]

Adding server algorithm

bdemsky [Tue, 5 Jul 2016 20:29:09 +0000 (13:29 -0700)]

more comments

bdemsky [Tue, 5 Jul 2016 20:27:55 +0000 (13:27 -0700)]

add notes

rtrimana [Tue, 5 Jul 2016 16:24:23 +0000 (09:24 -0700)]

Completing login and key management (part 1.1)

rtrimana [Thu, 30 Jun 2016 15:36:17 +0000 (08:36 -0700)]

Give more explanations on data entries, add a few punctuations, etc.

bdemsky [Wed, 29 Jun 2016 23:39:31 +0000 (16:39 -0700)]

Force proof on failed write

bdemsky [Wed, 29 Jun 2016 23:31:35 +0000 (16:31 -0700)]

typo

bdemsky [Wed, 29 Jun 2016 06:02:06 +0000 (23:02 -0700)]

Add document

Unnamed repository; edit this file 'description' to name the repository.