index
:
vericert
debug/unhashed
dev-michalis
dev/asplos
dev/div
dev/divider
dev/full-nix-build
dev/mac-op
dev/michalis
dev/scheduling
dev/value
exp/inl-cse-const
master
stable
Vericert is a formally verified high-level synthesis tool.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.envrc
8
log
stats
plain
-rw-r--r--
.gitattributes
106
log
stats
plain
d---------
.github
/
workflows
36
log
stats
plain
-rw-r--r--
.gitignore
3539
log
stats
plain
-rw-r--r--
.gitmodules
181
log
stats
plain
-rw-r--r--
.ocamlformat
0
log
stats
plain
-rw-r--r--
CHANGELOG.org
1681
log
stats
plain
-rw-r--r--
CITATION.cff
1377
log
stats
plain
-rw-r--r--
LICENSE
35138
log
stats
plain
-rw-r--r--
Makefile
2236
log
stats
plain
-rw-r--r--
README.md
5289
log
stats
plain
-rw-r--r--
README.org
5228
log
stats
plain
-rw-r--r--
_CoqProject
503
log
stats
plain
d---------
benchmarks
319
log
stats
plain
d---------
debug
72
log
stats
plain
-rw-r--r--
default.nix
776
log
stats
plain
m---------
docs
@ 36abd86
0
log
stats
d---------
driver
77
log
stats
plain
-rw-r--r--
dune
425
log
stats
plain
d---------
example
153
log
stats
plain
d---------
include
33
log
stats
plain
d---------
ip
118
log
stats
plain
d---------
lib
36
log
stats
plain
d---------
scripts
367
log
stats
plain
-rw-r--r--
shell.nix
304
log
stats
plain
d---------
src
334
log
stats
plain
d---------
test
292
log
stats
plain
-rw-r--r--
vericert.opam
0
log
stats
plain