unzner 715a393598 Introducing the BufferCache announced on the mailing list, and some small changes. L4Sys is still WIP. ...

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1316 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

2012-06-06 15:13:16 +00:00

..

attic

The patch I announced on the mailing list regarding address space recognition.

2012-05-28 09:23:27 +00:00

checksum-oostubs

bugfix: we still need the tracefile variable

2012-06-06 14:27:26 +00:00

coolchecksum

coolchecksum adapted to ProtoStream

2012-05-30 12:56:29 +00:00

FaultCoverageExperiment

The patch I announced on the mailing list regarding address space recognition.

2012-05-28 09:23:27 +00:00

fireinterrupt

The patch I announced on the mailing list regarding address space recognition.

2012-05-28 09:23:27 +00:00

hscsimple

The patch I announced on the mailing list regarding address space recognition.

2012-05-28 09:23:27 +00:00

l4sys

Introducing the BufferCache announced on the mailing list, and some small changes. L4Sys is still WIP.

2012-06-06 15:13:16 +00:00

MHTestCampaign

The patch I announced on the mailing list regarding address space recognition.

2012-05-28 09:23:27 +00:00

TracingTest

TracingTest adapted to ProtoStream

2012-06-05 14:26:45 +00:00

weathermonitor

bugfix: we still need the tracefile variable

2012-06-06 14:27:26 +00:00

CMakeLists.txt

no experiment is enabled by default

2012-03-12 09:51:27 +00:00

instantiate-experiment.ah.in

another directory rename: failstar -> fail

2012-03-08 19:43:02 +00:00