Index of /~adrpo33/jmlc2006

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] presentation/ 2006-09-18 19:26 - [TXT] test-SWI-prolog.txt 2006-04-08 01:49 6.1K [TXT] test-SICSTUS-prolog.txt 2006-04-11 01:16 1.8K [TXT] test-MetaModelica.txt 2006-04-07 15:48 4.2K [TXT] test-MAUDE-MSOS.txt 2006-04-08 01:57 407 [TXT] mf.pl.txt 2006-04-08 01:51 9.1K [   ] mf-MetaModelica.zip 2006-06-19 12:48 20K [   ] mf-MetaModelica.tar.bz2 2006-04-09 20:16 14K [TXT] README 2006-06-19 12:53 551
Tests area for JMLC2006

- mf.pl.txt is the SICStus and SWI-Prolog testsuite

- mf-MetaModelica.tar.bz2 is the MetaModelica testsuite
- mf-MetaModelica.zip is zip version of the MetaModelica testsuite

- MAUDE MSOS Tool testsuite can be downloaded from here:
  + http://maude-msos-tool.sourceforge.net/case-studies.html

- the test-* are self describing

For the MetaModelica testsuite rml-mmc compiler system is needed:
http://www.ida.liu.se/~pelab/rml
The Mini-Freja is part of the rml-mmc examples.

2006-04-07
Adrian Pop/

Last update: 2006-06-19