Skip to main content

Browse the archive

https://github.com/mit-plv/fiat-crypto
12 July 2022, 18:24:35 UTC
Revision 6ccc6638716d4632304baf1adbb5c47c3a12ea6f authored by Jason Gross on 22 March 2022, 01:49:47 UTC, committed by Jason Gross on 22 March 2022, 14:55:46 UTC 
Fix `app_consts`
 
Roughly the issue is that app_consts leaves over spurious x * 1 that
don't get removed by subsequent passes.  c.f.
https://github.com/mit-plv/fiat-crypto/pull/1134#issuecomment-1074461171
1 parent 2f04776
Raw File
Tip revision: 6ccc6638716d4632304baf1adbb5c47c3a12ea6f authored by Jason Gross on 22 March 2022, 01:49:47 UTC
Fix `app_consts`
Tip revision: 6ccc663
turboboost.sh 
#!/bin/sh
set -eu

usage() {
  echo "USAGE: $0 <on|off>" ; exit 111
}

if [ "$#" -eq 0 ]; then
  usage
fi

case $1 in
  on) echo 0 > /sys/devices/system/cpu/intel_pstate/no_turbo ;;
  off) echo 1 > /sys/devices/system/cpu/intel_pstate/no_turbo ;;
  *) usage
esac
back to top