../
|
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.1 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
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.9 KB
|
cfa7b6e
|
12 years
|
Mei |
1) relax the self-signing cert requirement in abac_verifier
2) allow …
|
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
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
abac_term.c
|
28.3 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
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
|
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
|
977 bytes
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
abac_pl_yap.c
|
15.8 KB
|
fc943ee
|
12 years
|
Mei |
1) getting ready to make a releaseZ
|
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.4 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
abac_id.c
|
13.4 KB
|
94a4dd2
|
12 years
|
Mei |
1) save a set of performance jpegs into examples/scaling_tests/plotting dir
|
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
|
10.9 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
abac_aspect.c
|
23.4 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
abac.hh
|
47.2 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|
abac.h
|
10.5 KB
|
2a73357
|
12 years
|
Mei |
1) replace bool return type to int return type. seems to be causing …
|
abac.c
|
16.3 KB
|
abf8d5d
|
12 years
|
Mei |
1) add backtrack/multiple solutions proof code changes and new
examples.
|