source: CIVL/examples/pthread/README@ 42e5d6e

1.23 2.0 main test-branch
Last change on this file since 42e5d6e was da342d8, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

added examples/pthread folder for John's pthread translation (in progress).

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@941 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 189 bytes
Line 
1This folder contains examples of translating pthread programs.
2John is in charge of this folder. This work is still in progress,
3so it is expected to see errors when running the code here.
Note: See TracBrowser for help on using the repository browser.