README.html: this file
LICENSE.txt: Apache 2.0 license
bin/moonwalker.exe: MoonWalker executable
bin/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# examples
bindirectory of the binary distribution contains all files needed to run MoonWalker. The
moonwalker.exefile can be installed anywhere, as long as both
*.dllfiles 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
-swhich 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.