gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system
added a README file
authorDoni Pracner <>
Mon, 16 Dec 2013 19:02:30 +0000 (20:02 +0100)
committerDoni Pracner <>
Mon, 16 Dec 2013 19:16:56 +0000 (20:16 +0100)
README.txt [new file with mode: 0644]

diff --git a/README.txt b/README.txt
new file mode 100644 (file)
index 0000000..4d942d7
--- /dev/null
@@ -0,0 +1,45 @@
+MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT
+Quick build and test
+Running ant in the folder should compile the tool as well
+as the MJ compiler and then do a test - compile all of the
+sample MicroJava codes into MJ bytecode, translate them
+to WSL and then apply the given transformations in MetaWSL
+to the programs.
+- java JDK for compiling and running the mjc2wsl tool and the MJ compiler
+- ant for building and testing
+-- ant-contrib tasks are needed for some of the tasks
+- FermaT for running the translated examples and applying the transformations
+(FermaT Maintanance Environment can be used)
+Downloads available at
+Setting the FermaT dir
+The ant build script assumes that Fermat is in "C:/fermat3" under
+Windows and "~/fermat3" for everything else (Linux/Mac...).
+If you need to change this you can rename (or copy) the given
+file "" to "" and
+specify a correct path for your system.
+Project home:
+Feel free to contact Doni Pracner if you have any problems, ideas 
+or suggestions.
\ No newline at end of file maintanance Doni Pracner