Alexander Medvednikov a251db068f run vfmt on math and sha; add vfmt check to test-compiler		2019-12-22 02:50:20 +03:00
..
sha512.v	…
sha512_test.v	…
sha512block_generic.v	…