From bb9ad00fce55d539a2cb7664ced14b78a3c681fb Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Wed, 22 Sep 2021 22:00:08 +0000 Subject: deploy: bf845f5601bef0b7b1bafa5db39a4a116a6a8d3b --- docs/unreleased/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/unreleased/index.html') diff --git a/docs/unreleased/index.html b/docs/unreleased/index.html index 4edd082..870b18c 100644 --- a/docs/unreleased/index.html +++ b/docs/unreleased/index.html @@ -1,6 +1,6 @@ Unreleased Features | Vericert + scheduling, operation chaining, if-conversion, and functions. This page gives some preliminary information on how the features are implemented and how the proofs for the features are being done. Once these features are properly implemented, they will be added to the proper documentation.">Unreleased Features | Vericert
Unreleased Features

Unreleased Features

The following are unreleased features in Vericert that are currently being worked on and have not -- cgit