diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:56:42 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:56:42 +0000 |
commit | 048e219468508ad403e576ef15a416fd8d051b22 (patch) | |
tree | 4d4f27abbcb83daa222de043685a0207ca8e6a93 | |
parent | bbfba26e5131665dbf3e7f6adf0c1746dccec243 (diff) | |
download | vericert-048e219468508ad403e576ef15a416fd8d051b22.tar.gz vericert-048e219468508ad403e576ef15a416fd8d051b22.zip |
Update README with correct link
-rw-r--r-- | README.md | 8 | ||||
-rw-r--r-- | README.org | 3 |
2 files changed, 5 insertions, 6 deletions
@@ -4,8 +4,8 @@ - [Setting up Nix](#setting-up-nix) - [Makefile build](#makefile-build) - [Running](#running) - - [Citation](#org741ad34) - - [License](#orgb089937) + - [Citation](#orge392203) + - [License](#org8a5a598) <a href="https://vericert.ymhg.org"><img src="https://vericert.ymhg.org/vericert-main.svg" width="100%" height="144" /></a> @@ -109,7 +109,7 @@ To test out `vericert` you can try the following examples which are in the test ``` -<a id="org741ad34"></a> +<a id="orge392203"></a> # Citation @@ -132,7 +132,7 @@ If you use Vericert in any way, please cite it using our [OOPSLA’21 paper] ``` -<a id="orgb089937"></a> +<a id="org8a5a598"></a> # License @@ -137,8 +137,7 @@ This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][G The following external code and its license is present in this repository: -- [[/src/pipelining -][/src/pipelining]] :: MIT +- [[/src/pipelining][/src/pipelining]] :: MIT #+begin_src text Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA |