Files

Test

Name		Name	Last commit message	Last commit date
parent directory ..
.gitignore		.gitignore
Makefile		Makefile
Nonstd.v		Nonstd.v
README.md		README.md
Test.v		Test.v
Test2.v		Test2.v
TestFunc.v		TestFunc.v
TestPaper.v		TestPaper.v
TestRefman.v		TestRefman.v
_CoqProject		_CoqProject
autobisect.v		autobisect.v
summation.v		summation.v

README.md

This directory contains test files for future continuous integration.