Timeline

View changes from
going back days
by author

Milestones completed Repository changesets Wiki changes

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 …