From bb9ad00fce55d539a2cb7664ced14b78a3c681fb Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Wed, 22 Sep 2021 22:00:08 +0000 Subject: deploy: bf845f5601bef0b7b1bafa5db39a4a116a6a8d3b --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'index.html') diff --git a/index.html b/index.html index d9ed671..39221f8 100644 --- a/index.html +++ b/index.html @@ -1,5 +1,5 @@ Vericert | Vericert +Features # The project is currently a work in progress. Currently, the following C features are supported and have all been proven correct, providing a verified translation from C to Verilog:">Vericert | Vericert
Vericert

A formally verified high-level synthesis (HLS) tool written in Coq, building on top of CompCert. -- cgit