|
../
|
|
compat
|
|
3c30b59
|
11 years
|
Mei |
1) add in new refactored regression testing directory
2) undo the …
|
|
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
|
|
prover_plus.cc
|
735 bytes
|
55c272b
|
14 years
|
Mike Ryan |
remove libabac_init and libabac_deinit
|
|
prover.c
|
2.2 KB
|
4f79997
|
11 years
|
Mei |
1) add a new scaling test -haystack/ralphs
2) tweak some libabac code …
|
|
options.h
|
319 bytes
|
461541a
|
11 years
|
Mei |
1) updated original rt0 to remove libstrongswan dependency
a) …
|
|
options.c
|
1.5 KB
|
461541a
|
11 years
|
Mei |
1) updated original rt0 to remove libstrongswan dependency
a) …
|
|
libabac_common.h
|
857 bytes
|
4721618
|
11 years
|
Mei |
1) tested out python and perl test scripts along with
abac_chunk_t …
|
|
abac_xml.h
|
615 bytes
|
831da18
|
11 years
|
Mei |
1) getting ready to for 0.1.6
|
|
abac_xml.c
|
50.7 KB
|
831da18
|
11 years
|
Mei |
1) getting ready to for 0.1.6
|
|
abac_verifier.h
|
942 bytes
|
4f79997
|
11 years
|
Mei |
1) add a new scaling test -haystack/ralphs
2) tweak some libabac code …
|
|
abac_verifier.c
|
10.5 KB
|
831da18
|
11 years
|
Mei |
1) getting ready to for 0.1.6
|
|
abac_util.h
|
392 bytes
|
461541a
|
11 years
|
Mei |
1) updated original rt0 to remove libstrongswan dependency
a) …
|
|
abac_util.c
|
1.9 KB
|
1bf0f03
|
11 years
|
Mei |
1) save a copy before fixup of tests directory
|
|
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_role.c
|
9.8 KB
|
94605f2
|
11 years
|
faber |
checkpoint Lots of the way toward mnemonic names, some parsing fixes
|
|
abac_openssl.h
|
1.1 KB
|
a02c849
|
11 years
|
Mei |
1) add examples from wiki into regression tests
2) add code to …
|
|
abac_openssl.c
|
17.1 KB
|
1bf0f03
|
11 years
|
Mei |
1) save a copy before fixup of tests directory
|
|
abac_list.h
|
875 bytes
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
|
abac_list.c
|
1.1 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
|
abac_keyid_map.c
|
8.1 KB
|
65e3c6b
|
11 years
|
Mei |
1) fixed an off by one bug in expand_key
|
|
abac_id.c
|
12.3 KB
|
4f79997
|
11 years
|
Mei |
1) add a new scaling test -haystack/ralphs
2) tweak some libabac code …
|
|
abac_graph.h
|
1.3 KB
|
d4b3b52
|
12 years
|
faber |
Better partial proofs
|
|
abac_graph.c
|
19.7 KB
|
06ef09c
|
11 years
|
Mei |
1) create a branch with ted's leak patch
|
|
abac_attribute.c
|
13.9 KB
|
3613ab8
|
11 years
|
faber |
Back out the badly executed memory leak changes
|
|
abac.hh
|
22.4 KB
|
831da18
|
11 years
|
Mei |
1) getting ready to for 0.1.6
|
|
abac.h
|
11.3 KB
|
4f79997
|
11 years
|
Mei |
1) add a new scaling test -haystack/ralphs
2) tweak some libabac code …
|
|
abac.c
|
11.1 KB
|
3613ab8
|
11 years
|
faber |
Back out the badly executed memory leak changes
|
