From 80568aaef48fab6aff08d0cc724909e5afeee5dd Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Sun, 19 Sep 2021 23:17:53 +0000 Subject: deploy: 5508c21e064276aa4d5146b3af5b6f6e9a4c2364 --- docs/unreleased/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/unreleased') diff --git a/docs/unreleased/index.html b/docs/unreleased/index.html index 50abfc8..4edd082 100644 --- a/docs/unreleased/index.html +++ b/docs/unreleased/index.html @@ -1,7 +1,7 @@ Unreleased Features | Vericert -

+

Unreleased Features

Unreleased Features

The following are unreleased features in Vericert that are currently being worked on and have not been completely proven correct yet. Currently this includes features such as:

scheduling,
operation chaining,
if-conversion, and
functions.

This page gives some preliminary information on how the features are implemented and how the proofs -- cgit