Timeline



Dec 3, 2012:

1:55 PM OldWikiStart edited by Mei
(diff)

Nov 20, 2012:

8:03 PM Changeset [4a8f84a]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) tweak java examples
7:42 PM Changeset [89146cf]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) AVA_CPPFLAGS environment variable to be set to …
7:06 PM Changeset [4dbeb09]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) trying out a new set of performance plots
12:50 PM OldWikiStart edited by Mei
(diff)
12:49 PM OldWikiStart edited by Mei
(diff)
11:54 AM OldWikiStart edited by Mei
(diff)
9:06 AM Changeset [63477c5]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) getting ready for a freeze

Nov 19, 2012:

11:36 PM Changeset [4a72b30]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) add more doc for java
11:27 PM JavaSupport edited by Mei
(diff)
10:56 PM JavaSupport edited by Mei
(diff)
10:51 PM JavaSupport edited by Mei
(diff)
10:42 PM JavaSupport edited by Mei
(diff)
5:11 PM Changeset [695abc7]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) touch ChangeLog, trying to see why wiki page could not link
5:01 PM OldWikiStart edited by Mei
(diff)
3:36 PM Changeset [ced90bc]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) add a single threaded java test prover script
2:47 PM DocumentationRT2 edited by Mei
(diff)

Nov 12, 2012:

10:41 PM Changeset [41a4690]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
Merge branch 'mei_rt2' of git://abac.deterlab.net/abac into mei_rt2
10:34 PM Changeset [e3c7769]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) wrap up java interface with swig/jni/abac linkup 2) java regression …
Note: See TracTimeline for information about the timeline view.