#
# ChangeLog for tests/example_scripts/c/run_prover
#
# Generated by Trac 1.2
# May 12, 2024 5:47:37 PM

Tue, 27 Aug 2013 20:41:22 GMT Mei <mei@…> [4f79997]

	1) add a new scaling test -haystack/ralphs
	2) tweak some libabac ...


Thu, 11 Jul 2013 22:37:01 GMT Mei <mei@…> [3c30b59]

	1) add in new refactored regression testing directory
	2) undo the ...


Tue, 04 Jun 2013 09:08:33 GMT Mei <mei@…> [bec30b5]

	1) change abac_context_load_directory to check on every regular files ...


Fri, 31 May 2013 16:38:28 GMT Mei <mei@…> [ec550f7]

	1) reworked how API doc is generated
	2) tweak top level Makefile.am ...