altera hal version