Timeline



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

Jun 4, 2010:

1:05 AM Changeset [c942f62]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
role_is_linked -> role_is_linking (to match .h)
1:00 AM Changeset [c51730d]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
add attributes to cred graph
12:59 AM Changeset [7e05a2f]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
create string version of role

Jun 3, 2010:

11:04 PM Changeset [c66e07c]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
code to free roles
10:57 PM Changeset [7f25a67f]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2tvf-new-xml by Mike Ryan <mikeryan@…>
load and print roles
Note: See TracTimeline for information about the timeline view.