README.html
: this fileLICENSE.txt
: Apache 2.0 licensebin/moonwalker.exe
: MoonWalker executablebin/Mono.Cecil.dll
: Mono's
Cecil library
(version 0.6), needed by MoonWalker. bin/C5*
:
C5 library
(version 1.0.2), needed by MoonWalker. examples/*.cs
: some C# examplesbin
directory of the binary distribution contains
all files needed to run MoonWalker. The moonwalker.exe
file can be installed anywhere, as long as both *.dll
files are placed in the same directory.
mcs Deadlock.csIf the C# program contains assertion checks, compile the model with
-d:DEBUG
, otherwise the assertion checks are not compiled
into the resulting assembly. mono moonwalker.exe -a Deadlock.exeIf MoonWalker finds an error in the program (i.e. a deadlock or assertion violation) it will write a trace leading to the error into a file with extension
.trace
(in the above
example this would be Deadlock.exe.trace
).
A useful extra option to MoonWalker is -s
which shows
statistics on the verification run. mono moonwalker.exe -h
1.0.1 | 2008.04.11 | First public release of MoonWalker (binary and source). |
1.0.0 | 2007.12.19 | New version after MSc Project by Viet Yen Nguyen. Much improved performance due to optimisations like, e.g. , dynamic partial order reduction, memoised garbage collection, structured exception handling mechanism. |
0.5.5 | 2007.03.28 | Bytecode 2007 version: improved error trace + state information. |
0.5.1 | 2006.12.18 | First public release (binary only). |
0.5 | 2006.08.28 | Initial version after MSc Project of Niels Aan de Brugh. |
This page has last been updated by Theo Ruys on Friday, 11 April 2008.