|
../
|
|
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
|
13.2 KB
|
7211a95
|
12 years
|
Mei |
1) add more python examples
2) add the missing linking role and …
|
|
rt2.l
|
8.4 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
prover_yap.c
|
2.4 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
options.h
|
370 bytes
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
options.c
|
2.5 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_verifier.h
|
718 bytes
|
d037f54
|
12 years
|
Mei |
1) able to programmatially build structure, bake attribute credential
…
|
|
abac_verifier.c
|
27.0 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_util.h
|
744 bytes
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_util.c
|
5.3 KB
|
4b46680
|
12 years
|
Mei |
1) change version to 0.2.1
|
|
abac_term.c
|
28.1 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_stack.h
|
953 bytes
|
7b548fa
|
12 years
|
Mei |
1) add time static constraint
2) add example balltime_rt2_typed
3) …
|
|
abac_stack.c
|
1.4 KB
|
7b548fa
|
12 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
|
930 bytes
|
8bd77b5
|
12 years
|
Mei |
1) convert parser and libabac to use id cred and attr cred like
…
|
|
abac_pl_yy.h
|
3.5 KB
|
440ba20
|
12 years
|
Mei |
1) wrap up refactoring to move all the code gen to abac structure
2) …
|
|
abac_pl_yy.c
|
31.2 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_pl_yap.h
|
927 bytes
|
d9c3886
|
12 years
|
Mei |
1) add 2 more query calls in abac.hh that take Role and Oset instead …
|
|
abac_pl_yap.c
|
10.3 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_pl_pre.c
|
8.9 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_pl_gen.c
|
22.1 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_m64.c
|
4.9 KB
|
da5afdf
|
12 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
|
abac_list.h
|
929 bytes
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
|
abac_list.c
|
1.4 KB
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
|
abac_internal.h
|
5.4 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
abac_id.c
|
15.0 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_common.h
|
1.4 KB
|
440ba20
|
12 years
|
Mei |
1) wrap up refactoring to move all the code gen to abac structure
2) …
|
|
abac_c.c
|
7.6 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
abac_attribute.c
|
10.6 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac_aspect.c
|
23.0 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac.hh
|
42.7 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac.h
|
9.6 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
|
abac.c
|
12.0 KB
|
2efdff5
|
12 years
|
Mei |
1) fix the missing check for 'This' rt2.y when called from …
|
