|
../
|
|
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
|
3.3 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
options.h
|
384 bytes
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
options.c
|
2.8 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
abac_verifier.h
|
889 bytes
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
abac_verifier.c
|
34.8 KB
|
9a0e1c1
|
12 years
|
Mei |
1) tweak an error message to make it more clearer
|
|
abac_util.h
|
849 bytes
|
ba6027a
|
12 years
|
Mei |
1) modified code all around to add support for encrypted private key …
|
|
abac_util.c
|
9.6 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac_term.c
|
28.4 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
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.3 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
|
abac_pl_yap.h
|
1.1 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac_pl_yap.c
|
24.8 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac_pl_pre.c
|
8.9 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
abac_pl_gen.c
|
22.3 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
abac_m64.c
|
4.9 KB
|
b92a620
|
12 years
|
Mei |
1) route debug printf to stderr
2) add some check for swig in …
|
|
abac_list.h
|
985 bytes
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
abac_list.c
|
1.8 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
|
abac_key.c
|
6.5 KB
|
b92a620
|
12 years
|
Mei |
1) route debug printf to stderr
2) add some check for swig in …
|
|
abac_internal.h
|
5.5 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac_id.c
|
13.9 KB
|
dfe6b61
|
12 years
|
Mei |
1) added ID_chunk() and Attribute_chunk() to abac.hh
|
|
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
|
8.2 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
|
abac_attribute.c
|
14.6 KB
|
dfe6b61
|
12 years
|
Mei |
1) added ID_chunk() and Attribute_chunk() to abac.hh
|
|
abac_aspect.c
|
23.6 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac.hh
|
48.8 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac.h
|
10.8 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
|
abac.c
|
16.6 KB
|
646e57e
|
12 years
|
Mei |
1) add partial proof
|
