Timeline



Jul 13, 2010:

7:20 PM Changeset [6ede88c]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
autoconf/make/libtoolize
5:39 PM Changeset [06e2fc5]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
add swig
5:38 PM Changeset [15200be]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
move libabac into its own directory
1:02 PM Changeset [4e426c9]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
return boolean, partial proof on query failure
12:14 PM Changeset [825aa44]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
empty query result will not segfault
12:14 PM Changeset [9e353d2]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
changes for swig

Jul 12, 2010:

6:10 PM Changeset [2af3b82]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
Role a proper object
5:15 PM Changeset [9dffbd6]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
Credential a proper object
3:46 PM Changeset [64fa9ba]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
c++ wrapper of context
3:36 PM Changeset [401a054]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
attribute -> credential
3:00 PM Changeset [390f749]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
abac -> context

Jun 30, 2010:

10:23 PM Changeset [b159d70]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
libabac.so
6:43 PM Changeset [43e3b71]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
verifier -> abac_verifier .... last file w00t
6:40 PM Changeset [3c251d0]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
util -> abac_util
6:36 PM Changeset [dcc1a8e]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
role -> abac_role
6:32 PM Changeset [06293d1]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
graph -> abac_graph
6:26 PM Changeset [2fd24c7]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
set -> abac_set
6:20 PM Changeset [6d5623e]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
list -> abac_list
6:10 PM Changeset [dc62c68]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
return an array from a query, no longer depending on list.h
5:59 PM Changeset [9efbfbf]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
move to abac_chunk_t for external interface
5:54 PM Changeset [1743825]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
rename role_h to abac_role_h
5:52 PM Changeset [0bf0e67]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
merge attribute.h/role.h into abac.h
5:42 PM Changeset [804a66a]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
move attribute into attribute.h, rename abac_attribute_t
4:35 PM Changeset [03b3293]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
load certs from directory is a convenience method in libabac
4:01 PM Changeset [b08dc70]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
include graph_dup
3:29 PM Changeset [7dd5f2e]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
flesh out abac interface, test in prover
3:29 PM Changeset [6dd2d1a]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
kill memory leak
2:18 PM Changeset [b26942d]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
dup a graph

Jun 29, 2010:

8:59 PM Changeset [90d20f0]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
libabac interface n.b. free won't work since graph isn't cloned
8:31 PM Changeset [e898049]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
load ID/attr from both chunks and files
5:23 PM Changeset [a722f68]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
misc little things
1:23 PM Changeset [186cb75]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
stop leaking memory (other than libstrongswan dlopen stuff)

Jun 28, 2010:

10:45 PM Changeset [902d079]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
get credentials from graph
10:24 PM Changeset [ae72c5d]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
add a richer edge that has certificate proof associated with it leaks …
10:11 PM Changeset [85f33fd]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
static method to build an attribute key from two roles
9:13 PM Changeset [85cdf53]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
get certificates from attribute_t
7:14 PM Changeset [5f99fbc]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
move attribute cert into verifier.c
6:56 PM Changeset [fdb4f28]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
move set definition into set.c
6:56 PM Changeset [48f3a37]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
meaningful comment
6:54 PM Changeset [f46412c]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
move vertex definition into graph.c
4:03 PM Changeset [0ec9e25]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
clean up comments
11:35 AM Changeset [5450aeb]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
load attributes from cert keystore
10:50 AM Changeset [3d277c0]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
add list

Jun 24, 2010:

6:09 PM Changeset [be963dc]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
clean up all memory leaks
5:48 PM Changeset [ea401bc]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
memory manage roles better
5:47 PM Changeset [ff3d104]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
strdup a NULL string returns NULL
4:03 PM Changeset [97a5e13]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
make queries on graph
3:48 PM Changeset [c03fe9b]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
principal part of role
3:46 PM Changeset [1fa0621]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
set contains
3:29 PM Changeset [6188f4e]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
keep track of derived edges
3:29 PM Changeset [d526b7a]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
remove from list
3:15 PM Changeset [23f8997]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
free list
2:57 PM Changeset [53dcc72]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
fix debug_printf in prover
2:56 PM Changeset [9536712]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
postorder works
2:56 PM Changeset [dbbf777]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
debug printf
2:45 PM Changeset [d8990b3]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
free list
2:42 PM Changeset [ebde9dd]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
partial conversion of perl to C
2:31 PM Changeset [379a53f]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
switch to home-grown list instead of array
2:29 PM Changeset [4d8ddbe]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
malloc more than the size of the pointer

Jun 23, 2010:

10:54 PM Changeset [5134d1f]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
malloc full size of struct
9:52 PM Changeset [82aeefa]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
create graph object struct
9:43 PM Changeset [a58bcab]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
remove needless type field from foreach
9:42 PM Changeset [cb0f2b2]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
set, postorder
6:19 PM Changeset [341033c]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
simplify array
5:58 PM Changeset [c28bd8b]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
get_vertex creates a vertex if it doesn't exist
5:50 PM Changeset [d4cbf71]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
derive linked edges
Note: See TracTimeline for information about the timeline view.