From 7f79567ce523c41b6ff664c05d001cf0a2cb934a Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Tue, 2 Aug 2022 10:33:14 -0700 Subject: [PATCH] fix URL rendering for VAMP cpu links --- resources.mdwn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/resources.mdwn b/resources.mdwn index d3c0151d3..e457e9245 100644 --- a/resources.mdwn +++ b/resources.mdwn @@ -328,11 +328,11 @@ Some learning resources I found in the community: VAMP CPU * Formal verification of a fully IEEE compliant floating point unit -https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25760/1/ChristianJacobi_ProfDrWolfgangJPaul.pdf -* https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/?lang=en + +* * the PVS/hw subfolder is under the 2-clause BSD license: - https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/PVS/hw/COPYRIGHT -* https://alastairreid.github.io/RelatedWork/papers/beyer:ijsttt:2006/ + +* ## Automation -- 2.30.2