Florian Lukas b82e547b53 plugins/randomgenerator: add deterministic PRNG plugin
A simple plugin which deterministically returns a new random value
each time the specified symbol is read.

Change-Id: I6ccac421fc064f02a88e8b126f8a26044d1f51c6
2014-02-18 16:40:34 +01:00
2014-01-28 11:07:34 +01:00
2013-11-06 17:37:20 +01:00
2014-01-21 16:09:08 +01:00

This is an import of the old danceos svn repository.  The Fail* development
started with rev 187, but this git import only contains revisions 956 and newer
due to directory structure changes.

Imported from external gitsvn checkout.
http://www.kernel.org/pub/software/scm/git/docs/howto/using-merge-subtree.html
Description
No description provided
Readme 38 MiB
Languages
C++ 45%
C 36.8%
Python 8.2%
Shell 1.7%
Makefile 1.6%
Other 6.2%