../
|
abac.c
|
9 bytes
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
abac.h
|
9 bytes
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
abac.hh
|
4.1 KB
|
a70acc9
|
14 years
|
Mike Ryan |
simplify Context::query logic a bit
|
abac_common.h
|
145 bytes
|
473dc8a
|
14 years
|
Mike Ryan |
forgot to add this
|
abac_list.c
|
1.4 KB
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
abac_list.h
|
929 bytes
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
abac_m64.c
|
4.9 KB
|
da5afdf
|
12 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
abac_oset.c
|
15.2 KB
|
c586a3c
|
12 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
abac_param.c
|
8.3 KB
|
36b100a
|
12 years
|
Mei |
1) fix up fruits_rt2_typed example to test different types of strings
…
|
abac_pl.c
|
7.6 KB
|
c586a3c
|
12 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
abac_pl.h
|
5.5 KB
|
0d0c3a9
|
12 years
|
Mei |
1) adding missing extern forward declarations that is causing
…
|
abac_pl_gen.c
|
23.4 KB
|
d5bbd3e
|
12 years
|
Mei |
1) add alumni2_rt1_typed
(target static range constraint)
2) add …
|
abac_pl_yap.c
|
14.7 KB
|
d5bbd3e
|
12 years
|
Mei |
1) add alumni2_rt1_typed
(target static range constraint)
2) add …
|
abac_pl_yap.h
|
757 bytes
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
abac_pl_yy.c
|
39.9 KB
|
d5bbd3e
|
12 years
|
Mei |
1) add alumni2_rt1_typed
(target static range constraint)
2) add …
|
abac_pl_yy.h
|
2.8 KB
|
0d0c3a9
|
12 years
|
Mei |
1) adding missing extern forward declarations that is causing
…
|
abac_role.c
|
13.9 KB
|
0d0c3a9
|
12 years
|
Mei |
1) adding missing extern forward declarations that is causing
…
|
abac_rt.h
|
1.1 KB
|
b5a3da4
|
12 years
|
Mei |
1) add abac_oset.c
2) reorganized some yyparse related files
|
abac_set.c
|
2.1 KB
|
e2a0f26
|
14 years
|
Mike Ryan |
derive edges from intersections
|
abac_set.h
|
435 bytes
|
e2a0f26
|
14 years
|
Mike Ryan |
derive edges from intersections
|
abac_stack.c
|
1.4 KB
|
da5afdf
|
12 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
abac_stack.h
|
954 bytes
|
da5afdf
|
12 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
abac_util.c
|
1.3 KB
|
c586a3c
|
12 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
abac_util.h
|
367 bytes
|
c586a3c
|
12 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
abac_verifier.c
|
17.6 KB
|
36b100a
|
12 years
|
Mei |
1) fix up fruits_rt2_typed example to test different types of strings
…
|
abac_verifier.h
|
524 bytes
|
202a7f9
|
12 years
|
Mei |
commited modified files for rt1
|
options.c
|
2.2 KB
|
da5afdf
|
12 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
options.h
|
353 bytes
|
da5afdf
|
12 years
|
Mei |
1) add static contraint
(limited to integer at this time)
|
prover_yap.c
|
1.9 KB
|
c586a3c
|
12 years
|
Mei |
1) add support for float static range constraint
2) add a testcase for …
|
rt2.l
|
7.9 KB
|
d5bbd3e
|
12 years
|
Mei |
1) add alumni2_rt1_typed
(target static range constraint)
2) add …
|
rt2.y
|
11.8 KB
|
36b100a
|
12 years
|
Mei |
1) fix up fruits_rt2_typed example to test different types of strings
…
|
uthash.h
|
63.0 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|
utlist.h
|
36.1 KB
|
15200be
|
14 years
|
Mike Ryan |
move libabac into its own directory
|