source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Graph Diff Rev Age Author Log Message
(edit) @8465b4d   6 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @e2702fd   6 years Thierry Delisle Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @dcf1979   6 years Thierry Delisle Jenkins file now calls autogen.sh before building ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @a8bad5b   6 years Thierry Delisle Added automake generate files to git ignore ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @6bd2cfb   6 years Thierry Delisle Removed generated automake files. * WARNING * With this push … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @f575124   6 years Thierry Delisle Added script to setup automake before running configure ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @bcadb26   6 years Thierry Delisle clean-up in makefiles and regenerated defines.hfa.in ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @92aca37   6 years pabuhr formatting, temporarily remove default_heap_exhausted called when … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @1eb239e4   6 years Thierry Delisle Removed snzi and replaced it with a fast/slow path ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @53fd995   6 years pabuhr change ceiling calls to ceiling_div ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @fd24f8c   6 years pabuhr remove alignment tests for 0 as it is not a power of 2 (now checked), … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @da3b790   6 years pabuhr add alignment verification to floor2 and ceiling2, add missing … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @0c30ecc   6 years Thierry Delisle Move cfa.m4 and cfa.make to tools/build ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @c1f38e6c   6 years pabuhr formatting, rename variable allocFree to allocUnfreed, fakeHeader … ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
(edit) @c8e4b23d   6 years Thierry Delisle Regenerated configure with correct version of autoconf ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
Note: See TracRevisionLog for help on using the revision log.