Programming Languages Research Group: Git - iotcloud.git/history

2016-07-12	rtrimana	Replacing primes with subscripts for MaxSlot and MinSlot	blob \| commitdiff \| raw
2016-07-12	rtrimana	Adding empty set as another return value for a true...	blob \| commitdiff \| raw \| diff to current
2016-07-12	rtrimana	Using \tuple{} for expressing tuples	blob \| commitdiff \| raw \| diff to current
2016-07-12	rtrimana	Adding helper functions for server part; cleaning up	blob \| commitdiff \| raw \| diff to current
2016-07-11	rtrimana	Cleaning up PutSlot function	blob \| commitdiff \| raw \| diff to current
2016-07-11	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2016-07-11	rtrimana	Renaming Get and Put into GetSlot and PutSlot; Cleaning...	blob \| commitdiff \| raw \| diff to current
2016-07-11	bdemsky	clean up some definitions plus get function	blob \| commitdiff \| raw \| diff to current
2016-07-11	rtrimana	Server algorithm revised - two basic functions, e.g...	blob \| commitdiff \| raw \| diff to current
2016-07-07	rtrimana	Adding client algorithm; modifying some parts of server...	blob \| commitdiff \| raw \| diff to current
2016-07-06	rtrimana	Adding server algorithm	blob \| commitdiff \| raw \| diff to current
2016-07-05	bdemsky	more comments	blob \| commitdiff \| raw \| diff to current
2016-07-05	bdemsky	add notes	blob \| commitdiff \| raw \| diff to current
2016-07-05	rtrimana	Completing login and key management (part 1.1)	blob \| commitdiff \| raw \| diff to current
2016-06-30	rtrimana	Give more explanations on data entries, add a few punct...	blob \| commitdiff \| raw \| diff to current
2016-06-29	bdemsky	Force proof on failed write	blob \| commitdiff \| raw \| diff to current
2016-06-29	bdemsky	typo	blob \| commitdiff \| raw \| diff to current
2016-06-29	bdemsky	Add document	blob \| commitdiff \| raw \| diff to current

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

RSS Atom