bsvtokami

Bsvtokami translates BSV source code into Kami for use in the Coq proof assistant.

Name		Name	Last commit message	Last commit date
Latest commit History 901 Commits
bbv @ 143c47b		bbv @ 143c47b
coq-record-update @ f100309		coq-record-update @ f100309
cpp		cpp
example		example
kami-examples		kami-examples
kamilib		kamilib
lib		lib
parser-tests		parser-tests
prooftests		prooftests
python		python
src		src
tests		tests
z3 @ e79542c		z3 @ e79542c
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
ConnectalProjectConfig.bsv		ConnectalProjectConfig.bsv
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bsvparse		bsvparse
build.gradle		build.gradle
requirements.txt		requirements.txt
settings.gradle		settings.gradle

Provide feedback