|
../
|
|
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.3 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
options.h
|
355 bytes
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
options.c
|
1.7 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
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
|
51.0 KB
|
f2622ee
|
11 years
|
Mei |
1) ran with valgrind and did some leak patching
|
|
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
|
11.2 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
abac_util.h
|
593 bytes
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
abac_util.c
|
2.0 KB
|
f2622ee
|
11 years
|
Mei |
1) ran with valgrind and did some leak patching
|
|
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
|
f2622ee
|
11 years
|
Mei |
1) ran with valgrind and did some leak patching
|
|
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
|
f2622ee
|
11 years
|
Mei |
1) ran with valgrind and did some leak patching
|
|
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.6 KB
|
f2622ee
|
11 years
|
Mei |
1) ran with valgrind and did some leak patching
|
|
abac_graph.h
|
1.3 KB
|
d4b3b52
|
12 years
|
faber |
Better partial proofs
|
|
abac_graph.c
|
20.0 KB
|
f2622ee
|
11 years
|
Mei |
1) ran with valgrind and did some leak patching
|
|
abac_attribute.c
|
13.9 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
abac.hh
|
22.8 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
abac.h
|
11.5 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
|
abac.c
|
11.3 KB
|
7764378
|
11 years
|
Mei |
1) tweak according valgrind's leak report
|
