source: libabac @ 4b8e1c9

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_m64.c	4.9 KB ​	da5afdf	12 years	Mei	1) add static contraint (limited to integer at this time)
abac_oset.c	15.2 KB ​	c586a3c	12 years	Mei	1) add support for float static range constraint 2) add a testcase for …
abac_param.c	8.3 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_pl.c	7.6 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_pl.h	5.5 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_pl_gen.c	23.7 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_pl_yap.c	14.7 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_pl_yap.h	757 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
abac_pl_yy.c	42.3 KB ​	4b8e1c9	12 years	Mei	1) add boolean static range constraint handling 2) add boolean range …
abac_pl_yy.h	2.8 KB ​	0d0c3a9	12 years	Mei	1) adding missing extern forward declarations that is causing …
abac_role.c	13.9 KB ​	0d0c3a9	12 years	Mei	1) adding missing extern forward declarations that is causing …
abac_rt.h	1.1 KB ​	b5a3da4	12 years	Mei	1) add abac_oset.c 2) reorganized some yyparse related files
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.4 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_stack.h	953 bytes ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_util.c	1.3 KB ​	c586a3c	12 years	Mei	1) add support for float static range constraint 2) add a testcase for …
abac_util.h	367 bytes ​	c586a3c	12 years	Mei	1) add support for float static range constraint 2) add a testcase for …
abac_verifier.c	17.7 KB ​	7b548fa	12 years	Mei	1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_verifier.h	524 bytes ​	202a7f9	12 years	Mei	commited modified files for rt1
options.c	2.2 KB ​	da5afdf	12 years	Mei	1) add static contraint (limited to integer at this time)
options.h	353 bytes ​	da5afdf	12 years	Mei	1) add static contraint (limited to integer at this time)
prover_yap.c	1.9 KB ​	c586a3c	12 years	Mei	1) add support for float static range constraint 2) add a testcase for …
rt2.l	8.1 KB ​	4b8e1c9	12 years	Mei	1) add boolean static range constraint handling 2) add boolean range …
rt2.y	11.8 KB ​	36b100a	12 years	Mei	1) fix up fruits_rt2_typed example to test different types of strings …
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