Skip to main content

Browse the archive

Revision f13f2ceaf401bda6f8aa1a2a8c8db3441c484181 authored by Mario Carneiro on 23 February 2023, 17:26:04 UTC, committed by Mario Carneiro on 23 February 2023, 17:26:04 UTC 
add files for ITP 2023 submission
1 parent c320e05
Raw File
analyze-mml.sh 
#!/bin/sh
MIZFILES=miz/mizshare
if [ "$1" = "" ]; then
  if command -v parallel; then
    parallel --progress -a miz/mizshare/mml.lar ./analyze-mml.sh
  else
    for base in `cat miz/mizshare/mml.lar`; do
      ./analyze-mml.sh $base
    done
  fi
else
  miz/mizbin/accom miz/mizshare/mml/$1.miz > /dev/null
  miz/mizbin/verifier -a miz/mizshare/mml/$1.miz > /dev/null
fi
back to top