From cf58c3acbec981d7f0fb66169623148c8c73e45d Mon Sep 17 00:00:00 2001 From: pmbittner Date: Wed, 16 Oct 2024 16:57:15 +0200 Subject: [PATCH] README: Remove useless hardware dependencies --- README.md | 5 ----- 1 file changed, 5 deletions(-) diff --git a/README.md b/README.md index 5ebfd56..5a4b0f9 100644 --- a/README.md +++ b/README.md @@ -24,11 +24,6 @@ This library formalizes all results in our paper: Additionally, our library comes with a small demo. When run in a terminal, our demo will show a translation roundtrip, showcasing the circle of compilers developed for identifying the map of variability languages (Section 5). -## Hardware Dependencies - -There are no specific hardware dependencies. -The library and its demo were tested on standard laptops. - ## Kick-the-Tires This section gives you a short "Getting Started" guide.