Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest-stats
changeset 20615 0d71cc267e0d
parent 20613 8f2731bfe86f
child 20617 ca59894f70dc
equal deleted inserted replaced
20614:948ad402c8a7 20615:0d71cc267e0d 
     5 #
 
     5 #
 
     6 # DESCRIPTION: Standard statistics.
 
     6 # DESCRIPTION: Standard statistics.
 
     7 
     7 
     8 THIS=$(cd "$(dirname "$0")"; pwd -P)
 
     8 THIS=$(cd "$(dirname "$0")"; pwd -P)
 
     9 
     9 
    10 "$THIS/isatest-statistics" stats/at-poly at-poly 100 \
 
    10 for PLATFORM in at-poly at-sml-dev
 
    11   HOL \
 
    11 do
 
    12   HOL-Algebra \
 
    12   "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 1000 \
 
    13   HOL-Auth \
 
    13     HOL \
 
    14   HOL-Bali \
 
    14     HOL-Algebra \
 
    15   HOL-Complex \
 
    15     HOL-Auth \
 
    16   HOL-Extraction \
 
    16     HOL-Bali \
 
    17   HOL-Hoare \
 
    17     HOL-Complex \
 
    18   HOL-HoareParallel \
 
    18     HOL-Extraction \
 
    19   HOL-Lambda \
 
    19     HOL-Hoare \
 
    20   HOL-MicroJava \
 
    20     HOL-HoareParallel \
 
    21   HOL-NumberTheory \
 
    21     HOL-Lambda \
 
    22   HOL-SET-Protocol \
 
    22     HOL-MicroJava \
 
    23   HOL-UNITY \
 
    23     HOL-NumberTheory \
 
    24   HOL-ex \
 
    24     HOL-SET-Protocol \
 
    25   ZF \
 
    25     HOL-UNITY \
 
    26   ZF-Constructible
 
    26     HOL-ex \
 
       
    27     ZF \
 
       
    28     ZF-Constructible
 
       
    29 done
isabelle