Commit
1 year ago
Small fixes - Add method `hasFloatingPointBundles` to simplify checks, - Update comments in `TailRecursionElimination.cpp`, - Updated messages in Verifier, - Add Verifier tests. - Rebame remained cases of 'fpe.round' for 'fpe.control'
Author
Committer
Parents
Loading