source: libabac @ 05f6d35

Name	Size	Rev	Age	Author	Last Change
../
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.2 KB ​	6244e28	12 years	Mei	1) added extract_cn for abac_verifier.c 2) update example directory's …
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 ​	b92a620	12 years	Mei	1) route debug printf to stderr 2) add some check for swig in …
abac_term.c	28.3 KB ​	b92a620	12 years	Mei	1) route debug printf to stderr 2) add some check for swig in …
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 ​	b92a620	12 years	Mei	1) route debug printf to stderr 2) add some check for swig in …
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 ​	05f6d35	12 years	Mei	1) remove returns for YAP_WriteBuffer call
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 ​	ba6027a	12 years	Mei	1) modified code all around to add support for encrypted private key …
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 ​	ba6027a	12 years	Mei	1) modified code all around to add support for encrypted private key …
abac_attribute.c	10.9 KB ​	6244e28	12 years	Mei	1) added extract_cn for abac_verifier.c 2) update example directory's …
abac_aspect.c	23.4 KB ​	6244e28	12 years	Mei	1) added extract_cn for abac_verifier.c 2) update example directory's …
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 ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.
abac.c	16.3 KB ​	abf8d5d	12 years	Mei	1) add backtrack/multiple solutions proof code changes and new examples.

Property mode set to 040000