Index of /~adrpo33/jmlc2006
Name Last modified Size Description
Parent Directory -
presentation/ 2006-09-18 19:26 -
README 2006-06-19 12:53 551
mf-MetaModelica.zip 2006-06-19 12:48 20K
test-SICSTUS-prolog.txt 2006-04-11 01:16 1.8K
mf-MetaModelica.tar.bz2 2006-04-09 20:16 14K
test-MAUDE-MSOS.txt 2006-04-08 01:57 407
mf.pl.txt 2006-04-08 01:51 9.1K
test-SWI-prolog.txt 2006-04-08 01:49 6.1K
test-MetaModelica.txt 2006-04-07 15:48 4.2K
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