#
# ChangeLog for examples/example_scripts
#
# Generated by Trac 1.2
# Jun 30, 2024 12:24:22 PM

Mon, 14 Jan 2013 23:08:45 GMT Mei <mei@…> [4f40c3e]

	1) add a yap patch file for 6.2.2 for FreeBSD platform
	2) update ...


Sat, 12 Jan 2013 00:27:03 GMT Mei <mei@…> [46df1bc]

	1) get ready for release 0.2.3
	2) add forward function declaration ...


Thu, 13 Dec 2012 01:50:37 GMT Mei <mei@…> [09531ca]

	1) add config check for perl thread, and optional jni.h
	2) tweak for ...


Wed, 21 Nov 2012 04:03:05 GMT Mei <mei@…> [4a8f84a]

	1) tweak java examples


Mon, 19 Nov 2012 23:36:11 GMT Mei <mei@…> [ced90bc]

	1) add a single threaded java test prover script


Tue, 13 Nov 2012 06:34:56 GMT Mei <mei@…> [e3c7769]

	1) wrap up java interface with swig/jni/abac linkup
	2) java ...


Fri, 02 Nov 2012 20:43:27 GMT Mei <mei@…> [97a6a36]

	1) added java to libabac using swig
	2) added java examples ...


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

	1) add partial proof


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 .


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: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 ...


Sat, 18 Aug 2012 01:05:34 GMT Ted Faber <faber@…> [880e924]

	Add FreeBSD paths


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) ...


Tue, 07 Aug 2012 17:45:16 GMT Mei <mei@…> [bea18ef]

	1) add more tiny prover tests in examples/example_scripts
	2) ...


Sat, 04 Aug 2012 03:52:40 GMT Mei <mei@…> [ba6027a]

	1) modified code all around to add support for encrypted private key ...