Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
Search
Context Navigation
View Latest Revision
source:
swig
/
python
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@605ee1d
13 years
Mike Ryan
be clear when a proof has failed
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
tvf-new-xml
(edit)
@b099964
14 years
Mike Ryan
compile error in python swig
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@97f6219
14 years
Mike Ryan
convert from native Python files to FILE * in swig
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@df3fe37
14 years
Mike Ryan
always return a string for chunk_t
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@bc62c32
14 years
Mike Ryan
check type of data being passed as an abac_chunk in the python. handle …
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@d61911e
14 years
Mike Ryan
example code for integrating creddy and libabac
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
0.1.2
(edit)
@a5a8234
14 years
Mike Ryan
add the chunk swig file.. forgot to add this a few revisions ago
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@11e3eb7
14 years
Mike Ryan
return binary representations of ID and attr certs in abac_chunk_t …
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@9e51a80
14 years
Mike Ryan
sample perl/python code for libcreddy
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@2c78540
14 years
Mike Ryan
python support for libcreddy, closes
#10
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@55c272b
14 years
Mike Ryan
remove libabac_init and libabac_deinit
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@7af34ed
14 years
Mike Ryan
give query options to example prover code
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@43a5429
14 years
Mike Ryan
install python into python lib dir
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@e96c107
14 years
Mike Ryan
match example keystore
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@ade843e
14 years
Mike Ryan
support strings instead of bytearrays in python < 2.6
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(edit)
@9b0b961
14 years
Mike Ryan
map abac_chunk_t <-> python byte array
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
(add)
@06e2fc5
14 years
Mike Ryan
add swig
abac0-leak
abac0-mei
compt_changes
gec13
mei-id
mei-rt0-n
mei_rt0
mei_rt2
mei_rt2_fix_1
meiyap-rt1
meiyap1
rt2
tvf-new-xml
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog