0000000000000000000000000000000000000000 830589584b5ff07c22f545df693eacb68bc14b67 eliza <eliza@eliza-desktop.(none)> 1403555398 -0400	branch: Created from refs/remotes/origin/rjif
830589584b5ff07c22f545df693eacb68bc14b67 91891dbfcabc016c0c2c1196a590293a8bdc2821 eliza <eliza@eliza-desktop.(none)> 1404140135 -0400	pull: Fast-forward
91891dbfcabc016c0c2c1196a590293a8bdc2821 80f053c37f04f3a64db53302dee6afc4264f9d9f eliza <eliza@eliza-desktop.(none)> 1404226871 -0400	commit: Fixing dynamic riflabels.
80f053c37f04f3a64db53302dee6afc4264f9d9f 346244c85be6c2f277feb53772a068e31a7c3f22 eliza <eliza@eliza-desktop.(none)> 1404415177 -0400	commit: sig-src is fixed. jif labels used in these signatures are converted into
346244c85be6c2f277feb53772a068e31a7c3f22 8f12123ee7e1fbdd8bf206c2e39414ea05b93d38 eliza <eliza@eliza-desktop.(none)> 1404427344 -0400	commit: Modifying RifReaderPolicy.java. relabelsTo needs correction.
8f12123ee7e1fbdd8bf206c2e39414ea05b93d38 083d37220c8976e4c4ff9905401858506b61f499 eliza <eliza@eliza-desktop.(none)> 1404427486 -0400	commit: Correction of previous commit.
083d37220c8976e4c4ff9905401858506b61f499 58e20a622830092effea54e628b935324b0c8905 eliza <eliza@eliza-desktop.(none)> 1404856228 -0400	commit: The implementation of translating rifspecs to java is completed.
58e20a622830092effea54e628b935324b0c8905 b2dc5841547a00f056b0f5f723746eb766ab6279 eliza <eliza@eliza-desktop.(none)> 1405291226 -0400	commit: A dynamic riflabel is successfully translated into java. Two preliminary tests
b2dc5841547a00f056b0f5f723746eb766ab6279 dd63dea4e4e884f5a5a50ec82aebbab98770f75f eliza <eliza@eliza-desktop.(none)> 1406240446 -0400	commit: Successful translation of f(L) expressions into java.
dd63dea4e4e884f5a5a50ec82aebbab98770f75f 281ca8ef7dde1172313d3f94a4d92aa3a0bd08ba eliza <eliza@eliza-desktop.(none)> 1406497420 -0400	commit: Now we support expressions like f(rif[...]) and f({x}).
281ca8ef7dde1172313d3f94a4d92aa3a0bd08ba 32d6e07f87f03a96ae73e058e11f9610fdc7c139 eliza <eliza@eliza-desktop.(none)> 1407183234 -0400	pull: Fast-forward
32d6e07f87f03a96ae73e058e11f9610fdc7c139 4399665adf98c3855df33722653e61844c81b14b eliza <eliza@eliza-desktop.(none)> 1407526617 -0400	commit: Now the solver can deduce from lbl1<=lbl2, that F(lbl1)<=F(lbl2),
4399665adf98c3855df33722653e61844c81b14b 4a81249f98d032c5da09f23b14bd7ad0160f5b46 eliza <eliza@eliza-desktop.(none)> 1407533042 -0400	commit: Support of labels with encapsulated trantions like: {f1(f2(L))}
4a81249f98d032c5da09f23b14bd7ad0160f5b46 93308fb56935c81981810096bc651da9b378a0f5 eliza <eliza@eliza-desktop.(none)> 1408122839 -0400	commit: All current test cases are working correctly.
93308fb56935c81981810096bc651da9b378a0f5 0d3dd34b168c8bff89502157e6fac7d01a8d2c62 eliza <eliza@eliza-desktop.(none)> 1408492540 -0400	commit: Attempt to modify the battleship example.
0d3dd34b168c8bff89502157e6fac7d01a8d2c62 893d5f8e4bb6326dd4604336e90b3c760ddc71b6 eliza <eliza@eliza-desktop.(none)> 1408652590 -0400	commit: Additional modifications to Battleship example.
893d5f8e4bb6326dd4604336e90b3c760ddc71b6 6618ac9c248c0e7eb420b8e1edb1b270d7cf4877 eliza <eliza@eliza-desktop.(none)> 1409093436 -0400	commit: Modification of battleship example to use the least restrictive labels.
6618ac9c248c0e7eb420b8e1edb1b270d7cf4877 605b7906943903d62c78b910c158bd3bfb8c36f8 eliza <eliza@eliza-desktop.(none)> 1409847080 -0400	commit: Battleship is compiled with proper rifspecs for confidentiality.
605b7906943903d62c78b910c158bd3bfb8c36f8 9de50fe3aa5aca25e8419854a6aa142d562597ca eliza <eliza@eliza-desktop.(none)> 1410556882 -0400	commit: Addition of rif-labels for integrity.
9de50fe3aa5aca25e8419854a6aa142d562597ca 255480a86a63446a684a85af6940a1938f8d8f7d eliza <eliza@eliza-desktop.(none)> 1410793132 -0400	pull: Fast-forward
255480a86a63446a684a85af6940a1938f8d8f7d d130796b7fc00fefe73f4e7594a39dbc304d280a eliza <eliza@eliza-desktop.(none)> 1410914587 -0400	commit: The battleship example example works with conf-integ labels,
d130796b7fc00fefe73f4e7594a39dbc304d280a 8d3984be7605f11d8cf1b223b851ba83f9f7f78b eliza <eliza@eliza-desktop.(none)> 1411167815 -0400	commit: Successful compilation of battleship with output channels.
8d3984be7605f11d8cf1b223b851ba83f9f7f78b 74d7fbe435409328889a8c34398e3163f1f9390d eliza <eliza@eliza-desktop.(none)> 1411481192 -0400	pull: Fast-forward
74d7fbe435409328889a8c34398e3163f1f9390d b0095b25828e0b745d057c32ddd9b166714a9356 eliza <eliza@eliza-desktop.(none)> 1412704760 -0400	pull: Fast-forward
b0095b25828e0b745d057c32ddd9b166714a9356 8b7dd1f9993120a302040f5b4e6ab236a046e2f0 eliza <eliza@eliza-desktop.(none)> 1412807522 -0400	commit: Creation of code-skeleton for the calendar application.
8b7dd1f9993120a302040f5b4e6ab236a046e2f0 db0357e658bedc1f5baa8fa66fb531abf1dd4f93 eliza <eliza@eliza-desktop.(none)> 1413756063 -0400	commit: Calendar with operations for conf/integ downgrade/upgrade,
db0357e658bedc1f5baa8fa66fb531abf1dd4f93 db6acc61d2c9f0a1c4d79b539fc8563acd0d7fb3 eliza <eliza@eliza-desktop.(none)> 1413839187 -0400	commit: Calendar compiles in rjif, without label check.
db6acc61d2c9f0a1c4d79b539fc8563acd0d7fb3 6a0808730fe301922c31679a7fdb4627130039fb eliza <eliza@eliza-desktop.(none)> 1414110904 -0400	commit: Adding labels to calendar.
6a0808730fe301922c31679a7fdb4627130039fb 7c513cf878313737505e354106eae508d47b5d48 eliza <eliza@eliza-desktop.(none)> 1414189102 -0400	commit: Adding labels to calendar (2)
7c513cf878313737505e354106eae508d47b5d48 3ba3a8d7bcf212187e4c6843d60dcbec7b03ff93 eliza <eliza@eliza-desktop.(none)> 1414428970 -0400	pull: Fast-forward
3ba3a8d7bcf212187e4c6843d60dcbec7b03ff93 fe925d63a5f946a3e080ab687e81e3f88a7b996a eliza <eliza@eliza-desktop.(none)> 1414452625 -0400	commit: Adding labels to calendar server.
fe925d63a5f946a3e080ab687e81e3f88a7b996a 55ea136e0178700c7700e3d1fc3ccd4ea4d6b3f7 eliza <eliza@eliza-desktop.(none)> 1414452725 -0400	commit: Correction of previous commit.
55ea136e0178700c7700e3d1fc3ccd4ea4d6b3f7 fbc09f43cc6d601277e6fa36d24a626efb1a9490 eliza <eliza@eliza-desktop.(none)> 1415667648 -0500	commit: Traversing list of elements with different labels, without declassification.
fbc09f43cc6d601277e6fa36d24a626efb1a9490 5998f3b60a19f7c17beb2e8c035a3dd1394051e1 eliza <eliza@eliza-desktop.(none)> 1415832509 -0500	commit: - Correction of compiler bug: When a label parameter is instantiated with
5998f3b60a19f7c17beb2e8c035a3dd1394051e1 f8ad689cd8ecbb12335365ab362e4e491ee38370 eliza <eliza@eliza-desktop.(none)> 1416007341 -0500	commit: - Addition of subst method in RifDynamiclabel_c.java.
f8ad689cd8ecbb12335365ab362e4e491ee38370 7423753169071cda12e4e32f769b03b8c7620df8 eliza <eliza@eliza-desktop.(none)> 1416358430 -0500	commit: Correction of transequals method in LabelEnv_c.
7423753169071cda12e4e32f769b03b8c7620df8 32d0aa89bd632b28a48959193a43c6db8d63a911 eliza <eliza@eliza-desktop.(none)> 1416440556 -0500	commit: Compiler: Correction of isBottomConf/isTopConf in rifFSM, to consider just
32d0aa89bd632b28a48959193a43c6db8d63a911 92c38addedb300248057ee66b4fa34f411d65e3f eliza <eliza@eliza-desktop.(none)> 1416510022 -0500	pull: Fast-forward
92c38addedb300248057ee66b4fa34f411d65e3f 3b0fdfe62eb0132e64a778ffc30e2867abe276ec eliza <eliza@eliza-desktop.(none)> 1416525656 -0500	commit: Successful compilation of calendar with print commands.
3b0fdfe62eb0132e64a778ffc30e2867abe276ec 9e9f07ca4a57b4489bdb0b42f89e374cc0850664 eliza <eliza@eliza-desktop.(none)> 1418085332 -0500	commit: Correction of policyToJava at PairLabelToJavaExpr_c,
9e9f07ca4a57b4489bdb0b42f89e374cc0850664 df0361b4ccb88d4a45e019d0267adac0c1d30ba1 eliza <eliza@eliza-desktop.(none)> 1418173471 -0500	commit: Calendar: Creation of events, request of events, acceptance of events,
df0361b4ccb88d4a45e019d0267adac0c1d30ba1 4958e066d100149262fe765c1ac37308ffae6e9c eliza <eliza@eliza-desktop.(none)> 1418928302 -0500	pull: Fast-forward
4958e066d100149262fe765c1ac37308ffae6e9c 685ab5cdfc1bbba006bd6ed653b7fdf47693d3cb eliza <eliza@eliza-desktop.(none)> 1418944750 -0500	commit: Publication of slots and printing of the public view of a calendar compiles
685ab5cdfc1bbba006bd6ed653b7fdf47693d3cb bfca0d60fcc12ac03db03b643c06cd2db13aea9e eliza <eliza@eliza-desktop.(none)> 1419013568 -0500	commit: Compiler:
bfca0d60fcc12ac03db03b643c06cd2db13aea9e 1f0fac69e9886e8694554e7a71e56a5b6438a093 eliza <eliza@eliza-desktop.(none)> 1419023393 -0500	commit: rejectOnConflict compiles (with -simpleoutput) and executes correctly.
1f0fac69e9886e8694554e7a71e56a5b6438a093 5a97294e0c0427a782c849340750d63a5601b800 ekozyri <ekozyri@cs.cornell.edu> 1436470671 -0400	commit: Correction of the integrity policy of ship-coordinates. The initial state
5a97294e0c0427a782c849340750d63a5601b800 3a68ae0fa3f6e81b17cc4b088d3d8bb9753a5944 ekozyri <ekozyri@cs.cornell.edu> 1436487269 -0400	commit: Addition of method checkOnConflict. This is an example of an
3a68ae0fa3f6e81b17cc4b088d3d8bb9753a5944 4e4b0ddf38eba54ce1b5b0beba8f50a4a8d810f8 ekozyri <ekozyri@cs.cornell.edu> 1436566148 -0400	commit: All methods of Server.jif are now fully parametrict to the rifspecs of events.
4e4b0ddf38eba54ce1b5b0beba8f50a4a8d810f8 c5c5c854290c0616329e1be6355f152379617066 ekozyri <ekozyri@cs.cornell.edu> 1436823916 -0400	commit: Correction of the requestSharedEvent method. It takes as an argument
c5c5c854290c0616329e1be6355f152379617066 4b1ddaf6d7edbbd92e0040c932206c7d3d3dfc72 ekozyri <ekozyri@cs.cornell.edu> 1436824850 -0400	commit: Removal of autoreject field and handlers.
4b1ddaf6d7edbbd92e0040c932206c7d3d3dfc72 60fba42b7fa66007769168291e07ef15388c8fec ekozyri <ekozyri@cs.cornell.edu> 1437170699 -0400	commit: The list of pending events can save events with arbitrary labels.
60fba42b7fa66007769168291e07ef15388c8fec e41a359c80a71c4aad31fc5bf9beca41eef6f5c0 ekozyri <ekozyri@cs.cornell.edu> 1452033013 -0500	commit: New directory for calendar.
e41a359c80a71c4aad31fc5bf9beca41eef6f5c0 21cc3b7c850d41d86f4aeb510260c43b7541a377 ekozyri <ekozyri@cs.cornell.edu> 1452033101 -0500	commit: New directory for battleship.
21cc3b7c850d41d86f4aeb510260c43b7541a377 e1e7ea856ce0c77308c09dd652884e34d5293eef ekozyri <ekozyri@cs.cornell.edu> 1452538422 -0500	pull: Fast-forward
e1e7ea856ce0c77308c09dd652884e34d5293eef 1f60b7687816744daf60274be84f52024e16d370 ekozyri <ekozyri@cs.cornell.edu> 1452542645 -0500	commit: Applying Andrew's edits in the web page.
1f60b7687816744daf60274be84f52024e16d370 829cf2e58e42f307d9a838936161f8378700506d ekozyri <ekozyri@cs.cornell.edu> 1454104296 -0500	commit: Making the web page prettier.
829cf2e58e42f307d9a838936161f8378700506d 19a539af8b01c5d26cf3b2d6977794fd5f33d191 ekozyri <ekozyri@cs.cornell.edu> 1455143186 -0500	commit: Few modification on the release.
19a539af8b01c5d26cf3b2d6977794fd5f33d191 86d947d5134894c9b6b0ac789eae5b401b322cf5 ekozyri <ekozyri@cs.cornell.edu> 1455223419 -0500	commit: Some last corrections of the release.
