Programming Languages Research Group: Git

2016-08-22	rtrimana	Refactoring HMAC checks, replacing de type checks with...	commit \| commitdiff \| tree
2016-08-16	rtrimana	More clean-ups for proof part	commit \| commitdiff \| tree
2016-08-16	rtrimana	Cleaning up proof part	commit \| commitdiff \| tree
2016-08-16	rtrimana	Cleaning up proof part	commit \| commitdiff \| tree
2016-08-09	rtrimana	Adding more error messages for slots range	commit \| commitdiff \| tree
2016-08-08	rtrimana	Typo in procedure call for checks on slots	commit \| commitdiff \| tree
2016-08-08	rtrimana	Adding checks to slots range when reading	commit \| commitdiff \| tree
2016-08-08	rtrimana	A few more minor fixes in proof 2.2.2	commit \| commitdiff \| tree
2016-08-08	rtrimana	Fixing case 2.2.1 that we store the collision winners...	commit \| commitdiff \| tree
2016-08-08	rtrimana	Fixing SM list mechanism as it is checked against cr...	commit \| commitdiff \| tree
2016-08-05	rtrimana	Reconciling pseudocode and formal guarantees - part 1	commit \| commitdiff \| tree
2016-08-05	rtrimana	Formatting and detailing definitions for formal guarantees	commit \| commitdiff \| tree
2016-08-05	rtrimana	More clean-ups on functions	commit \| commitdiff \| tree
2016-08-04	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-04	rtrimana	Refining and rechecking liveness; fixing things in...	commit \| commitdiff \| tree
2016-08-04	rtrimana	Adding liveness and more states - half baked, need...	commit \| commitdiff \| tree
2016-08-03	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-03	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-03	rtrimana	Dividing data entry formation into smaller functions...	commit \| commitdiff \| tree
2016-08-02	rtrimana	Adding loop and status updates when putting data entries...	commit \| commitdiff \| tree
2016-08-02	rtrimana	Conflict in an if-statement - merging	commit \| commitdiff \| tree
2016-08-02	rtrimana	Small changes in client reading slots part - to be...	commit \| commitdiff \| tree
2016-08-01	rtrimana	Adding/fixing FastCGI required modules names	commit \| commitdiff \| tree
2016-08-01	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-01	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-01	rtrimana	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2016-08-01	rtrimana	Merging changes	commit \| commitdiff \| tree
2016-07-19	rtrimana	Completing client algorithm (first complete version...	commit \| commitdiff \| tree
2016-07-18	rtrimana	Adding client part that puts slots on server; handling...	commit \| commitdiff \| tree
2016-07-15	rtrimana	Adding collision resolution entry - preserved by checking...	commit \| commitdiff \| tree
2016-07-15	rtrimana	Fixing typo in MinSlot that's getting s_min for slots...	commit \| commitdiff \| tree
2016-07-15	rtrimana	Client read slots algorithm - Cleaning up, adding error...	commit \| commitdiff \| tree
2016-07-14	rtrimana	Revised client algorithm - part that gets slots from...	commit \| commitdiff \| tree
2016-07-12	rtrimana	Replacing primes with subscripts for MaxSlot and MinSlot	commit \| commitdiff \| tree
2016-07-12	rtrimana	Adding empty set as another return value for a true...	commit \| commitdiff \| tree
2016-07-12	rtrimana	Using \tuple{} for expressing tuples	commit \| commitdiff \| tree
2016-07-12	rtrimana	Adding helper functions for server part; cleaning up	commit \| commitdiff \| tree
2016-07-11	rtrimana	Cleaning up PutSlot function	commit \| commitdiff \| tree
2016-07-11	rtrimana	Renaming Get and Put into GetSlot and PutSlot; Cleaning...	commit \| commitdiff \| tree
2016-07-11	rtrimana	Server algorithm revised - two basic functions, e.g...	commit \| commitdiff \| tree
2016-07-07	rtrimana	Adding client algorithm; modifying some parts of server...	commit \| commitdiff \| tree
2016-07-06	rtrimana	Adding server algorithm	commit \| commitdiff \| tree
2016-07-05	rtrimana	Completing login and key management (part 1.1)	commit \| commitdiff \| tree
2016-06-30	rtrimana	Give more explanations on data entries, add a few punctuatio...	commit \| commitdiff \| tree

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

RSS Atom