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