Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/tests-important-110722ff.txt
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 26 Jul 2011 14:35:06 +0200
branchdecompose-isar
changeset 42201 622e82c76fd7
permissions -rw-r--r--
uncomment tests, compared with akargl

comments started in test/Tools/isac/tests-important-110722ff.txt 
     1 see  ~/devel/isac/isac-11/

     2      isabisac/test/Tools/isac/

     3 

     4 110722:

     5 test/Tools/isac/ProgLang/termC.sml:

     6 "----------- subst_atomic_all ---------------------------";

     7 "----------- Pattern.match ------------------------------";

     8 

     9 test/Tools/isac/Knowledge/eqsystem.sml:

    10 "----------- refine [linear,system]-------------------------------";

    11 

    12 /usr/local/isabisac/test/Tools/isac/Knowledge/diffapp.sml

    13 "--------- me .. scripts for maximum-example ---------------------";

    14 "----------- IntegrierenUndKonstanteBestimmen by rewriting -------";

    15 "----------- Bsp 7.27 me -----------------------------------------";

    16 etc

    17 

    18 /usr/local/isabisac/test/Tools/isac/Knowledge/algein.sml

    19 "----------- me 'Berechnung' 'erstNumerisch' ---------------------";

    20 "----------- auto 'Berechnung' 'erstSymbolisch' ------------------";

    21 etc

    22 110726: mit Alexander

    23 ProgLang

    24   calculate.sml         ?

    25   rewrite.sml           ?

    26   termC.sml             ?

    27   tools.sml             ?

    28 xmlsrc

    29   pbl/met-hierarchies don't work

    30 Interpret

    31   max example has some errors
wneuper/isa