#
# ChangeLog for libabac/rt2.l
#
# Generated by Trac 1.2
# Jun 27, 2024 11:51:33 PM

Thu, 04 Apr 2013 07:07:42 GMT Mei <mei@…> [2e9455f]

	1) added namespace
	2) tweak ?This,
	3) allowing linking role/oset as ...


Thu, 31 May 2012 20:28:14 GMT Mei <mei@…> [669b481]

	1) finish test conversion from creddy-prover to python
	2) update the ...


Fri, 02 Mar 2012 19:54:45 GMT Mei <mei@…> [efacf92]

	1) add hyphens as valid character in rolename and osetname


Fri, 02 Mar 2012 02:04:41 GMT Mei <mei@…> [9806e76]

	1) add handling for typed anonymous term, [int:?]
	2) make a pass ...


Wed, 29 Feb 2012 17:53:12 GMT Mei <mei@…> [4b8e1c9]

	1) add boolean static range constraint handling
	2) add boolean range ...


Mon, 27 Feb 2012 20:09:55 GMT Mei <mei@…> [d5bbd3e]

	1) add alumni2_rt1_typed
	   (target static range constraint)
	2) add ...


Thu, 23 Feb 2012 21:59:31 GMT Mei <mei@…> [c586a3c]

	1) add support for float static range constraint
	2) add a testcase ...


Tue, 21 Feb 2012 07:46:42 GMT Mei <mei@…> [b5a3da4]

	1) add abac_oset.c
	2) reorganized some yyparse related files


Wed, 15 Feb 2012 08:50:46 GMT Mei <mei@…> [e88c95b]

	1) switch the order of terms within the rule clause.
	   carl said ...


Tue, 14 Feb 2012 15:36:44 GMT Mei <mei@…> [da5afdf]

	1) add static contraint
	   (limited to integer at this time)


Tue, 17 Jan 2012 22:42:54 GMT Mei <mei@…> [718ad924]

	able to parse rt1 without condition
	updated examples