From b591b0eeebf449f09421de20ca8aae24effad336 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 4 Mar 2022 13:33:28 +0000 Subject: Update license with quick description --- src/BitEQ.v | 3 ++- src/Lib.v | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/BitEQ.v b/src/BitEQ.v index 15134f5..f3b5669 100644 --- a/src/BitEQ.v +++ b/src/BitEQ.v @@ -1,4 +1,5 @@ -(* Copyright (C) 2022 Yann Herklotz +(* biteq: equivalence of bitvector rewrites. + * Copyright (C) 2022 Yann Herklotz * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by diff --git a/src/Lib.v b/src/Lib.v index 6cd3356..8612c18 100644 --- a/src/Lib.v +++ b/src/Lib.v @@ -1,4 +1,5 @@ -(* Copyright (C) 2022 Yann Herklotz +(* biteq: equivalence of bitvector rewrites. + * Copyright (C) 2022 Yann Herklotz * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by -- cgit