|
|
@80a0f3f
|
7 years |
khaefner |
initial commit
|
|
|
@2e92c62
|
11 years |
Mei |
1) take out debug statement and fix SSL_keyid.c's compiler warning
abac0-leak
|
|
|
@756011e
|
11 years |
faber |
Now we pass -Wall with no warnings.
abac0-leak
|
|
|
@7764378
|
11 years |
Mei |
1) tweak according valgrind's leak report
abac0-leak
|
|
|
@12a2fa7
|
11 years |
faber |
Restore proper perl exception handling - unclear how this was working …
abac0-leakabac0-meitvf-new-xml
|
|
|
@4721618
|
11 years |
Mei |
1) tested out python and perl test scripts along with
abac_chunk_t …
abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
|
|
|
@605ee1d
|
12 years |
Mike Ryan |
be clear when a proof has failed
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0tvf-new-xml
|
|
|
@8d4c54c
|
13 years |
Mike Ryan |
typo on function name
something tells me this wasn't tested before …
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@811fda1
|
13 years |
faber |
Untangle overloaded functions. See ticket #23
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@2a095a4
|
13 years |
Mike Ryan |
new method for writing certs/keys to file by name. lengthy explanation …
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@a5a8234
|
14 years |
Mike Ryan |
add the chunk swig file.. forgot to add this a few revisions ago
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@11e3eb7
|
14 years |
Mike Ryan |
return binary representations of ID and attr certs in abac_chunk_t …
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@9e51a80
|
14 years |
Mike Ryan |
sample perl/python code for libcreddy
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@2e046a2
|
14 years |
Mike Ryan |
perl support for libcreddy
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@55c272b
|
14 years |
Mike Ryan |
remove libabac_init and libabac_deinit
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@f1463c6
|
14 years |
Mike Ryan |
package and install perl modules
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@7af34ed
|
14 years |
Mike Ryan |
give query options to example prover code
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@e96c107
|
14 years |
Mike Ryan |
match example keystore
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@17ec3b0
|
14 years |
Mike Ryan |
get SSL public key hash instead of whole cert has
this still …
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@f7040d8
|
14 years |
Mike Ryan |
perl preprover
SSL key id differs from our (libabac) keyid
…
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@c987819
|
14 years |
Mike Ryan |
partial proof tester
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@e17b1fa
|
14 years |
Mike Ryan |
map abac_chunk_t <-> scalar in perl
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|
|
|
@06e2fc5
|
14 years |
Mike Ryan |
add swig
abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml
|