From af240f26ba5026bdb41fabfff6fa8418f71edc16 Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Sun, 19 Sep 2021 17:07:26 +0000 Subject: deploy: 052033b521dafc77b7c97aacf43b028bdbd086b5 --- 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 6e0b068..71db939 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