Alexander Medvednikov a251db068f run vfmt on math and sha; add vfmt check to test-compiler		2019-12-22 02:50:20 +03:00
..
live_main.v	live: always add os and time when compiling -live programs	2019-12-09 13:48:41 +03:00
live_shared.v	live: always add os and time when compiling -live programs	2019-12-09 13:48:41 +03:00
tests_assertions.v	run vfmt on math and sha; add vfmt check to test-compiler	2019-12-22 02:50:20 +03:00
tests_with_stats.v	testing: support for internal module testing	2019-12-14 15:57:28 +03:00