../
|
utlist.h
|
36.1 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
uthash.h
|
63.0 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
rt2.y
|
12.8 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
rt2.l
|
8.3 KB
|
efacf92
|
13 years
|
Mei |
1) add hyphens as valid character in rolename and osetname
|
prover_yap.c
|
1.9 KB
|
c586a3c
|
13 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
options.h
|
353 bytes
|
da5afdf
|
13 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
options.c
|
2.2 KB
|
da5afdf
|
13 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
abac_verifier.h
|
524 bytes
|
202a7f9
|
13 years
|
Mei |
commited modified files for rt1
|
abac_verifier.c
|
19.0 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_util.h
|
367 bytes
|
c586a3c
|
13 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
abac_util.c
|
1.4 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_stack.h
|
953 bytes
|
7b548fa
|
13 years
|
Mei |
1) add time static constraint
2) add example balltime_rt2_typed
3) …
|
abac_stack.c
|
1.4 KB
|
7b548fa
|
13 years
|
Mei |
1) add time static constraint
2) add example balltime_rt2_typed
3) …
|
abac_set.h
|
435 bytes
|
e2a0f26
|
14 years
|
Mike Ryan |
derive edges from intersections
|
abac_set.c
|
2.1 KB
|
e2a0f26
|
14 years
|
Mike Ryan |
derive edges from intersections
|
abac_rt.h
|
1.1 KB
|
b5a3da4
|
13 years
|
Mei |
1) add abac_oset.c
2) reorganized some yyparse related files
|
abac_role.c
|
14.2 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_pl_yy.h
|
3.1 KB
|
9806e76
|
13 years
|
Mei |
1) add handling for typed anonymous term, [int:?]
2) make a pass …
|
abac_pl_yy.c
|
44.1 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_pl_yap.h
|
757 bytes
|
202a7f9
|
13 years
|
Mei |
commited modified files for rt1
|
abac_pl_yap.c
|
14.5 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_pl_gen.c
|
24.4 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_pl.h
|
6.2 KB
|
9937351
|
13 years
|
faber |
A few undefined things
|
abac_pl.c
|
7.6 KB
|
7b548fa
|
13 years
|
Mei |
1) add time static constraint
2) add example balltime_rt2_typed
3) …
|
abac_param.c
|
8.4 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_oset.c
|
15.5 KB
|
7727f26
|
13 years
|
Mei |
1) add environment variables DUMP_DB, ABAC_CN.
ABAC_CN will switch …
|
abac_m64.c
|
4.9 KB
|
da5afdf
|
13 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
abac_list.h
|
929 bytes
|
202a7f9
|
13 years
|
Mei |
commited modified files for rt1
|
abac_list.c
|
1.4 KB
|
202a7f9
|
13 years
|
Mei |
commited modified files for rt1
|
abac_common.h
|
145 bytes
|
473dc8a
|
14 years
|
Mike Ryan |
forgot to add this
|
abac.hh
|
5.2 KB
|
9937351
|
13 years
|
faber |
A few undefined things
|
abac.h
|
9 bytes
|
202a7f9
|
13 years
|
Mei |
commited modified files for rt1
|
abac.c
|
9 bytes
|
202a7f9
|
13 years
|
Mei |
commited modified files for rt1
|