diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-05 14:51:00 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-05 14:51:00 +0000 |
| commit | 518acb94265ad29f7a6081efb682d10bc685e759 (patch) | |
| tree | 9c77b729d07ef02a4d57dfe78fc064f227837942 | |
| parent | 120edd54abf5155b9fc0f3396ee767a6995169e7 (diff) | |
| download | vericert-kvx-518acb94265ad29f7a6081efb682d10bc685e759.tar.gz vericert-kvx-518acb94265ad29f7a6081efb682d10bc685e759.zip | |
Update links in README
| -rw-r--r-- | README.md | 12 | ||||
| -rw-r--r-- | README.org | 4 |
2 files changed, 8 insertions, 8 deletions
@@ -4,8 +4,8 @@ - [Setting up Nix](#setting-up-nix) - [Makefile build](#makefile-build) - [Running](#running) - - [Citation](#orge392203) - - [License](#org8a5a598) + - [Citation](#org28fad40) + - [License](#org5eb199f) <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="orge392203"></a> +<a id="org28fad40"></a> # Citation @@ -132,15 +132,15 @@ If you use Vericert in any way, please cite it using our [OOPSLA’21 paper] ``` -<a id="org8a5a598"></a> +<a id="org5eb199f"></a> # License -This project is licensed under [GPLv3](https://www.gnu.org/licenses/gpl-3.0.en.html). The license can be seen in [/LICENSE](file:///LICENSE). +This project is licensed under [GPLv3](https://www.gnu.org/licenses/gpl-3.0.en.html). The license can be seen in [LICENSE](LICENSE). The following external code and its license is present in this repository: -- **[/src/pipelining](file:///src/pipelining):** MIT +- **[src/pipelining](src/pipelining):** MIT ```text Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA @@ -133,11 +133,11 @@ If you use Vericert in any way, please cite it using our [[https://yannherklotz. ** License -This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][GPLv3]]. The license can be seen in [[/LICENSE][/LICENSE]]. +This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][GPLv3]]. The license can be seen in [[file:LICENSE][LICENSE]]. The following external code and its license is present in this repository: -- [[/src/pipelining][/src/pipelining]] :: MIT +- [[file:src/pipelining][src/pipelining]] :: MIT #+begin_src text Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA |