diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-19 01:50:42 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-19 01:50:42 +0100 |
| commit | 8d74fffc72abb3cc20df691d9d40c73fbd1c0c27 (patch) | |
| tree | a330d4e6115f772754eecb6aff4107869eb1101d | |
| parent | a2cee6bf9698e3dec54dd40385ccf7eb127270ab (diff) | |
| parent | b6de77b0c4392dbfaa365b709cab99222f8dfa84 (diff) | |
| download | vericert-docs-8d74fffc72abb3cc20df691d9d40c73fbd1c0c27.tar.gz vericert-docs-8d74fffc72abb3cc20df691d9d40c73fbd1c0c27.zip | |
Merge branch 'master' of github.com:ymherklotz/vericert-docs into HEAD
| -rw-r--r-- | documentation.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation.org b/documentation.org index 548826f..13b99f0 100644 --- a/documentation.org +++ b/documentation.org @@ -6,7 +6,6 @@ * Vericert :PROPERTIES: :EXPORT_FILE_NAME: _index -:EXPORT_DATE: <2021-01-16 Sat> :END: A formally verified high-level synthesis (HLS) tool written in Coq, building on top of [[https://github.com/AbsInt/CompCert][CompCert]]. @@ -268,6 +267,7 @@ Loop pipelining :END: Functions. + * Coq Style Guide :PROPERTIES: :CUSTOM_ID: coq-style-guide |