Index of /~adrpo/jmlc2006

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 presentation/           18-Sep-2006 19:26    -   
 mf-MetaModelica.tar.bz2 09-Apr-2006 20:16   14K  
 mf-MetaModelica.zip     19-Jun-2006 12:48   20K  
 mf.pl.txt               08-Apr-2006 01:51  9.1K  
 test-MAUDE-MSOS.txt     08-Apr-2006 01:57  407   
 test-MetaModelica.txt   07-Apr-2006 15:48  4.2K  
 test-SICSTUS-prolog.txt 11-Apr-2006 01:16  1.8K  
 test-SWI-prolog.txt     08-Apr-2006 01:49  6.1K  

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