#
# ChangeLog for examples/scaling_tests
#
# Generated by Trac 1.2
# Jun 29, 2024 2:17:45 AM

Sat, 20 Oct 2012 18:25:15 GMT Mei <mei@…> [646e57e]

	1) add partial proof


Tue, 25 Sep 2012 19:10:27 GMT Mei <mei@…> [fc943ee]

	1) getting ready to make a releaseZ


Mon, 24 Sep 2012 21:43:48 GMT Mei <mei@…> [db99d8d]

	1) make the sub call within run_plot to look for it within local dir


Fri, 21 Sep 2012 22:35:43 GMT Mei <mei@…> [41a0c1e]

	1) fix up example's Makefiles so it does not depends on path
	including .


Tue, 18 Sep 2012 18:52:30 GMT Mei <mei@…> [abf8d5d]

	1) add backtrack/multiple solutions proof code changes and new
	 examples.


Sun, 09 Sep 2012 16:56:57 GMT Mei <mei@…> [1e51e1b]

	1) update plotting to include standard deviation and increase
	   ...


Fri, 07 Sep 2012 20:35:09 GMT Mei <mei@…> [671c065]

	1) update new performance graphs with standard deviations


Thu, 06 Sep 2012 21:29:06 GMT Mei <mei@…> [bf68132]

	1) get example directory to work with yap with use_malloc option
	2) ...


Tue, 04 Sep 2012 22:04:03 GMT Mei <mei@…> [94a4dd2]

	1) save a set of performance jpegs into ...


Wed, 29 Aug 2012 00:06:15 GMT Mei <mei@…> [2b4e740]

	1) test out the performance plotting build


Tue, 28 Aug 2012 00:53:03 GMT Mei <mei@…> [928b1b7]

	1) more tweaking on Makefile setup for examples


Tue, 28 Aug 2012 00:40:41 GMT Mei <mei@…> [33a9212]

	1) take out extra entries from this Makefile


Tue, 28 Aug 2012 00:36:47 GMT Mei <mei@…> [efd7ebe]

	1) remove duplicate entrie


Tue, 28 Aug 2012 00:27:16 GMT Mei <mei@…> [7a452cd]

	1) one more Makefile


Tue, 28 Aug 2012 00:25:05 GMT Mei <mei@…> [41d99fb]

	1) adding Makefiles


Tue, 28 Aug 2012 00:21:29 GMT Mei <mei@…> [f3421a0]

	1) add more missing Makefile


Tue, 28 Aug 2012 00:12:11 GMT Mei <mei@…> [08b8da7]

	1) rework examples directory with Makefile
	2) update scaling with ...


Thu, 16 Aug 2012 00:44:00 GMT Mei <mei@…> [2485307]

	1) wrap up the changes on proof buffer's process in abac_pl_yap.c
	2) ...


Fri, 10 Aug 2012 04:21:34 GMT Mei <mei@…> [519e487]

	1) add more doc to scaling tests


Thu, 09 Aug 2012 23:21:55 GMT Mei <mei@…> [373bf68]

	1) add the scaling test suite