Timeline



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 …

Aug 17, 2012:

11:53 PM OldWikiStart edited by Mei
(diff)
6:05 PM Changeset [880e924]mei_rt2mei_rt2_fix_1 by Ted Faber <faber@…>
Add FreeBSD paths
5:24 PM Changeset [9248b00]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
Merge branch 'mei_rt2' of git://abac.deterlab.net/abac into mei_rt2
5:23 PM Changeset [2c03e57]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) add 2 scripts in examples
5:07 PM Changeset [8798f04]mei_rt2mei_rt2_fix_1 by Ted Faber <faber@…>
Can't cast char * to int on amd64. %p prints'em
10:27 AM Changeset [43478b1]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) some tweaks
1:29 AM Changeset [e205b49]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) update more documentation
12:49 AM OldWikiStart edited by Mei
(diff)

Aug 16, 2012:

11:42 PM DocumentationRT2 edited by Mei
(diff)
11:39 PM DocumentationRT2 edited by Mei
(diff)
11:28 PM OldWikiStart edited by Mei
(diff)
11:24 PM Changeset [7c5d673]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) update some doc files
11:23 PM OldWikiStart edited by Mei
(diff)
4:28 PM Changeset [b92a620]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) route debug printf to stderr 2) add some check for swig in …

Aug 15, 2012:

5:44 PM Changeset [2485307]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) …

Aug 12, 2012:

4:19 PM Changeset [adf7415]compt_changes by ABDULLA ALWABEL <abdullaalwabel@…>
Changes for compatibility with openssl 1.x.x strongswan4.6.4

Aug 9, 2012:

9:21 PM Changeset [519e487]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) add more doc to scaling tests
4:21 PM Changeset [373bf68]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) add the scaling test suite

Aug 7, 2012:

10:45 AM Changeset [bea18ef]mei_rt2mei_rt2_fix_1 by Mei <mei@…>
1) add more tiny prover tests in examples/example_scripts 2) reverted …
Note: See TracTimeline for information about the timeline view.