diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-12-23 22:16:16 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-23 22:16:16 +0100 |
| commit | 1b7d76b45c6e87f5d8e867c7ef69afdb1110a579 (patch) | |
| tree | d09c0700c3a162a609961e2c8810b33bf52e61ab | |
| parent | be7d734e2cbf3f2619f83ad284cfd31f4fc36821 (diff) | |
| download | vericert-docs-1b7d76b45c6e87f5d8e867c7ef69afdb1110a579.tar.gz vericert-docs-1b7d76b45c6e87f5d8e867c7ef69afdb1110a579.zip | |
Update documentation with new git repository
| -rw-r--r-- | config.toml | 7 | ||||
| -rw-r--r-- | documentation.org | 9 |
2 files changed, 14 insertions, 2 deletions
diff --git a/config.toml b/config.toml index 9abdf88..c4b6101 100644 --- a/config.toml +++ b/config.toml @@ -15,10 +15,15 @@ pygmentsUseClasses = true [menu] [[menu.after]] - name = "Github" + name = "Github mirror" url = "https://github.com/ymherklotz/vericert" weight = 10 +[[menu.after]] + name = "Git repository" + url = "https://sr.ht/~ymherklotz/vericert" + weight = 20 + [params] BookTheme = "auto" BookSection = "/" diff --git a/documentation.org b/documentation.org index eb283b0..5740318 100644 --- a/documentation.org +++ b/documentation.org @@ -34,7 +34,14 @@ have all been proven correct, providing a verified translation from C to Verilog Verification of High-Level Synthesis. In /Proc. ACM Program. Lang./ 5, OOPSLA, 2021. [{{{link([[/papers/fvhls_oopsla21.pdf][pdf]],[[./static/papers/fvhls_oopsla21.pdf][pdf]])}}}] - LATTE '21 :: Yann Herklotz and John Wickerson. High-level synthesis tools should be proven - correct. In /Workshop on Languages, Tools, and Techniques for Accelerator Design/, 2021. [{{{link([[/papers/hlsspc_latte2021.pdf][pdf]],[[./static/papers/hlsspc_latte2021.pdf][pdf]])}}}] + correct. In /Workshop on Languages, Tools, and Techniques for Accelerator + Design/, 2021. [{{{link([[/papers/hlsspc_latte2021.pdf][pdf]],[[./static/papers/hlsspc_latte2021.pdf][pdf]])}}}] + +** Mailing lists + +For discussions, you can join the following mailing list: [[https://lists.sr.ht/~ymherklotz/vericert-discuss][lists.sr.ht/~ymherklotz/vericert-discuss]]. + +For contributing patches to the [[https://sr.ht/~ymherklotz/vericert/][sourcehut]] repository: [[https://lists.sr.ht/~ymherklotz/vericert-devel][lists.sr.ht/~ymherklotz/vericert-devel]]. * Index :PROPERTIES: |