diff options
| author | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-04-16 15:00:33 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-07-23 05:57:59 -0400 |
| commit | 16c1fb2d4ac691e941456a084284020c63fce93a (patch) | |
| tree | 0f7cf24be334788c9f9bb8242966df83f6266dc6 /include/litmus/unistd_32.h | |
| parent | 4bc55d3b64fdf0af17f4777013a74fbef7f40ced (diff) | |
P-FP: port P-FP plugin used in B. Brandenburg's
dissertation (branch bbb-diss) to current
version of litmus
This is needed for ongoing projects
I took the unchanged code but removed some leftovers
of OMLP which is not implemented
Diffstat (limited to 'include/litmus/unistd_32.h')
0 files changed, 0 insertions, 0 deletions