source: libabac @ 202a7f9

Name	Size	Rev	Age	Author	Last Change
../
abac.c	9 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
abac.h	9 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
abac.hh	4.1 KB ​	a70acc9	14 years	Mike Ryan	simplify Context::query logic a bit
abac_common.h	145 bytes ​	473dc8a	14 years	Mike Ryan	forgot to add this
abac_list.c	1.4 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_list.h	929 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_param.c	4.6 KB ​	718ad924	12 years	Mei	able to parse rt1 without condition updated examples
abac_pl.c	7.2 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_pl.h	4.2 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_pl_gen.c	11.0 KB ​	718ad924	12 years	Mei	able to parse rt1 without condition updated examples
abac_pl_yap.c	7.9 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_pl_yap.h	757 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_role.c	13.8 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_rt.h	892 bytes ​	8200a9c	55 years	(none)
abac_set.c	2.1 KB ​	e2a0f26	14 years	Mike Ryan	derive edges from intersections
abac_set.h	435 bytes ​	e2a0f26	14 years	Mike Ryan	derive edges from intersections
abac_stack.c	1.1 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_stack.h	893 bytes ​	e95d652	13 years	Mei	1) added yap, flex, bison to bring in prolog backend
abac_util.c	885 bytes ​	9a411d7	14 years	Mike Ryan	fold intersection into ordinary role object
abac_util.h	335 bytes ​	9a411d7	14 years	Mike Ryan	fold intersection into ordinary role object
abac_verifier.c	14.5 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_verifier.h	524 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
options.c	1.3 KB ​	202a7f9	12 years	Mei	commited modified files for rt1
options.h	299 bytes ​	06d7b3a	14 years	Mike Ryan	forgot to add these d'oh
prover_yap.c	857 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
rt2.l	3.2 KB ​	718ad924	12 years	Mei	able to parse rt1 without condition updated examples
rt2.y	8.5 KB ​	718ad924	12 years	Mei	able to parse rt1 without condition updated examples
uthash.h	63.0 KB ​	15200be	14 years	Mike Ryan	move libabac into its own directory
utlist.h	36.1 KB ​	15200be	14 years	Mike Ryan	move libabac into its own directory

Property mode set to 040000