source: examples/scaling_tests

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @c3c73bd   11 years Mei 1) work around the hang in scaling test for freebsd8, it is because … mei_rt2mei_rt2_fix_1
(edit) @6f383ee   11 years Mei 1) update couple of Makefile in examples directory that is too gnu mei_rt2mei_rt2_fix_1
(edit) @4dbeb09   11 years Mei 1) trying out a new set of performance plots mei_rt2mei_rt2_fix_1
(edit) @646e57e   12 years Mei 1) add partial proof mei_rt2mei_rt2_fix_1
(edit) @fc943ee   12 years Mei 1) getting ready to make a releaseZ mei_rt2mei_rt2_fix_1
(edit) @db99d8d   12 years Mei 1) make the sub call within run_plot to look for it within local dir mei_rt2mei_rt2_fix_1
(edit) @41a0c1e   12 years Mei 1) fix up example's Makefiles so it does not depends on path including . mei_rt2mei_rt2_fix_1
(edit) @abf8d5d   12 years Mei 1) add backtrack/multiple solutions proof code changes and new examples. mei_rt2mei_rt2_fix_1
(edit) @1e51e1b   12 years Mei 1) update plotting to include standard deviation and increase … mei_rt2mei_rt2_fix_1
(edit) @671c065   12 years Mei 1) update new performance graphs with standard deviations mei_rt2mei_rt2_fix_1
(edit) @bf68132   12 years Mei 1) get example directory to work with yap with use_malloc option 2) … mei_rt2mei_rt2_fix_1
(edit) @94a4dd2   12 years Mei 1) save a set of performance jpegs into examples/scaling_tests/plotting dir mei_rt2mei_rt2_fix_1
(edit) @2b4e740   12 years Mei 1) test out the performance plotting build mei_rt2mei_rt2_fix_1
(edit) @928b1b7   12 years Mei 1) more tweaking on Makefile setup for examples mei_rt2mei_rt2_fix_1
(edit) @33a9212   12 years Mei 1) take out extra entries from this Makefile mei_rt2mei_rt2_fix_1
(edit) @efd7ebe   12 years Mei 1) remove duplicate entrie mei_rt2mei_rt2_fix_1
(edit) @7a452cd   12 years Mei 1) one more Makefile mei_rt2mei_rt2_fix_1
(edit) @41d99fb   12 years Mei 1) adding Makefiles mei_rt2mei_rt2_fix_1
(edit) @f3421a0   12 years Mei 1) add more missing Makefile mei_rt2mei_rt2_fix_1
(edit) @08b8da7   12 years Mei 1) rework examples directory with Makefile 2) update scaling with … mei_rt2mei_rt2_fix_1
(edit) @2485307   12 years Mei 1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) … mei_rt2mei_rt2_fix_1
(edit) @519e487   12 years Mei 1) add more doc to scaling tests mei_rt2mei_rt2_fix_1
(add) @373bf68   12 years Mei 1) add the scaling test suite mei_rt2mei_rt2_fix_1
Note: See TracRevisionLog for help on using the revision log.