Timeline

View changes from
going back days
by author

Milestones completed Repository changesets Wiki changes

Dec 15, 2012:

12:52 AM Changeset [c3c73bd]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) work around the hang in scaling test for freebsd8, it is because …

Dec 13, 2012:

12:00 PM Changeset [6f383ee]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) update couple of Makefile in examples directory that is too gnu

Dec 12, 2012:

5:50 PM Changeset [09531ca]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add config check for perl thread, and optional jni.h 2) tweak for …

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)