Ignore:
Timestamp:
Oct 10, 2017, 4:29:47 PM (7 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
d2e2865
Parents:
08da53d (diff), c386bc1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/tests/boundedBuffer.c

    r08da53d rc366ec6  
    6767}
    6868
    69 forall(dtype T | sized(T) | { void ^?{}(T & mutex); })
    70 void delete( T * th ) {
    71     ^(*th){};
    72     free( th );
    73 }
    74 
    7569int main() {
    7670    Buffer buffer;
Note: See TracChangeset for help on using the changeset viewer.