Timeline

View changes from
going back days
by author

Milestones completed Repository changesets Wiki changes

Sep 18, 2012:

1:57 PM Changeset [b07eb3a]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add creddy_prover_tests/acme_multi_rt0

11:59 AM Changeset [1d76c10]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

Merge branch 'mei_rt2' of ​git://abac.deterlab.net/abac into mei_rt2 …

11:52 AM Changeset [abf8d5d]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add backtrack/multiple solutions proof code changes and new examples.

Sep 14, 2012:

1:36 PM Changeset [03ed473]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) turn YAP's WriteBuffer? back to void return typ

Sep 11, 2012:

2:23 PM OldWikiStart edited by Mei

(diff)

10:35 AM Changeset [acd277a]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) tweak doc

9:51 AM Changeset [68109e3]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) updated some documentations

12:10 AM DocumentationRT2 edited by Mei

(diff)

12:10 AM OldWikiStart edited by Mei

(diff)

12:09 AM Changeset [c46b2fe]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add a break in creddy.

12:01 AM OldWikiStart edited by Mei

(diff)

12:00 AM DocumentationRT2 edited by Mei

(diff)

Sep 10, 2012:

11:57 PM DocumentationRT2 edited by Mei

(diff)

11:54 PM creddyRT2 created by Mei

Sep 9, 2012:

9:56 AM Changeset [1e51e1b]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) update plotting to include standard deviation and increase …

Sep 7, 2012:

1:35 PM Changeset [671c065]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) update new performance graphs with standard deviations

Sep 6, 2012:

2:29 PM Changeset [bf68132]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) get example directory to work with yap with use_malloc option 2) …

1:44 PM PerformanceData edited by Mei

(diff)

Sep 4, 2012:

3:06 PM PerformanceData edited by Mei

(diff)

3:04 PM Changeset [94a4dd2]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) save a set of performance jpegs into examples/scaling_tests/plotting dir

2:48 PM PerformanceData edited by Mei

(diff)

11:34 AM DocumentationRT2 edited by Mei

(diff)

11:32 AM PerformanceData created by Mei

11:25 AM OldWikiStart edited by Mei

(diff)

11:11 AM DocumentationRT2 edited by Mei

(diff)

Aug 28, 2012:

5:08 PM Changeset [c6d5da3]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

Merge branch 'mei_rt2' of ​git://abac.deterlab.net/abac into mei_rt2

5:06 PM Changeset [2b4e740]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) test out the performance plotting build

Aug 27, 2012:

6:06 PM Changeset [2be9809]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add the missing allout.save for scaling_tests

6:04 PM Changeset [340bd01]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) change realclean to just clean

5:53 PM Changeset [928b1b7]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) more tweaking on Makefile setup for examples

5:42 PM Changeset [658e7ef]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) suppress some make echo

5:40 PM Changeset [33a9212]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) take out extra entries from this Makefile

5:36 PM Changeset [efd7ebe]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) remove duplicate entrie

5:27 PM Changeset [7a452cd]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) one more Makefile

5:25 PM Changeset [41d99fb]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) adding Makefiles

5:21 PM Changeset [f3421a0]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add more missing Makefile

5:16 PM Changeset [8de54ab]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) add missing top level makefile for examples directory

5:12 PM Changeset [08b8da7]mei_rt2mei_rt2_fix_1 by Mei <mei@…>

1) rework examples directory with Makefile 2) update scaling with …