Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
Search
Context Navigation
View Latest Revision
source:
examples
/
scaling_tests
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@646e57e
12 years
Mei
1) add partial proof
mei_rt2
mei_rt2_fix_1
(edit)
@fc943ee
12 years
Mei
1) getting ready to make a releaseZ
mei_rt2
mei_rt2_fix_1
(edit)
@db99d8d
12 years
Mei
1) make the sub call within run_plot to look for it within local dir
mei_rt2
mei_rt2_fix_1
(edit)
@41a0c1e
12 years
Mei
1) fix up example's Makefiles so it does not depends on path including .
mei_rt2
mei_rt2_fix_1
(edit)
@abf8d5d
12 years
Mei
1) add backtrack/multiple solutions proof code changes and new examples.
mei_rt2
mei_rt2_fix_1
(edit)
@1e51e1b
12 years
Mei
1) update plotting to include standard deviation and increase …
mei_rt2
mei_rt2_fix_1
(edit)
@671c065
12 years
Mei
1) update new performance graphs with standard deviations
mei_rt2
mei_rt2_fix_1
(edit)
@bf68132
12 years
Mei
1) get example directory to work with yap with use_malloc option 2) …
mei_rt2
mei_rt2_fix_1
(edit)
@94a4dd2
12 years
Mei
1) save a set of performance jpegs into examples/scaling_tests/plotting dir
mei_rt2
mei_rt2_fix_1
(edit)
@2b4e740
12 years
Mei
1) test out the performance plotting build
mei_rt2
mei_rt2_fix_1
(edit)
@928b1b7
12 years
Mei
1) more tweaking on Makefile setup for examples
mei_rt2
mei_rt2_fix_1
(edit)
@33a9212
12 years
Mei
1) take out extra entries from this Makefile
mei_rt2
mei_rt2_fix_1
(edit)
@efd7ebe
12 years
Mei
1) remove duplicate entrie
mei_rt2
mei_rt2_fix_1
(edit)
@7a452cd
12 years
Mei
1) one more Makefile
mei_rt2
mei_rt2_fix_1
(edit)
@41d99fb
12 years
Mei
1) adding Makefiles
mei_rt2
mei_rt2_fix_1
(edit)
@f3421a0
12 years
Mei
1) add more missing Makefile
mei_rt2
mei_rt2_fix_1
(edit)
@08b8da7
12 years
Mei
1) rework examples directory with Makefile 2) update scaling with …
mei_rt2
mei_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_rt2
mei_rt2_fix_1
(edit)
@519e487
12 years
Mei
1) add more doc to scaling tests
mei_rt2
mei_rt2_fix_1
(add)
@373bf68
12 years
Mei
1) add the scaling test suite
mei_rt2
mei_rt2_fix_1
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog