#
# ChangeLog for libabac/prover.c
#
# Generated by Trac 1.2
# Apr 23, 2024 1:11:42 AM

Mon, 30 Sep 2013 07:32:33 GMT Mei-Hui Su <mei@…> [4571abc]

	1) tweak for leak


Fri, 27 Sep 2013 23:07:40 GMT Mei-Hui Su <mei@…> [91a6b20]

	1) add cleanup for options(leak)


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 17:58:19 GMT Mei <mei@…> [13b087a]

	1) fix some compiling warnings


Tue, 07 May 2013 22:11:05 GMT Mei <mei@…> [4721618]

	1) tested out python and perl test scripts along with
	   ...


Mon, 06 May 2013 22:11:55 GMT Mei <mei@…> [461541a]

	1) updated original rt0 to remove libstrongswan dependency
	   a) ...


Tue, 22 Nov 2011 21:49:56 GMT Mike Ryan <mikeryan@…> [605ee1d]

	be clear when a proof has failed


Thu, 23 Sep 2010 23:53:39 GMT Mike Ryan <mikeryan@…> [55c272b]

	remove libabac_init and libabac_deinit


Thu, 16 Sep 2010 22:20:11 GMT Mike Ryan <mikeryan@…> [9a411d7]

	fold intersection into ordinary role object


Wed, 15 Sep 2010 22:42:32 GMT Mike Ryan <mikeryan@…> [0eb4a8e]

	load intersection edges into the graph

	- does not derive links
	- ...


Thu, 22 Jul 2010 06:43:07 GMT Mike Ryan <mikeryan@…> [7af34ed]

	give query options to example prover code


Wed, 21 Jul 2010 04:58:00 GMT Mike Ryan <mikeryan@…> [e96c107]

	match example keystore


Mon, 19 Jul 2010 04:04:44 GMT Mike Ryan <mikeryan@…> [3c4fd68]

	return all the credentials from an ABAC context


Wed, 14 Jul 2010 02:20:39 GMT Mike Ryan <mikeryan@…> [6ede88c]

	autoconf/make/libtoolize


Wed, 14 Jul 2010 00:38:35 GMT Mike Ryan <mikeryan@…> [15200be]

	move libabac into its own directory