Timeline
Sep 14, 2012:
- 1:36 PM Changeset [03ed473]mei_rt2mei_rt2_fix_1 by
- 1) turn YAP's WriteBuffer? back to void return typ
Sep 11, 2012:
- 2:23 PM OldWikiStart edited by
- (diff)
- 10:35 AM Changeset [acd277a]mei_rt2mei_rt2_fix_1 by
- 1) tweak doc
- 9:51 AM Changeset [68109e3]mei_rt2mei_rt2_fix_1 by
- 1) updated some documentations
- 12:10 AM DocumentationRT2 edited by
- (diff)
- 12:10 AM OldWikiStart edited by
- (diff)
- 12:09 AM Changeset [c46b2fe]mei_rt2mei_rt2_fix_1 by
- 1) add a break in creddy.
- 12:01 AM OldWikiStart edited by
- (diff)
- 12:00 AM DocumentationRT2 edited by
- (diff)
Sep 10, 2012:
Sep 9, 2012:
- 9:56 AM Changeset [1e51e1b]mei_rt2mei_rt2_fix_1 by
- 1) update plotting to include standard deviation and increase …
Sep 7, 2012:
- 1:35 PM Changeset [671c065]mei_rt2mei_rt2_fix_1 by
- 1) update new performance graphs with standard deviations
Sep 6, 2012:
- 2:29 PM Changeset [bf68132]mei_rt2mei_rt2_fix_1 by
- 1) get example directory to work with yap with use_malloc option 2) …
- 1:44 PM PerformanceData edited by
- (diff)
Sep 4, 2012:
- 3:06 PM PerformanceData edited by
- (diff)
- 3:04 PM Changeset [94a4dd2]mei_rt2mei_rt2_fix_1 by
- 1) save a set of performance jpegs into examples/scaling_tests/plotting dir
- 2:48 PM PerformanceData edited by
- (diff)
- 11:34 AM DocumentationRT2 edited by
- (diff)
- 11:32 AM PerformanceData created by
- 11:25 AM OldWikiStart edited by
- (diff)
- 11:11 AM DocumentationRT2 edited by
- (diff)
Aug 28, 2012:
- 5:08 PM Changeset [c6d5da3]mei_rt2mei_rt2_fix_1 by
- Merge branch 'mei_rt2' of git://abac.deterlab.net/abac into mei_rt2
- 5:06 PM Changeset [2b4e740]mei_rt2mei_rt2_fix_1 by
- 1) test out the performance plotting build
Aug 27, 2012:
- 6:06 PM Changeset [2be9809]mei_rt2mei_rt2_fix_1 by
- 1) add the missing allout.save for scaling_tests
- 6:04 PM Changeset [340bd01]mei_rt2mei_rt2_fix_1 by
- 1) change realclean to just clean
- 5:53 PM Changeset [928b1b7]mei_rt2mei_rt2_fix_1 by
- 1) more tweaking on Makefile setup for examples
- 5:42 PM Changeset [658e7ef]mei_rt2mei_rt2_fix_1 by
- 1) suppress some make echo
- 5:40 PM Changeset [33a9212]mei_rt2mei_rt2_fix_1 by
- 1) take out extra entries from this Makefile
- 5:36 PM Changeset [efd7ebe]mei_rt2mei_rt2_fix_1 by
- 1) remove duplicate entrie
- 5:27 PM Changeset [7a452cd]mei_rt2mei_rt2_fix_1 by
- 1) one more Makefile
- 5:25 PM Changeset [41d99fb]mei_rt2mei_rt2_fix_1 by
- 1) adding Makefiles
- 5:21 PM Changeset [f3421a0]mei_rt2mei_rt2_fix_1 by
- 1) add more missing Makefile
- 5:16 PM Changeset [8de54ab]mei_rt2mei_rt2_fix_1 by
- 1) add missing top level makefile for examples directory
- 5:12 PM Changeset [08b8da7]mei_rt2mei_rt2_fix_1 by
- 1) rework examples directory with Makefile 2) update scaling with …
Aug 17, 2012:
- 11:53 PM OldWikiStart edited by
- (diff)
- 6:05 PM Changeset [880e924]mei_rt2mei_rt2_fix_1 by
- Add FreeBSD paths
- 5:24 PM Changeset [9248b00]mei_rt2mei_rt2_fix_1 by
- Merge branch 'mei_rt2' of git://abac.deterlab.net/abac into mei_rt2
- 5:23 PM Changeset [2c03e57]mei_rt2mei_rt2_fix_1 by
- 1) add 2 scripts in examples
- 5:07 PM Changeset [8798f04]mei_rt2mei_rt2_fix_1 by
- Can't cast char * to int on amd64. %p prints'em
- 10:27 AM Changeset [43478b1]mei_rt2mei_rt2_fix_1 by
- 1) some tweaks
- 1:29 AM Changeset [e205b49]mei_rt2mei_rt2_fix_1 by
- 1) update more documentation
- 12:49 AM OldWikiStart edited by
- (diff)
Aug 16, 2012:
- 11:42 PM DocumentationRT2 edited by
- (diff)
- 11:39 PM DocumentationRT2 edited by
- (diff)
- 11:28 PM OldWikiStart edited by
- (diff)
- 11:24 PM Changeset [7c5d673]mei_rt2mei_rt2_fix_1 by
- 1) update some doc files
- 11:23 PM OldWikiStart edited by
- (diff)
- 4:28 PM Changeset [b92a620]mei_rt2mei_rt2_fix_1 by
- 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
- 1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) …
Note: See TracTimeline
for information about the timeline view.
