Timeline



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 …
Note: See TracTimeline for information about the timeline view.