diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 16:35:42 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 16:35:42 +0100 |
| commit | e2bbdafecc8f335d58d7137519392d9c909009fe (patch) | |
| tree | bc8d267f0c3f5fd2926e1f39ff31fe8842ce9c29 | |
| parent | f85238030a96a082f19446a7998da97123ce7026 (diff) | |
| download | vericert-docs-e2bbdafecc8f335d58d7137519392d9c909009fe.tar.gz vericert-docs-e2bbdafecc8f335d58d7137519392d9c909009fe.zip | |
Update the date of the blog post
| -rw-r--r-- | documentation.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation.org b/documentation.org index b83d38e..4962faa 100644 --- a/documentation.org +++ b/documentation.org @@ -629,7 +629,7 @@ Blog posts: ** A First Look at Vericert :introduction:summary:@article: :PROPERTIES: -:EXPORT_DATE: 2021-09-21 +:EXPORT_DATE: 2021-10-09 :EXPORT_FILE_NAME: a-first-look-at-vericert :EXPORT_HUGO_SECTION: blog :EXPORT_HUGO_CUSTOM_FRONT_MATTER: :summary "Vericert is a formally verified high-level synthesis tool, translating C code into a hardware design expressed in Verilog." |