projects / iotcloud.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iotcloud.git
2017-05-17 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-17 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-17 Ali YounisPyORAm commit | commitdiff | tree | snapshot
2017-05-17 Ali YounisStuff commit | commitdiff | tree | snapshot
2017-05-16 Ali YounisAdded Android App commit | commitdiff | tree | snapshot
2017-05-16 Ali Younischanges commit | commitdiff | tree | snapshot
2017-05-16 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-16 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-16 Ali YounisFixes commit | commitdiff | tree | snapshot
2017-05-16 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-14 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-14 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-14 Ali YounisChanges commit | commitdiff | tree | snapshot
2017-05-14 Ali YounisEmbeded Benchmark commit | commitdiff | tree | snapshot
2017-05-07 Ali YounisBenchmark readme commit | commitdiff | tree | snapshot
2017-05-07 Ali Younis Benchmark added commit | commitdiff | tree | snapshot
2017-04-25 Ali YounisBenchmark commit | commitdiff | tree | snapshot
2017-04-23 Ali YounisLightbulb benchmark commit | commitdiff | tree | snapshot
2017-02-14 Ali YounisTiming, Attacks commit | commitdiff | tree | snapshot
2017-02-08 Ali YounisFixed bug commit | commitdiff | tree | snapshot
2017-02-03 Ali YounisFixed Rejected Messages, Calculating correct size commit | commitdiff | tree | snapshot
2017-01-31 Ali YounisFixed bugs, local communication HMAC added in commit | commitdiff | tree | snapshot
2017-01-25 Ali YounisEdits commit | commitdiff | tree | snapshot
2017-01-15 Ali YounisLocal communication working commit | commitdiff | tree | snapshot
2017-01-12 Ali YounisLocal communication support commit | commitdiff | tree | snapshot
2017-01-07 Ali YounisBlock Chain Transactions, Commits multiple parts version commit | commitdiff | tree | snapshot
2017-01-04 Ali YounisAdded mutex for thread safety commit | commitdiff | tree | snapshot
2017-01-04 Ali YounisUpdates commit | commitdiff | tree | snapshot
2017-01-03 Ali YounisAPI Changes commit | commitdiff | tree | snapshot
2017-01-01 Ali YounisOffline support added commit | commitdiff | tree | snapshot
2016-12-31 Ali YounisChanged way Guard works, Sped up code commit | commitdiff | tree | snapshot
2016-12-28 Ali YounisSquashed Last bugs commit | commitdiff | tree | snapshot
2016-12-27 Ali YounisFixing Bugs commit | commitdiff | tree | snapshot
2016-12-25 Ali YounisCommits working, Transactions Working, Arbitrations... commit | commitdiff | tree | snapshot
2016-12-21 Ali YounisCleaned up git commit | commitdiff | tree | snapshot
2016-12-21 Ali YounisCleaned up git commit | commitdiff | tree | snapshot
2016-12-21 Ali YounisDeleted Redundent Files commit | commitdiff | tree | snapshot
2016-12-02 Ali YounisInitial Working version of IoTCloudv2, needs more testing commit | commitdiff | tree | snapshot
2016-12-01 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-12-01 Ali YounisFixes to tex doc; Code Updates commit | commitdiff | tree | snapshot
2016-11-22 Ali YounisTex typo issues, Code commit | commitdiff | tree | snapshot
2016-11-18 Ali YounisEdits to the new block chain docs commit | commitdiff | tree | snapshot
2016-11-18 Ali YounisInitial commit of code for new version of block chain... commit | commitdiff | tree | snapshot
2016-11-17 Ali YounisUpdates to docs commit | commitdiff | tree | snapshot
2016-11-15 Ali YounisInformal Updates commit | commitdiff | tree | snapshot
2016-11-08 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-11-03 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-11-03 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-11-01 Ali YounisRevisions commit | commitdiff | tree | snapshot
2016-11-01 Ali YounisRevisions commit | commitdiff | tree | snapshot
2016-11-01 Ali Younisblock chain new doc commit | commitdiff | tree | snapshot
2016-10-17 Ali YounisEdits commit | commitdiff | tree | snapshot
2016-10-17 Ali YounisUpdates commit | commitdiff | tree | snapshot
2016-10-16 JordanDicksonAdded first draft of the System Correctness section commit | commitdiff | tree | snapshot
2016-10-15 Ali YounisAdded to formal part commit | commitdiff | tree | snapshot
2016-10-15 Ali YounisFormal Document edits commit | commitdiff | tree | snapshot
2016-10-14 Ali YounisUpdates commit | commitdiff | tree | snapshot
2016-10-14 Ali YounisFormal Edits commit | commitdiff | tree | snapshot
2016-10-13 Ali YounisFormal Edits commit | commitdiff | tree | snapshot
2016-10-11 Ali YounisFormal Version commit | commitdiff | tree | snapshot
2016-10-10 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-10-10 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-10-09 Ali YounisChanges commit | commitdiff | tree | snapshot
2016-10-04 Ali YounisAdded to guarantees commit | commitdiff | tree | snapshot
2016-10-03 Ali YounisAdded Guarantees section commit | commitdiff | tree | snapshot
2016-10-02 Ali YounisAdded some ignores for the version 2 docs commit | commitdiff | tree | snapshot
2016-10-02 Ali YounisAdded to version 2 docs commit | commitdiff | tree | snapshot
2016-09-30 Ali YounisVersion 2 docs commit | commitdiff | tree | snapshot
2016-08-22 rtrimanaAdding rollback/mismatch detection when updating last... commit | commitdiff | tree | snapshot
2016-08-22 rtrimanaComputing expected size; refactoring code into function... commit | commitdiff | tree | snapshot
2016-08-22 rtrimanaRefactoring HMAC checks, replacing de type checks with... commit | commitdiff | tree | snapshot
2016-08-18 tkwaCommented Java code commit | commitdiff | tree | snapshot
2016-08-18 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-18 tkwaMore minor edits to pseudocode commit | commitdiff | tree | snapshot
2016-08-16 rtrimanaMore clean-ups for proof part commit | commitdiff | tree | snapshot
2016-08-16 rtrimanaCleaning up proof part commit | commitdiff | tree | snapshot
2016-08-16 rtrimanaCleaning up proof part commit | commitdiff | tree | snapshot
2016-08-16 tkwaMinor edits commit | commitdiff | tree | snapshot
2016-08-12 tkwaRestructured proof; should be complete now commit | commitdiff | tree | snapshot
2016-08-09 rtrimanaAdding more error messages for slots range commit | commitdiff | tree | snapshot
2016-08-08 rtrimanaTypo in procedure call for checks on slots commit | commitdiff | tree | snapshot
2016-08-08 rtrimanaAdding checks to slots range when reading commit | commitdiff | tree | snapshot
2016-08-08 rtrimanaA few more minor fixes in proof 2.2.2 commit | commitdiff | tree | snapshot
2016-08-08 rtrimanaFixing case 2.2.1 that we store the collision winners... commit | commitdiff | tree | snapshot
2016-08-08 rtrimanaFixing SM list mechanism as it is checked against cr... commit | commitdiff | tree | snapshot
2016-08-05 rtrimanaReconciling pseudocode and formal guarantees - part 1 commit | commitdiff | tree | snapshot
2016-08-05 rtrimanaFormatting and detailing definitions for formal guarantees commit | commitdiff | tree | snapshot
2016-08-05 joelbandiMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-05 joelbandiadded Rejected message commit | commitdiff | tree | snapshot
2016-08-05 rtrimanaMore clean-ups on functions commit | commitdiff | tree | snapshot
2016-08-04 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-04 rtrimanaRefining and rechecking liveness; fixing things in... commit | commitdiff | tree | snapshot
2016-08-04 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-04 tkwaFurther changes to Lemma 1; still not done commit | commitdiff | tree | snapshot
2016-08-04 rtrimanaAdding liveness and more states - half baked, need... commit | commitdiff | tree | snapshot
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-03 joelbandiKeyvalue.js commit | commitdiff | tree | snapshot
2016-08-03 rtrimanaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2016-08-03 tkwaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.