source: libabac @ a39bdab

Name	Size	Rev	Age	Author	Last Change
../
compat		23bc596	11 years	faber	Pass -Wall on Ubuntu
options.h	355 bytes ​	91a6b20	11 years	Mei	1) add cleanup for options(leak)
abac_set.h	435 bytes ​	e2a0f26	14 years	Mike Ryan	derive edges from intersections
abac_xml.h	615 bytes ​	831da18	11 years	Mei	1) getting ready to for 0.1.6
abac_util.h	671 bytes ​	756011e	11 years	faber	Now we pass -Wall with no warnings.
prover_plus.cc	735 bytes ​	55c272b	14 years	Mike Ryan	remove libabac_init and libabac_deinit
libabac_common.h	857 bytes ​	4721618	11 years	Mei	1) tested out python and perl test scripts along with abac_chunk_t …
abac_list.h	875 bytes ​	15200be	14 years	Mike Ryan	move libabac into its own directory
abac_verifier.h	1.0 KB ​	756011e	11 years	faber	Now we pass -Wall with no warnings.
abac_openssl.h	1.1 KB ​	a02c849	11 years	Mei	1) add examples from wiki into regression tests 2) add code to …
abac_list.c	1.1 KB ​	15200be	14 years	Mike Ryan	move libabac into its own directory
abac_graph.h	1.3 KB ​	d4b3b52	12 years	faber	Better partial proofs
options.c	1.7 KB ​	efdaaa5	11 years	Mei	1) un-refcount vertex
abac_set.c	2.1 KB ​	e2a0f26	14 years	Mike Ryan	derive edges from intersections
prover.c	2.3 KB ​	0a1ee31	11 years	Mei	1) merged with ted's changes
abac_util.c	2.4 KB ​	0a1ee31	11 years	Mei	1) merged with ted's changes
abac_keyid_map.c	8.1 KB ​	65e3c6b	11 years	Mei	1) fixed an off by one bug in expand_key
abac_role.c	9.8 KB ​	f2622ee	11 years	Mei	1) ran with valgrind and did some leak patching
abac_verifier.c	11.2 KB ​	756011e	11 years	faber	Now we pass -Wall with no warnings.
abac.c	11.3 KB ​	7cefdb4	11 years	faber	Use the full path
abac.h	11.7 KB ​	0a1ee31	11 years	Mei	1) merged with ted's changes
abac_id.c	12.4 KB ​	0a1ee31	11 years	Mei	1) merged with ted's changes
abac_attribute.c	14.0 KB ​	75fc453	11 years	Mei	1) last missing return call
abac_openssl.c	16.0 KB ​	2e92c62	11 years	Mei	1) take out debug statement and fix SSL_keyid.c's compiler warning
abac_graph.c	19.8 KB ​	756011e	11 years	faber	Now we pass -Wall with no warnings.
abac.hh	22.7 KB ​	a39bdab	10 years	faber	Differentially cleaner C++ STL invocation. Passes clang++.
utlist.h	36.1 KB ​	15200be	14 years	Mike Ryan	move libabac into its own directory
abac_xml.c	52.1 KB ​	547bac4	10 years	faber	Prevent double free if key is attached to sig context
uthash.h	63.0 KB ​	15200be	14 years	Mike Ryan	move libabac into its own directory

Property mode set to 040000