adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

trivial: fix c-parser link 

Signed-off-by: Gerwin Klein <kleing@unsw.edu.au>
This commit is contained in:
Gerwin Klein 2021-03-02 08:24:44 +11:00 committed by Gerwin Klein
parent bf5b97500a
commit 985ce0d28a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/autocorres/README.md
View File

@ -16,7 +16,7 @@ abstracts the result to produce a result that is (hopefully)
more pleasant to reason about.
[1]: https://www.cl.cam.ac.uk/research/hvg/Isabelle/
[2]: https://ts.data61.csiro.au/software/TS/c-parser/
[2]: https://ts.data61.csiro.au/software/TS/c-parser.html