|
../
|
|
abac.c
|
11.6 KB
|
5d06689
|
12 years
|
Mei |
1) modify abac.hh and added abac_c.c to unify the c and c++ api
…
|
|
abac.h
|
9.3 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
abac.hh
|
42.2 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
abac_aspect.c
|
22.9 KB
|
e3462b4
|
12 years
|
Mei |
1) make regression test to use just runcheck (hide runall)
2) alter …
|
|
abac_attribute.c
|
10.0 KB
|
7211a95
|
12 years
|
Mei |
1) add more python examples
2) add the missing linking role and …
|
|
abac_c.c
|
7.6 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
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_id.c
|
14.1 KB
|
5d06689
|
12 years
|
Mei |
1) modify abac.hh and added abac_c.c to unify the c and c++ api
…
|
|
abac_internal.h
|
5.4 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
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_pl_gen.c
|
22.5 KB
|
440ba20
|
12 years
|
Mei |
1) wrap up refactoring to move all the code gen to abac structure
2) …
|
|
abac_pl_pre.c
|
9.1 KB
|
440ba20
|
12 years
|
Mei |
1) wrap up refactoring to move all the code gen to abac structure
2) …
|
|
abac_pl_yap.c
|
10.3 KB
|
d9c3886
|
12 years
|
Mei |
1) add 2 more query calls in abac.hh that take Role and Oset instead …
|
|
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_yy.c
|
30.8 KB
|
ca72963
|
12 years
|
Mei |
1) added expanded constraint item insertion calls
- add new …
|
|
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_rt.h
|
930 bytes
|
8bd77b5
|
12 years
|
Mei |
1) convert parser and libabac to use id cred and attr cred like
…
|
|
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_term.c
|
27.8 KB
|
5f551d3
|
12 years
|
Mei |
1) add more python examples
|
|
abac_util.c
|
5.0 KB
|
d037f54
|
12 years
|
Mei |
1) able to programmatially build structure, bake attribute credential
…
|
|
abac_util.h
|
745 bytes
|
d037f54
|
12 years
|
Mei |
1) able to programmatially build structure, bake attribute credential
…
|
|
abac_verifier.c
|
26.4 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
abac_verifier.h
|
718 bytes
|
d037f54
|
12 years
|
Mei |
1) able to programmatially build structure, bake attribute credential
…
|
|
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
|
2.4 KB
|
5110d42
|
12 years
|
Mei |
1) reorganized the test directory to include python tests
2) attribute …
|
|
rt2.l
|
8.4 KB
|
669b481
|
12 years
|
Mei |
1) finish test conversion from creddy-prover to python
2) update the …
|
|
rt2.y
|
13.2 KB
|
7211a95
|
12 years
|
Mei |
1) add more python examples
2) add the missing linking role and …
|
|
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
|
